Improved twin-subset semantic model for intention of agent

Ruan Jian Xue Bao/Journal of Software

Volumn 17, Issue 3, 2006, Pages 396-402

  Hu, Shan Li ^a,c   Shi, Chun Yi ^b  

^a FUZHOU UNIVERSITY   (China)

^b TSINGHUA UNIVERSITY   (China)

^c INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

Agent; Intention; Modal operator; Model; Semantics; Twin subset semantics

Indexed keywords

AGENTS; ARTIFICIAL INTELLIGENCE; MATHEMATICAL MODELS; MODAL ANALYSIS; SOFTWARE ENGINEERING;

FALSE VALUE; FORMAL FRAMEWORKS; INTENTION; K-AXIOM; LOGICAL OMNISCIENCE; MODAL OPERATOR; RATIONAL AGENTS; TRUE VALUE; TWIN SUBSET SEMANTICS; TWO VALUE LOGIC;

SEMANTICS;

EID: 33646741051     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.1360/jos170396     Document Type: Article

References (12)

1. Bratman ME. Intentions, Plans and Practical Reason. Cambridge: Harvard University Press, 1987.
2. Cohen PR, Levesque HJ. Intention is choice with commitment. Artificial Intelligence, 1990, 42(2-3): 213-261.
3. Konolige K, Pollack ME. 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. 390-395.
4. Rao AS, Georgeff MP. Modeling rational agents within a BDI architecture. In: Allen J, Fikes R, Sandewall E, eds. Principles of Knowledge Representation and Reasoning: Proc. of the 2nd Int'l Conf. (KR-91). San Mateo: Morgan Kaufmann Publishers, 1991. 473-484.
5. Rao AS, Georgeff MP. 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. 704-710.
6. Cavedon L, Padgham L, Rao A, Sonenberg E. Revisiting rationality for agents with intentions. In: Yao X, ed. Proc. of the 8th Australian Joint Conf. on Artificial Intelligence. Singapore: World Scientific Publishing Co. Pet. Ltd., 1995. 131-138.
7. Chen X, Liu GA. Logic of intention. In: Dean T, ed. Proc. of the IJCAI'99. San Mateo: Morgan Kaufmann Publishers, 1999. 172-177.
8. m5c. Journal of Software, 2002, 13(7): 1271-1277 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/13/1271.htm
9. Rao AS, Georgeff MP. Asymmetry thesis and side-effect problems in linear-time and branching-time intention logic. In: Proc. of the 12th Int'l Joint Conf. on Artificial Intelligence. San Mateo: Morgan Kaufmann Publishers, 1991. 498-504.
10. Hu SL, Shi CY. Agent-BDI logic. Journal of Software, 2000, 11(10): 1353-1360 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/11/1353.pdf
11. Hu SL, Shi CY. Agent logic and the true-false subset semantics. Journal of Software, 2002, 13(11): 2112-2115 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/13/2112.htm
12. Hu SL, Shi CY. Twin-Subset semantic model for intention. In: Proc. of the 2nd Int'l Conf. on Machine Learning and Cybernetics. IEEE, 2003. 2004-2008.