Logical foundations for cognitive agents: contributions in honor of Ray Reiter

Front Cover
Springer, 1999 - Computers - 405 pages
0 Reviews
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.

From inside the book

What people are saying - Write a review

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

Related books


Ray Reiter A Memoir
The University of Toronto
The University of Michigan

115 other sections not shown

Common terms and phrases

References to this book

References from web pages

On the Semantics of Deliberation in Indigolog—from Theory to ...
On the Semantics of Deliberation in Indigolog—from Theory to Implementation. Full text, Full text available on the Publisher site Publisher Site ...
portal.acm.org/ citation.cfm?id=998368& dl=GUIDE& coll=& CFID=15151515& CFTOKEN=6184618

@incollection{Lakemeyer99-sgolog, Author = {Lakemeyer, Gerhard ...
... Title = {On Sensing and Off-Line Interpreting in {G}olog}, booktitle = {Logical Foundations for Cognitive Agents, Contributions in Honor of Ray Reiter}, ...
www.cs.toronto.edu/ kr/ cgi-bin/ bibbase/ showbib.cgi?bibfile=Lakemeyer99-sGolog.bib

Inferring Implicit State Knowledge and Plans with Sensing Actions
Inferring Implicit State Knowledge and Plans. with Sensing Actions. Michael Thielscher. Dresden University of Technology. Abstract. ...
www.springerlink.com/ index/ eu5cg62rupp3r8j8.pdf

arxiv:cs.AI/0003032 v1 8 Mar 2000
arxiv:cs.AI/0003032 v1 8 Mar 2000. cc-Golog: Towards More Realistic Logic-Based Robot Controllers. Henrik Grosskreutz and Gerhard Lakemeyer ...
arxiv.org/ pdf/ cs/ 0003032

Specifying Multirobot Coordination in icpgolog — From Simulations ...
Specifying Multirobot Coordination in icpgolog. — From Simulations towards Real Robots —. F. Dylla and A. Ferrein and G. Lakemeyer ...
www.cosy.informatik.uni-bremen.de/ staff/ dylla/ publications/ Paper/ cosy:dylla:2003:MR_Coord.ps.gz

book logical foundations for cognitive agents, general titles on ...
book general titles on artificial intelligence : this book deals with commonsense reasoning, in particular with reiter's default logic formalism, ...
www.lavoisier.fr/ notice/ gb307174.html

About the author (1999)

Hector J. Levesque is Professor of Computer Science at the University of Toronto.

Bibliographic information