Meta-reasoning Methods for Agent's Intention Modelling

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).

[1]  Vladimir Marik,et al.  Multi-Agent Systems and Applications III , 2003, Lecture Notes in Computer Science.

[2]  Michal Pechoucek,et al.  Social Knowledge in Multi-agent Systems , 2001, EASSS.

[3]  Tom M. Mitchell,et al.  Generalization as Search , 2002 .

[4]  Munindar P. Singh,et al.  Formal methods in DAI: logic-based representation and reasoning , 1999 .

[5]  Gerhard Weiss,et al.  Multiagent systems: a modern approach to distributed artificial intelligence , 1999 .

[6]  Michal Pechoucek,et al.  Social knowledge in multi-agent systems , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[7]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[8]  Michal Pechoucek,et al.  Knowledge-Based Approach to Coalition Formation , 2002, IEEE Intell. Syst..

[9]  Pattie Maes,et al.  Computational reflection , 1987, The Knowledge Engineering Review.

[10]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[11]  Dov M. Gabbay,et al.  Proceedings of the First International Conference on Temporal Logic , 1994 .

[12]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[13]  Michael Luck,et al.  Multi-Agent Systems and Applications , 2001, Lecture Notes in Computer Science.

[14]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[15]  Michal Pechoucek,et al.  Abstract Architecture for Meta-reasoning in Multi-agent Systems , 2003, CEEMAS.

[16]  Michael Fisher,et al.  A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.

[17]  Milind Tambe,et al.  Monitoring deployed agent teams , 2001, AGENTS '01.

[18]  Donald W. Loveland,et al.  Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.

[19]  Eugene Santos,et al.  Making Adversary Decision Modeling Tractable with Intent Inference and Information Fusion 1 , 2002 .