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

Front Cover
Hector J. Levesque, Dr. Fiora Pirri, Ray Reiter
U.S. Government Printing Office, Jan 1, 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."--BOOK JACKET.Title Summary field provided by Blackwell North America, Inc. All Rights Reserved

From inside the book

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

References to this book

About the author (1999)

Hector J. Levesque is Professor of Computer Science at the University of Toronto. He is the coauthor (with Gerhard Lakemeyer) of "The Logic of Knowledge Bases" (MIT Press, 2001) and coeditor (with Ronald J. Brachman) of "Knowledge Representation and Reasoning" (MIT Press, 1992).

Bibliographic information