Specifying the merging of desires into goals in the context of beliefs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2510, Issue , 2002, Pages 824-831

  Dastani, Mehdi ^a   Van Der Torre, Leendert ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; COMPUTER CIRCUITS; FORMAL LOGIC; RECONFIGURABLE HARDWARE; TEMPORAL LOGIC; COMMUNICATION SYSTEMS; INFORMATION TECHNOLOGY;

AGENT SYSTEMS; BELIEF REVISION; BELIEF SOURCES; COGNITIVE AGENT SYSTEMS; KNOWLEDGE BASIS; SEMI-REVISION; SPECIFICATION AND VERIFICATION;

MERGING;

EID: 84896915181     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-36087-5_95     Document Type: Article

References (14)

1. R. Booth. Social contraction and belief negotiation. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pages 375-384. Morgan Kaufmann, 2002.
2. J. Broersen, M. Dastani, and L. van der Torre. Realistic desires. Journal of Applied Non-Classical Logics, To appear.
3. B. Chellas. Modal Logic: An Introduction. Cambridge University Press, 1980.
4. S. Konieczny and R. Pino Pérez. Merging with integrity constraints. In Proceedings of the Fifth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'99), Volume 1638 of LNCS, pages 135-144, 1999.
5. Extended version: S. Konieczny and R. Pino Pérez. Merging information under constraints: a qualitative framework. Journal of Logic and Computation, to appear.
6. S. Konieczny and R. Pino Pérez. On the frontier between arbitration and majority. In Proceedings of the Eigth International Conference on Principles of Knowledge Representation and Reasoning (KR'02), 2002.
7. S. Kraus, K. Sycara, and A. Evenchik. Reaching agreements through argumentation; a logical model and implementation. Articial Intelligence, 104:1-69, 1998.
8. J. Lang, L. van der Torre, and E. Weydert. Two types of conflicts between desires (and how to resolve them). In Proceedings of GTDT2001, AAAI Spring Symposium, 2001.
9. T. Meyer. On the semantics of combination operations. Journal of Applied Non-Classical Logics, 11(1-2):59-84, 2001.
10. A. Rao and M. Georgeff. The semantics of intention maintenance for rational agents. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), pages 704-710, 1995.
11. A.S. Rao and M.P. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293-342, 1998.
12. H. Rott and M. Pagnucco. Severe withdrawal (and recovery). Journal of Philosophical Logic, 28:501-547, 1999.
13. K. Schild. On the relationship between BDI logics and standard logics of concurrency. Autonomous Agents and Multi agent Systems, 3(3):259-283, 2000.
14. Wooldridge M. J. and Jennings N. R. Software Engineering with Agents: Pitfalls and Pratfalls. IEEE Internet Computing, 3(3):20-27 May/June 1999.