Ebook: Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter

This collection of papers is the outcome of the work of a community of researchers in AI who, during the last twenty years, have developed the logical formalisms and methods for characterizing intelligent behaviors of agents, knowledge-based systems and processes in terms of reasoning about the environment, actions, and activities that are capable of changing the current state. The book deals with commonsense reasoning, in particular with Reiter's Default Logic formalism, the theory of actions and reasoning about actions, including formalisms for high-level robot control, and different approaches to knowledge representation, all based on symbolic logic.

---

This collection of papers is the outcome of the work of a community of researchers in AI who, during the last twenty years, have developed the logical formalisms and methods for characterizing intelligent behaviors of agents, knowledge-based systems and processes in terms of reasoning about the environment, actions, and activities that are capable of changing the current state. The book deals with commonsense reasoning, in particular with Reiter's Default Logic formalism, the theory of actions and reasoning about actions, including formalisms for high-level robot control, and different approaches to knowledge representation, all based on symbolic logic.

---

This collection of papers is the outcome of the work of a community of researchers in AI who, during the last twenty years, have developed the logical formalisms and methods for characterizing intelligent behaviors of agents, knowledge-based systems and processes in terms of reasoning about the environment, actions, and activities that are capable of changing the current state. The book deals with commonsense reasoning, in particular with Reiter's Default Logic formalism, the theory of actions and reasoning about actions, including formalisms for high-level robot control, and different approaches to knowledge representation, all based on symbolic logic.
Content:
Front Matter....Pages I-XII
Ray Reiter - A Memoir....Pages 1-10
Default Logic and purity of reasoning....Pages 11-28
Computing Domain Specific Information....Pages 29-40
Specifying Database Transactions and Active Rules in the Situation Calculus....Pages 41-56
The Frame Problem and Bayesian Network Action Representations*....Pages 57-71
Philosophical and Scientific Presuppositions of Logical AI....Pages 72-78
On existence of extensions for default theories....Pages 79-85
An Incremental Interpreter for High-Level Programs with Sensing....Pages 86-102
An Improved Incremental Algorithm for Generating Prime Implicates....Pages 103-112
Fixpoint 3-valued semantics for autoepistemic logic....Pages 113-136
Toward Efficient Default Reasoning....Pages 137-150
Action, Time and Default....Pages 151-154
Explanatory Diagnosis: Conjecturing Actions to Explain Observations....Pages 155-172
On sensing and off-line interpreting in GOLOG....Pages 173-189
Reactivity in a Logic-Based Robot Programming Framework (Extended Version)....Pages 190-207
Success of Default Logic....Pages 208-212
Search Algorithms in the Situation Calculus....Pages 213-233
Logic and Databases: a 20 Year Retrospective -Updated in Honor of Ray Reiter....Pages 234-299
Action Inventory for a Knowledge-Based Colloquium Agent. Preliminary Version....Pages 300-308
A GOLOG Specification of a Hypertext System....Pages 309-324
Explanation Closure, Action Closure, and the Sandewall Test Suite for Reasoning about Change....Pages 325-351
What Sort of Computation Mediates Best between Perception and Action?....Pages 352-369
Modeling and Analysis of Hybrid Control Systems....Pages 370-396
Back Matter....Pages 397-407

---

This collection of papers is the outcome of the work of a community of researchers in AI who, during the last twenty years, have developed the logical formalisms and methods for characterizing intelligent behaviors of agents, knowledge-based systems and processes in terms of reasoning about the environment, actions, and activities that are capable of changing the current state. The book deals with commonsense reasoning, in particular with Reiter's Default Logic formalism, the theory of actions and reasoning about actions, including formalisms for high-level robot control, and different approaches to knowledge representation, all based on symbolic logic.
Content:
Front Matter....Pages I-XII
Ray Reiter - A Memoir....Pages 1-10
Default Logic and purity of reasoning....Pages 11-28
Computing Domain Specific Information....Pages 29-40
Specifying Database Transactions and Active Rules in the Situation Calculus....Pages 41-56
The Frame Problem and Bayesian Network Action Representations*....Pages 57-71
Philosophical and Scientific Presuppositions of Logical AI....Pages 72-78
On existence of extensions for default theories....Pages 79-85
An Incremental Interpreter for High-Level Programs with Sensing....Pages 86-102
An Improved Incremental Algorithm for Generating Prime Implicates....Pages 103-112
Fixpoint 3-valued semantics for autoepistemic logic....Pages 113-136
Toward Efficient Default Reasoning....Pages 137-150
Action, Time and Default....Pages 151-154
Explanatory Diagnosis: Conjecturing Actions to Explain Observations....Pages 155-172
On sensing and off-line interpreting in GOLOG....Pages 173-189
Reactivity in a Logic-Based Robot Programming Framework (Extended Version)....Pages 190-207
Success of Default Logic....Pages 208-212
Search Algorithms in the Situation Calculus....Pages 213-233
Logic and Databases: a 20 Year Retrospective -Updated in Honor of Ray Reiter....Pages 234-299
Action Inventory for a Knowledge-Based Colloquium Agent. Preliminary Version....Pages 300-308
A GOLOG Specification of a Hypertext System....Pages 309-324
Explanation Closure, Action Closure, and the Sandewall Test Suite for Reasoning about Change....Pages 325-351
What Sort of Computation Mediates Best between Perception and Action?....Pages 352-369
Modeling and Analysis of Hybrid Control Systems....Pages 370-396
Back Matter....Pages 397-407
....