Reasoning agents in dynamic domains
| Author(s) : | Michael Gelfond Chitta Baral, |
| Publisher : | N/A |
| Publication Date : | 2000 |
| ISSN : | N/A |
| Abstract : | Abstract The paper discusses an architecture for intelligent agents based on the use of A-Prolog- a language of logic programs under the answer set semantics. A-Prolog is used to represent the agent's knowledge about the domain and to formulate the agent's reasoning tasks. We outline how these tasks can be reduced to answering questions about properties of simple logic programs and demonstrate the methodology of constructing these programs., |