Logical Foundations for Cognitive Agents: Contributions in Honor of Ray ReiterIt is a pleasure and an honor to be able to present this collection of papers to Ray Reiter on the occasion of his 60th birthday. To say that Ray's research has had a deep impact on the field of Artificial Intel ligence is a considerable understatement. Better to say that anyone thinking of do ing work in areas like deductive databases, default reasoning, diagnosis, reasoning about action, and others should realize that they are likely to end up proving corol laries to Ray's theorems. Sometimes studying related work makes us think harder about the way we approach a problem; studying Ray's work is as likely to make us want to drop our way of doing things and take up his. This is because more than a mere visionary, Ray has always been a true leader. He shows us how to proceed not by pointing from his armchair, but by blazing a trail himself, setting up camp, and waiting for the rest of us to arrive. The International Joint Conference on Ar tificial Intelligence clearly recognized this and awarded Ray its highest honor, the Research Excellence award in 1993, before it had even finished acknowledging all the founders of the field. The papers collected here sample from many of the areas where Ray has done pi oneering work. One of his earliest areas of application was databases, and this is re flected in the chapters by Bertossi et at. and the survey chapter by Minker. |
Contents
Ray Reiter A Memoir | 1 |
The University of Toronto | 2 |
The University of Michigan | 4 |
Copyright | |
118 other sections not shown
Other editions - View all
Common terms and phrases
3-FOL theory 3-valued active rules algorithm approach Artificial Intelligence assumption atoms autoepistemic logic axiomatization belief pair characterization clauses cognitive robotics complete Computer Science Conference on Artificial consider consistency checking constraints context DDBs deductive databases Default Logic default reasoning default theory defined definition denote disjunctive do(a domain dynamic event calculus example execution explanatory diagnosis extension fluents formal formula frame problem GOLOG high-level implementation induction initial situation interpretation Journal of Logic KD4Z Knowledge Representation language least fixpoint Lemma Levesque literals Logic Programming Minker modal logic modal theory negation node nonmonotonic reasoning operator paper planning Poss Poss(a preconditions predicate primitive actions Proc Proceedings properties propositional qualification problems query Ray Reiter relation robot satisfied sensing actions sequence of actions situation calculus specification stable model successor state axioms Theorem tion transaction transition truth value variables well-founded semantics
