This paper diccusses 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.
CITATION STYLE
Baral, C., & Gelfond, M. (2000). Reasoning Agents in Dynamic Domains. In Logic-Based Artificial Intelligence (pp. 257–279). Springer US. https://doi.org/10.1007/978-1-4615-1567-8_12
Mendeley helps you to discover research relevant for your work.