Meta-reasoning methods for agent's intention modelling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3505 LNAI, Issue , 2005, Pages 134-148

  Pěchouček, Michal ^a   Tožička, Jan ^a   Mařík, Vladimír ^a  

^a CZECH TECHNICAL UNIVERSITY IN PRAGUE   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SUPPORTED COOPERATIVE WORK; MATHEMATICAL MODELS;

META-REASONING; OPERATION OTHER THAN WAR (OOTW);

MULTI AGENT SYSTEMS;

EID: 26944464968     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11492870_11     Document Type: Conference Paper

References (15)

1. Walker, E. C. T.: Coalition Planning for Operations Other Than War. Panel Report: Workshop at AIAI, Edinburgh (1999)
2. Pěchouček, M. and Mařík, V. and Bárta, J.: A Knowledge-Based Approach to Coalition Formation. IEEE Intelligent Systems 17 (2002) 17-25
3. 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., eds.: Multi-Agent Systems and Applications. LNAI, Springer-Verlag, Heidelberg (2001)
4. 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, http://agents.felk.cvut.cz/papers/MRinMAS.pdf, Gerstner Laboratory ©, Czech Techical University in Prague (2003)
5. Kaminka, G.A. and Pynadath, D. and Tambe, M.: Monitoring Deployed Agent Teams. In: Proceedings of the fifth international conference on Autonomous agents, Montreal, Quebec, Canada (2001)
6. 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)
7. 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, Muller, Pěchouček", eds.: Multi-Agent Systems and Applications III. Number 2691 in LNAI, Springer-Verlag, Heidelberg (2003)
8. Maes, P.: Computational Reflection. Technical Report 87-2, Free University of Brussels, AI Lab (1987)
9. Chang, Ch., Lee, Ch. R.: Symbolic Logic and Mechanical Theorem Proving. Academic Press New York and London (1973)
10. Loveland, D.: Automated Theorem Proving: A Logical Basis. North-Holland Publishing Company (1978)
11. Mitchell, T.: Generalization as Search. Artificial Intelligence 2 (1982) 203-226
12. Muggleton, S., Raedt, L. De: Inductive logic programming: Theory and methods. Journal of Logic Programming 19/20 (1994) 629-679
13. 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. MIT Press, Cambridge, MA. (1999) 201-258
14. Harel, D.: Dynamic Logic. In: Handbook of Philosophical Logic - Extension of Classical Logic. II D. Riedel Publishing Company, Dordrecht, The Netherlands (1984) 497-604
15. Fisher, M.: A survey of concurrent MetateM - the language and its applications. In Gabbay, D.M., Ohlbach, H. JK., eds.: Temporal Logic - Proceedings of the 1st International Conference. LNAI 827 Springer (1994) 480-505