Abstract
Intention modelling in self-interested and adversarial communities of agents is a challenging issue. This contribution discusses the role of modelling and meta-reasoning in intention modelling. The formal model of deductive and inductive meta-reasoning is presented and supported by experimental implementations. This research has been motivated by the problem of intention detection in semi-collaborative multi-agent system for OOTW (Operation Other Than War).
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
Walker, E.C.T.: Coalition Planning for Operations Other Than War. Panel Report: Workshop at AIAI, Edinburgh (1999)
Pěchouček, M., Mařík, V., Bárta, J.: A Knowledge-Based Approach to Coalition Formation. IEEE Intelligent Systems 17, 17–25 (2002)
Mařík, V., Pěchouček, M., Štěpánková, O.: Social Knowledge in Multi-Agent Systems. In: Luck, M., Mařík, V., Štěpánková, O., Trappl, R. (eds.) ACAI 2001 and EASSS 2001. LNCS (LNAI), vol. 2086, p. 211. Springer, Heidelberg (2001)
Bárta, J., Tožička, J., Pěchouček, M., Štěpánková, O.: Meta-Reasoning in CPlanT Multi-Agent System. Technical Report GL 166/03. 56 p. ISSN 1213-3000 Gerstner Laboratory ©, Czech Techical University in Prague (2003), http://agents.felk.cvut.cz/papers/MRinMAS_OnlinePDF.pdf
Kaminka, G.A., Pynadath, D., Tambe, M.: Monitoring Deployed Agent Teams. In: Proceedings of the fifth international conference on Autonomous agents, Montreal, Quebec, Canada (2001)
Bell, B., Santos, E., Brown, S.M.: Making Adversary Decision Modeling Tractable with Intent Inference and Information Fusion. In: Proc. of the 11th Conf on Computer Generated Forces and Behavioral Representation, Orlando FL (2002)
Pěchouček, M., Štěpánková, O., Mařík, V., Bárta, J.: Abstract Architecture for Meta-reasoning in Multi-agent Systems. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, p. 84. Springer, Heidelberg (2003)
Maes, P.: Computational Reflection. Technical Report 87-2, Free University of Brussels, AI Lab (1987)
Chang, C., Lee, C.R.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)
Loveland, D.: Automated Theorem Proving: A Logical Basis. North-Holland Publishing Company, Amsterdam (1978)
Mitchell, T.: Generalization as Search. Artificial Intelligence 2, 203–226 (1982)
Muggleton, S., De Raedt, L.: Inductive logic programming: Theory and methods. Journal of Logic Programming 19/20, 629–679 (1994)
Singh, M.P., Rao, A.S., Georgeff, M.P.: Formal Methods in DAI: Logic Based Representation and Reasoning. In: Multiagent Systems A Modern Approach to Distributed Artificial Intelligence, pp. 201–258. MIT Press, Cambridge (1999)
Harel, D.: Dynamic Logic. In: Handbook of Philosophical Logic - Extension of Classical Logic, vol. II, pp. 497–604. D. Riedel Publishing Company, Dordrecht (1984)
Fisher, M.: A survey of concurrent MetateM - the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol. 827, pp. 480–505. Springer, Heidelberg (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pěchouček, M., Tožička, J., Mařík, V. (2005). Meta-reasoning Methods for Agent’s Intention Modelling. In: Gorodetsky, V., Liu, J., Skormin, V.A. (eds) Autonomous Intelligent Systems: Agents and Data Mining. AIS-ADM 2005. Lecture Notes in Computer Science(), vol 3505. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11492870_11
Download citation
DOI: https://doi.org/10.1007/11492870_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26164-3
Online ISBN: 978-3-540-31932-0
eBook Packages: Computer ScienceComputer Science (R0)