The AAA architecture: An overview

AAAI Spring Symposium - Technical Report

Volumn SS-08-02, Issue , 2008, Pages 1-6

  Balduccini, Marcello ^a,b   Gelfond, Michael ^a  

^a Department of Electrical and Computer Engineering   (United States)

^b EASTMAN KODAK COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE; ARTIFICIAL INTELLIGENCE; COMPUTER SOFTWARE; INTELLIGENT AGENTS; SPRINGS (COMPONENTS);

AAA ARCHITECTURE; ANSWER SETS; CHANGING ENVIRONMENTS; CONTROL LOOPS; DOMAIN DESCRIPTION; KNOWLEDGE BASES; REASONING COMPONENTS; TECHNICAL REPORTS;

ARCHITECTURAL DESIGN;

EID: 52649104426     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Balduccini, M., and Gelfond, M. 2003a. Diagnostic reasoning with A-Prolog. Journal of Theory and Practice of Logic Programming (TPLP) 3(4-5):425-461.
2. Balduccini, M., and Gelfond, M. 2003b. Logic Programs with Consistency-Restoring Rules. In Doherty, P.; McCarthy, J.; and Williams, M.-A., eds., International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, 9-18.
3. Balduccini, M.; Gelfond, M.; and Nogueira, M. 2006. Answer Set Based Design of Knowledge Systems. Annals of Mathematics and Artificial Intelligence.
4. Balduccini, M. 2004. USA-Smart: Improving the Quality of Plans in Answer Set Planning. In PADL'04, Lecture Notes in Artificial Intelligence (LNCS).
5. Balduccini, M. 2007a. CR-MODELS: An Inference Engine for CR-Prolog. In LPNMR 2007, 18-30.
6. Balduccini, M. 2007b. Learning Action Descriptions with A-Prolog: Action Language C. In Amir, E.; Lifschitz, V.; and Miller, R., eds., Procs of Logical Formalizations of Commonsense Reasoning, 2007 AAAI Spring Symposium.
7. Baral, C., and Gelfond, M. 2000. Reasoning Agents In Dynamic Domains. In Workshop on Logic-Based Artificial Intelligence, 257-279. Kluwer Academic Publishers.
8. Baral, C. 2003. Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press.
9. Gelfond, M., and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 365-385.
10. Gelfond, M., and Lifschitz, V. 1998. Action Languages. Electronic Transactions on AI 3(16).
11. Gelfond, G., and Watson, R. 2007. Modeling Cooperative Multi-Agent Systems. In Proceedings of ASP'07, 67-81.
12. Gelfond, M.; Rushton, N.; and Zhu, W. 2006. Combining Logical and Probabilistic Reasoning. In AAAI 2006 Spring Symposium, 50-55.
13. Lifschitz, V. 1999. Action Languages, Answer Sets, and Planning. The Logic Programming Paradigm: a 25-Year Perspective. Springer Verlag, Berlin. 357-373.
14. McCarthy, J. 1998. Elaboration Tolerance.
15. Mellarkod, V. S., and Gelfond, M. 2007. Enhancing ASP Systems for Planning with Temporal Constraints. In LP-NMR 2007, 309-314.
16. Nogueira, M.; Balduccini, M.; Gelfond, M.; Watson, R.; and Barry, M. 2001. An A-Prolog decision support system for the Space Shuttle. In PADL 2001, 169-183.