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 envi...
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1999]
|
| Series: | Artificial intelligence (Berlin, Germany)
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (xi, 405 pages) : illustrations. |
| Format: | Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9783642602115 (electronic bk.) 3642602118 (electronic bk.) |
| ISSN: | 1431-0066 |