Logics for Intelligent Agents and Multi-Agent Systems
作者： John-Jules Ch Meyer , None
DOI: 10.1016/B978-0-444-51624-4.50014-9
关键词:
摘要: This chapter presents the history of application logic in a quite popular paradigm contemporary computer science and artificial intelligence, viz. area intelligent agents multi-agent systems. In particular we discuss logics that have been used to specify single agents, so-called BDI logics, modal describe beliefs, desires intentions after which turn are for specifying On one hand these include extensions BDI-like multiple such as common knowledge mutual intention, on other hand, when there into play also issues be dealt with go beyond extended individual attitudes, normative strategic reasoning. We sketch this field. 1 Introduction
elsevier.com
sci-hub.se 参考文章(91)
A. Pokahr, L. Braubach, W. Lamersdorf, Jadex: Implementing a BDI-Infrastructure for JADE Agents ,(2003)
Raymond Reiter, The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression Artificial intelligence and mathematical theory of computation. pp. 359- 380 ,(1991) , 10.1016/B978-0-12-450010-5.50026-8
Jan Broersen, CTL.STIT: enhancing ATL to express important multi-agent system verification properties adaptive agents and multi-agents systems. pp. 683- 690 ,(2010) , 10.5555/1838206.1838296
Lennart Åqvist, Jaap Hoepelman, Some Theorems about a “Tree” System of Deontic Tense Logic Springer Netherlands. pp. 187- 221 ,(1981) , 10.1007/978-94-009-8484-4_9
J.-J. Meyer, W. van der Hoek, B. van Linder, A logical approach to the dynamics of commitments Logic group preprint series. ,vol. 14, ,(1999)
Natasha Alechina, Mehdi Dastani, F Khan, Brian Logan, J-J Ch Meyer, None, Using Theorem Proving to Verify Properties of Agent Programs Specification and Verification of Multi-agent Systems. pp. 1- 33 ,(2010) , 10.1007/978-1-4419-6984-2_1
Gert-Jan C. Lokhorst, Lou Goble, Mally's deontic logic Grazer Philosophische Studien. ,vol. 67, pp. 37- 57 ,(2004) , 10.1163/18756735-90000823
W.J. Jamroga, Some Remarks on Alternating Temporal Epistemic Logic Formal Approaches to Multi-Agent Systems (FAMAS 2003). pp. 133- 139 ,(2003)
Wiebe van der Hoek, John-Jules Ch. Meyer, Epistemic logic for AI and computer science ,(1995)
Munindar P. Singh, Towards a formal theory of communication for multiagent systems international joint conference on artificial intelligence. pp. 69- 74 ,(1991)