Agent logic and the true-false subset semantics

Ruan Jian Xue Bao/Journal of Software

Volumn 13, Issue 11, 2002, Pages 2112-2115

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

^a INSTITUTE OF SOFTWARE   (China)

^b FUZHOU UNIVERSITY   (China)

^c TSINGHUA UNIVERSITY   (China)

Author keywords

Agent; Intention; Model; Semantics; True false subset semantics

Indexed keywords

ALGEBRA; CONSTRAINT THEORY; FORMAL LOGIC; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MODAL ANALYSIS; MULTI AGENT SYSTEMS; SEMANTICS; SPECIFICATIONS;

INTENTION; MODAL OPERATORS; RATIONAL AGENTS; TRUE FALSE SUBSET SEMANTICS;

ARTIFICIAL INTELLIGENCE;

EID: 0036879368     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (9)

1. Braman, M.E. Intentions, Plans and Practical Reason. Cambridge, MA: Harvard University Press, 1987.
2. Cohen, P.R., Levesque, H.J. Intentions is Choice with Commitment. Artificial Intelligence, 1990, 42(2-3): 213-261.
3. Konolige, K., Pollack, M.E. A representation alist theory of intention. In: Bajcsy, R.,ed. Proceedings of the 13th International Journal Conference on Artificial Intelligence. San Mateo, CA: Morgan Kaufmann Publishers, Inc., 1993. 390-395.
4. Rao, A.S., Georgeff, M.P. Modeling rational Agents within a BDI architecture. In: Allen, J., Fikes, R., Sandewall, E., eds. Principles of Knowledge Representation and Reasoning: Proceedings of the 2nd International Conference (KR'91). San Mateo, CA: Morgan Kaufmann Publishers, Inc., 1991. 473-484.
5. Rao, A.S., Georgeff, M.P. The semantics of intention maintenance for rational Agents. In: Mellish, S.C., ed. Proceedings of the 14th International Joint Conference on Artificial Intelligence. San Mateo, CA: Morgan Kaufmann Publishers, Inc., 1995. 704-710.
6. Cavedon, L., Padgham, L., Rao, A., et al. Revisiting rationality for Agents with intentions. In: Xin, Yao, ed. Proceedings of the 8th Australian Joint Conference on Artificial Intelligence. Singapore: World Scientific Publishing Co. Pte. Ltd., 1995. 131-138.
7. Hu, Shan-li, Shi, Chun-yi. A semantic interpretation for agent's non-normal modal operators. Journal of Computer Research and Development, 1999, 36(10): 1153-1157 (in Chinese).
8. Hu, Shan-li, Shi, Chun-yi. An intention model for agent. Journal of Software, 2000, 11(7): 965-970 (in Chinese).
9. Hu, Shan-li, Shi, Chun-yi. Agent-BDI logic. Journal of Software, 2000, 11(10): 1353-1360 (in Chinese).