## Logical foundations for cognitive agents: contributions in honor of Ray ReiterThis 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Ray Reiter A Memoir | 1 |

The University of Toronto | 2 |

The University of Michigan | 4 |

Copyright | |

115 other sections not shown

### Common terms and phrases

3-valued active rules application approach Artificial Intelligence assumption atoms autoepistemic logic axiomatization belief pair characterization clauses complete Conf consistency checking constraints context Database Systems Datalog DDBs DDDBs deductive databases Default Logic default reasoning default theory defined definition denote developed do(a domain dynamic editors event calculus example execution explanatory diagnosis extension fluents formal formula frame problem GOLOG high-level hypertext implementation induction inference interpreter Journal of Logic KDAZ Knowledge Representation language least fixpoint Levesque Logic in Databases Minker modal logic model semantics negation node nonmonotonic reasoning operator paper planning Poss(a,s predicate primitive actions Proc procedure Proceedings proof properties propositional query Ray Reiter recursive relational databases represent robot satisfies search algorithm sensing actions sequence of actions situation calculus specification stable model stable model semantics stratified successor state axioms Theorem tion transaction transition V-automata variables well-founded semantics