On the Use of an ATMS for Handling Conflicting Desires

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 194-201

  Amgoud, Leila ^a   Cayrol, Claudette ^a  

^a IRIT   (France)

Author keywords

ATMS; Autonomous agents; BDI

Indexed keywords

COMPUTATION THEORY; MILITARY APPLICATIONS;

ARGUMENTATION THEORY; ASSUMPTION-BASED TRUTH MAINTENANCE SYSTEMS; ATMS; BDI; CONSISTENT SETS; PROOF THEORY;

AUTONOMOUS AGENTS;

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

References (14)

1. Amgoud, L., and Cayrol, C. 2002. A reasoning model based on the production of acceptable arguments. Annals of Mathematics and Artificial Intelligence 34:197-216.
2. Amgoud, L. 2003. A formal framework for handling conflicting desires. In Proceedings of the 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU'2003, 552-563.
3. Bratman, M.; Israel, D.; and Pollack, M. 1988. Plans and resource bounded reasoning. Computational Intelligence. 4:349-355.
4. Bratman, M. 1987. Intentions, plans, and practical reason. Harvard University Press, Massachusetts.
5. Cohen, P. R., and Levesque, H. J. 1990a. Intention is choice with commitment. In Artificial Intelligence, volume 42.
6. Cohen, P. R., and Levesque, H. J. 1990b. Rational interaction as the basis for communication. In In P. R. Cohen, J. Morgan and M. E. Pollack, eds. Intentions in communication, 221-256.
7. de Kleer, J. 1986a. An assumption-based tms. Artificial Intelligence 28:127-162.
8. de Kleer, J. 1986b. Extending the atms. Artificial Intelligence 28:163-196.
9. de Kleer, J. 1988. A general labeling algorithm for atms. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI), 188-192.
10. Doyle, J. 1992. Rationality and its role in reasoning, volume 8. Computational Intelligence.
11. Pearl, J. 1993. From conditional ought to qualitative decision theory. In Proceedings of UAI'93, 12-20.
12. Rao, A. S., and Georgeff, M. P. 1991. Modeling rational agents within a bdi architecture. In Proceedings of KR'91.
13. Rao, A. S., and Georgeff, M. P. 1992. An abstract architecture for rational agents. In Proceedings of KR'92.
14. Rao, A. S., and Georgeff, M. P. 1995. Bdi agents: from theory to practice. In Proceedings of the 1st International Conference on Multi Agent Systems, 312-319.