Reasoning agents in dynamic domains

Chitta Baral and Michael Gelfond.


The paper discusses an architecture for intelligent agents based on the use of {\em A-Prolog} - a language of logic programs under the answer set semantics. {\em 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.