Abstract
Under the multi-agent system (MAS) circumstances, the concurrent behaviors turn out to be very important. Concurrent behaviors can be divided into irrelative and correlative, most of them are correlative and agents should be able to deduce their behaviors. This paper put forward a concurrent Agent model based on twin-subset semantic. This model aims at the characteristics of concurrent behaviors in MAS. Based on twin-subset semantic, the logical omniscience problem and other related problems (such as side-effect problem) can be avoided. This model divides the time set into macro-time and micro-time sets, and describes the concurrency in macro-time level. In this model, parallel actions in macro-time are interleaving in micro-time level. It can be applied to establish the logical foundation for the cooperation and competition based on concurrency in MAS.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cohen, P., Levesque, H.: Intention is choice with commitment. Artificial Intelligence 42(2-3), 213–261 (1990)
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the 2rd International Conference on Principles of Knowledge Representation and Reasoning, pp. 473–484. Morgan Kaufmann Publishers, San Mateo (1991)
Konolige, K., Pollack, M.E.: A representationalist theory of intention. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence, pp. 390–395. Morgan Kaufmann Publishers, San Mateo (1993)
Bratman, M.E.: Intentions, Plans and Practical Reason. Harvard University Press, Cambridge, MA (1987)
Cavedon, L., Padgham, L., Rao, A., et al.: Revisiting rationality for agents with intentions. In: Yao, X. (ed.) Proceedings of the 8th Australian Joint Conference on Artificial Intelligence, pp. 131–138. World Scientific Publishing Co. Pet. Ltd, Singapore (1995)
Rao, A.S., Georgeff, M.P.: Asymmetry thesis and side-effect Problems in linear- time and branching-time intention logic. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence, pp. 498–504. Morgan Kaufmann Publishers, San Mateo, CA (1991)
de Vries, W., de Boer, F.S., van der Hoek, W., ChMeyer, J.J.: A truly concurrent model for interacting agents. In: Yuan, S.-T., Yokoo, M. (eds.) PRIMA 2001. LNCS (LNAI), vol. 2132, Springer, Heidelberg (2001)
Wang, Y.C., Shi, C.: A concurrent BDI-Agent model. Journal of Software 14(3), 422–428 (2003)
Hu, S.L., Shi, C.: An improved twin-subset semantic model for intention of Agent. Chinese with English Abstract. Journal of Software 17(3), 396–402 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ke, Y., Hu, S. (2006). A Concurrent Agent Model Based on Twin-Subset Semantic. In: Shi, ZZ., Sadananda, R. (eds) Agent Computing and Multi-Agent Systems. PRIMA 2006. Lecture Notes in Computer Science(), vol 4088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11802372_48
Download citation
DOI: https://doi.org/10.1007/11802372_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36707-9
Online ISBN: 978-3-540-36860-1
eBook Packages: Computer ScienceComputer Science (R0)