An improved formal framework of actions, individual intention and group intention for multi-agent systems

Proceedings - 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2006 Main Conference Proceedings), IAT'06

Volumn , Issue , 2006, Pages 420-423

  Lai, Xianwei ^a,c   Hu, Shanli ^a,b   Ning, Zhengyuan ^c  

^a FUZHOU UNIVERSITY   (China)

^b INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

^c FUJIAN AGRICULTURE AND FORESTRY UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; GAME THEORY; INTELLIGENT AGENTS;

COOPERATION LOGICS; HUMAN COMMONSENSE;

MULTI AGENT SYSTEMS;

EID: 38949101142     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IAT.2006.37     Document Type: Conference Paper

References (12)

1. Alur, R., Henzinger, T. A., Kupferman O.: Alternating-time Temporal Logic. Journal of the ACM, Vol 49, No. 5 (2002), pp. 672-713
2. Pauly, M.: Logic for Social Software. PhD Thesis, University of Amsterdam, the Netherlands (2001)
3. van der Hoek, W., Wooldridge, M.: On the Logic of Cooperation and Prepositional Control. Artificial Intelligence, Vol 64, No. 1-2 (2005), pp. 81-119
4. van der Hoek, W., Wooldridge, M.: Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and Its Applications. Studia Logica, Vol 75, No. 1 (2003), pp. 125-157
5. Wooldridge, M., van der Hoek, W.: On Obligations and Normative Ability: Towards a Logical Analysis of the Social Contract. Journal of Applied Logic, Vol 3 (2005), pp. 396-420
6. Sauro, L., Gerbrandy, J., van der Hoek, W., Wooldridge, M.: Reasoning about Action and Cooperation. Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-06), Hakodate, Japan (2006)
7. Jamroga, W., van der Hoek, W., Wooldridge, M.: Intentions and Strategies in Game-Like Scenarios. Published in C. Bento, A. Cardoso and G. Dias (eds.), Progress in Artificial Intelligence: Proceedings of EPIA 2005, Lecture Notes in Artificial Intelligence, Vol 3808 (2005), pp. 512-523
8. Cohen, P. R., Levesque, H. J.: Intention Is Choice With Commitment. Artificial Intelligence, Vol 42 (1990), pp. 213-261
9. Rao, A. R., Georgeffl, M. P.: 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 (1995), pp. 704-710
10. Konolige, K., Pollack, M. E.: 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 (1993), pp. 390-395
11. Xinjun M.: Agent-oriented Software Development. Tsinghua University Press, Beijing (2005)
12. Shanli Hu, Chunyi Shi: An Improved Twin-subset Semantic Model for Iintention of Agent. Journal of Software, Vol 17, No 3 (2006), pp. 396-402