Read more
Zusatztext Those working in nonmonotonic reasoning, planning, temporal logic, reasoning about actions and change, and related areas will find this book worth reading. Klappentext Techniques for reasoning about actions and change in the physical world are among the classic research topics in artificial intelligence, motivated by the needs of autonomous robots which must be able to anticipate future developments and analyze problems. This monograph presents a novelmethodology for such reasoning. It is based on a systematic approach for identifying the exact range of applicability of a given logic, as opposed to traditional methods based on proposing new logic variants supported by episodical examples. For a number of previously proposed logics, as well asfor some new ones, this work characterizes exactly the class of those reasoning tasks where the logic results in the intended set of conclusions, and the class were it does not. The book will be a necessary resource for researchers in knowledge representation, cognitive robotics, and intelligentcontrol. It can also be recommended as a graduate-level text in these fields, especially in light of its emphasis on a strict and systematic methodology. Zusammenfassung This research text presents and uses a novel methodology for reasoning about actions and change. The work described here uses a systematic methodology for identifying the exact range of applicability of a given logic. This book is destined to become a necessary source of reference for researchers in knowledge representation, cognitive robotics, and intelligent control in the future. Inhaltsverzeichnis Inert and inhabited dynamical systems Inference operations on scenario descriptions Underlying semantics for IDS worlds Elementary feature logic and meta-logical concepts Lexical-domain object-feature logic Temporal feature logic for discrete time domains Chronicle completion in k-IA Intended models for chronicles in k-IA Entailment methods for k-IA using DFL-1 Duration constraints Entailment methods for k-OA using occlusion Composite actions Upper applicability bounds and assessment of soundness Future directions Terms index Notation References to related work ...
