Multi-agent cooperation logic with actions and normative ability

Proceedings of the 2006 International Conference on Machine Learning and Cybernetics

Volumn 2006, Issue , 2006, Pages 142-147

  Lai, Xian Wei ^a   Hu, Shan Li ^a,b   Ning, Zheng Yuan ^c  

^a FUZHOU UNIVERSITY   (China)

^b INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

^c FUJIAN AGRICULTURE AND FORESTRY UNIVERSITY   (China)

Author keywords

Actions; ATL; Cooperation logics; Multi agent systems; Normative ability

Indexed keywords

FUNCTIONS; MULTI AGENT SYSTEMS; OBJECT ORIENTED PROGRAMMING;

COOPERATION LOGICS; NORMATIVE ABILITY;

TEMPORAL LOGIC;

EID: 33947243012     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICMLC.2006.258886     Document Type: Conference Paper

References (11)

1. P. R. Cohen, and H. J. Levesque, "Intention is choice with commitment", Artificial Intelligence, Vol 42, pp. 213-261, 1990.
2. A. S. Rao, and M. P. Georgeff, "The semantics of intention maintenance for rational agents", In: Mellish SC, ed. Proc. of the 14th Int'l Joint Conf. on Artificial Intelligence. San Mateo: Morgan Kaufmann Publishers, pp. 704-710, 1995.
3. K. Konolige, and M. E. Pollack, "A representationalist theory of intention", In: Bajcsy R, ed. Proc. of the 13th Int'l Joint Conf. on Artificial Intelligence. San Mateo: Morgan Kaufmann Publishers, pp. 390-395, 1993.
4. Shanli Hu, and Chunyi Shi, "Twin-subset semantic model for intention", Proceedings of 2003 International Conference on Machine Learning and Cybernetics IEEE Vol 1, pp. 2004-2008, November 2003.
5. Shanli Hu, and Chunyi Shi, "A dynamic model of multi-agent system", Proceedings of 2004 International Conference on Machine Learning and Cybernetics IEEE Vol 1, pp. 183-187, August 2004.
6. R. Alur, T. A. Henzinger, and O. Kupferman, "Alternating-time temporal logic", Journal of the ACM, Vol 49, No. 5, pp. 672-713, September 2002.
7. M. Pauly, Logic for social software, PhD thesis, University of Amsterdam, 2001.
8. M. Pauly, "A modal logic for coalitional power in games", Journal of Logic and Computation, Vol 12, No. 1, pp. 149-166, 2002.
9. W. van der Hoek, and M. Wooldridge, "On the logic of cooperation and propositional control", Artificial Intelligence, Vol 64, No. 1-2, pp. 81-119, 2005.
10. L. Sauro, J. Gerbrandy, W. van der Hoek, and M. Wooldridge, "Reasoning about action and cooperation", Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-06), Hakodate, Japan, May 2006.
11. M. Wooldridge, and W. van der Hoek, "On obligations and normative ability: towards a logical analysis of the social contract", Journal of Applied Logic, Vol 3, pp. 396-420, 2005.