Semantical considerations on dialectical and practical commitments

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2008, Pages 176-181

  Singh, Munindar P ^a  

^a North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BIONICS; ELECTRIC SHIP EQUIPMENT; FORMAL METHODS; INFORMATION THEORY; PAPER; SEMANTICS;

AXIOMATIZATION; FORMAL SEMANTICS; MULTI-AGENT SYSTEMS;

THEOREM PROVING;

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

References (18)

1. Amgoud, L., Maudet, N., and Parsons, S. 2002. An argumentation-based semantics for agent communication languages. Proc. ECAI, 38-42.
2. Bentahar, J., Moulin, B., Meyer, J.-J. C., and Chaib-draa, B. 2005. A modal semantics for an argumentation-based pragmatics for agent communication. Proc. Arg MAS.
3. Castelfranchi, C. 1995. Commitments: From individual intentions to groups and organizations. ICMAS, 41-48.
4. Chopra, A. K. and Singh, M. P. 2004. Nonmonotonic commitment machines. Proc. ACL, LNAI 2922, 183-200.
5. Chopra, A. K. and Singh, M. P. 2008. Constitutive interoperability. Proc. AAMAS. To appear.
6. Desai, N., Chopra, A. K., Arrott, M., Specht, B., and Singh, M. P. 2007. Engineering foreign exchange processes via commitment protocols. Proc. SCC, 514-521.
7. Desai, N. and Singh, M. P. 2008. On the enactability of business protocol specifications. Proc. AAAI. To appear. Emerson, E. A. 1990. Temporal and modal logic. Handbook of Theoretical Computer Science, vol. B. 995-1072.
8. Flores, R. A., Pasquier, P., and Chaib-draa, B. 2007. Conversational semantics sustained by commitments. Autonomous Agents and Multi-Agent Systems 14(2): 165-186.
9. Giunchiglia, E., Tacchella, A., and Giunchiglia, F. 2002. SAT-based decision procedures for classical modal logics. Journal of Automated Reasoning 28(2): 143-171.
10. Khan, S. M. and Lespérance, Y. 2006. On the semantics of conditional commitment. Proc. AAMAS, 1337-1344.
11. Lomuscio, A. and Penczek, W. 2007. Symbolic model checking for temporal-epistemic logics. ACM SIGACT News 38(3):77-99.
12. Singh, M. P. 1991. Social and psychological commitments in multiagent systems. AAAI Fall Symp. Knowledge and Action at Social and Organizational Levels 104-106.
13. Singh, M. P. 1999. An ontology for commitments in multiagent systems. Artificial Intelligence & Law 7:97-113.
14. van Benthem, J. F. A. K. 1984. Correspondence theory. Handbook of Philosophical Logic, volume II. 167-247.
15. Verdicchio, M. and Colombetti, M. 2003. A logical model of social commitment for agent communication. AAMAS.
16. Norman, T., Carbogim, D., Krabbe, E., and Walton, D. 2004. Argument and multi-agent systems. Reed C. and Norman T., eds., Argumentation Machines, ch. 2. Kluwer.
17. Winikoff, M., Liu, W., and Harland, J. 2005. Enhancing commitment machines. Proc. DALT, LNAI 3476, 198-220.
18. Yolum, P. and Singh, M. P. 2002. Commitment machines. Proc. ATAL, LNAI 2333, 235-247.