Resolving commitments among autonomous agents

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2922, Issue , 2004, Pages 166-182

  Mallya, Ashok U ^a   Yolum, Pinar ^b   Singh, Munindar P ^a  

^a North Carolina State University   (United States)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DATA REDUCTION; DIGITAL ARITHMETIC; FINITE AUTOMATA; FORMAL LANGUAGES; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; SEMANTICS; VECTORS; COMPLIANCE CONTROL; COMPUTATIONAL LINGUISTICS;

COMPLEX INTERACTIONS; COMPUTATION TREE LOGIC (CTL); DATA ARITHMETIC; FINITE STATE MACHINES; MULTI-AGENT INTERACTION; REAL-LIFE APPLICATIONS;

AUTONOMOUS AGENTS;

EID: 23144454066     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-24608-4_10     Document Type: Conference Paper

References (17)

1. Yolum, P., Singh, M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), ACM Press (2002)
2. Fornara, N., Colombetti, M.: Operational specification of a commitment- based agent communication language. In: Proceedings of the International Joint Conference on Autonomous Agents and MultiAgent Systems, ACM Press (2002) 535-542
3. Venkatraman, M., Singh, M.P.: Verifying compliance with commitment protocols: Enabling open Web-based multiagent systems. Autonomous Agents and Multi-Agent Systems 2 (1999) 217-236
4. Partee, B.: Nominal and temporal anaphora. Linguistics and Philosophy 7 (1984) 287-324
5. Emerson, E.A.: Temporal and modal logic. In van Leeuwen, J., ed.: Handbook of Theoretical Computer Science. Volume B. North-Holland, Amsterdam (1990) 995-1072
6. Castelfranchi, C.: Commitments: From individual intentions to groups and organizations. In: Proceedings of the AAAI-93 Workshop on AI and Theories of Groups and Organizations: Conceptual and Empirical Research. (1993)
7. Singh, M.P.: An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law 7 (1999) 97-113
8. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26 (1983) 832-843
9. Dignum, F., Weigand, H., Verharen, E.: Meeting the deadline: On the formal specification of temporal deontic constraints. In Ras, Z.W., Michalewicz, M., eds.: Foundations of Intelligent Systems, 9th International Symposium, (ISMIS'96). Volume 1079 of Lecture Notes in Computer Science., Springer (1996) 243-252
10. Grosof, B.N., Labrou, Y., Chan, H.Y.: A declarative approach to business rules in contracts: Courteous logic programs in XML. In Wellman, M.P., ed.: Proceedings 1st Annual ACM Conf. on Electronic Commerce, EC'99, Denver, CO, USA, 3-5 November 1999, ACM Press (1999)
11. OASIS: Business transaction protocol (2002) www.oasis-open.org/ comrnittees/business-transactions/documents/specification/2002-06-03. BTP_cttee_spec_1.0.pdf.
12. Dalal, S., Temel, S., Little, M., Potts, M., Webber, J.: Coordinating business transactions on the web. IEEE Internet Computing 7 (2003) 30-39
13. Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: Proceedings of the 2nd International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), ACM Press (2003)
14. McBurney, P., Parsons, S.: Posit spaces: A performative model of e-commerce. In: Proceedings of the International Joint Conference on Autonomous Agents and MultiAgent Systems. (2003) To appear.
15. Singh, M.P.: Multiagent systems as spheres of commitment. In: Proceedings of the International Conference on Multiagent Systems (ICMAS) Workshop on Norms, Obligations, and Conventions. (1996)
16. Giunchiglia, E., Lee, J., McCain, N., Lifschitz, V., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence (AU) (2003) To Appear.
17. Chopra, A., Singh, M.: Nonmonotonic commitment machines. In Dignum, F., ed.: Advances in Agent Communication. LNAI, Springer Verlag (2003) in this volume