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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
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)