Reasoning agents in dynamic domains
Chitta Baral and Michael Gelfond.
Abstract.
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.