Nonmonotonic commitment machines

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

Volumn 2922, Issue , 2004, Pages 183-200

  Chopra, Amit ^a   Singh, Munindar P ^a  

^a North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC COMMERCE; FINITE DIFFERENCE METHOD; INFORMATION DISSEMINATION; INTERACTIVE COMPUTER SYSTEMS; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; OPEN SYSTEMS; SEMANTICS; COMPUTATIONAL LINGUISTICS; LOGIC CIRCUITS;

FINITE STATE MACHINES (FSM); NONMONOTONIC CAUSAL LOGIC (NCL); NONMONOTONIC COMMITMENT MACHINES (NCM); NONMONOTONIC REASONING; DYNAMIC NATURE; MULTI-AGENT INTERACTION; NON-MONOTONIC REASONING; NONMONOTONIC COMMITMENT MACHINES;

FINITE AUTOMATA; MULTI AGENT SYSTEMS;

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

References (30)

1. Smith, R.G.: The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transactions on Computers 29 (1980) 1104-1113
2. Cox, B., Tygar, J., Sirbu, M.: Netbill security and transaction protocol. In: Proceedings of the First USENIX Workshop on Electronic Commerce. (1995) 77-88
3. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence (2003) To appear.
4. Yolum, P., Singh, M.P.: Commitment machines. In: Proceedings of the 8th International Workshop on Agent Theories, Architectures, and Languages (ATAL-01), Springer-Verlag (2002) 235-247
5. McCarthy, J.: Elaboration tolerance. In progress (1999) http://www-formal.stanford.edu/jmc/elaboration.html.
6. Lifschitz, V.: Missionaries and cannibals in the causal calculator. In: Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning. (2000) 85-96
7. Bratman, M.E.: Shared cooperative activity. The Philosophical Review 101 (1992) 327-341
8. Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60 (1993) 51-92
9. Grosz, B.J., Kraus, S.: Collaborative plans for complex group action. Artificial Intelligence 86 (1996) 269-357
10. 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)
11. Krogh, C.: Obligations in multiagent systems. In Åmodt, A., Komorowski, J., eds.: Scandinavian Artificial Intelligence Conference 1995 (SCAI'95), Trondheim (1995) 19-30
12. Singh, M.P.: An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law 7 (1999) 97-113
13. Singh, M.P.: A social semantics for agent communication languages. In: Proceedings of the 1999 IJCAI Workshop on Agent Communication Languages, Springer-Verlag (2000)
14. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge, MA (2000)
15. Kowalski, R., Sergot, M.: Logic-based calculus of events. New Generation Computing 4 (1986) 67-95
16. McCarthy, J.: Situations, actions and causal laws. TR, Stanford University (1963)
17. Girault, C., Valk, R.: Petri Nets for System Engineering. (2003)
18. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8 (1987) 231-274
19. Jennings, N.R.: Commitments and conventions: The foundation of coordination in multiagent systems. Knowledge Engineering Review 2 (1993) 223-250
20. Sandholm, T., Lesser, V.: Issues in automated negotiation and electronic commerce: Extending the contract net framework. In: [?]. (1998) 66-73
21. (Reprinted from Proceedings of the International Conference on Multiagent Systems, 1995).
22. 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) 527-534
23. Koning, J.L., Huget, M.P.: A semi-formal specification language dedicated to interaction protocols. In Kangassalo, H., Jaakkola, H., Kawaguchi, E., eds.: Information Modeling and Knowledge Bases XII, Frontiers in Artificial Intelligence and Applications. IOS Press (2001)
24. Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer 31 (1998) 40-47
25. Sadek, D.: Compliance in Arcol (1997) Personal communication.
26. Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an agent communication language. In: Proceedings of the International Conference on Information and Knowledge Management, ACM Press (1994) 456-463
27. Dignum, F., van Linder, B.: Modelling social agents: Towards deliberate communication. In: Handbook of Defeasible Reasoning and Uncertainty Management Systems, Kluwer (2002) 357-380
28. Guerin, F., Pitt, J.: Denotational semantics for agent communication languages. In: Proceedings of the Fifth International Conference on Autonomous Agents, ACM Press (2001) 497-504
29. Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall, London (1991)
30. W3C: Business process execution language for web services, version 1.1. (2003) URL: http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/.