Logics of knowledge and action: critical analysis and challenges
作者： Andreas Herzig
DOI: 10.1007/S10458-014-9267-Z
关键词: Action (philosophy) 、 Procedural knowledge 、 Computer science 、 Management science 、 Multi-agent system 、 Domain knowledge 、 Knowledge management 、 Frame problem 、 Common knowledge 、 Alternating-time Temporal Logic 、 Knowledge-based systems
摘要: We overview the most prominent logics of knowledge and action that were proposed studied in multiagent systems literature. classify them according to these two dimensions, action, moreover introduce a distinction between individual group knowledge, nonstrategic an strategic interpretation operators. For each our classification we highlight problematic properties. They indicate weaknesses design call into question their suitability represent reason about it. This leads list research challenges.
springer.com
archives-ouvertes.fr
sci-hub.se 参考文章(132)
Benoit Gaudou, Andreas Herzig, Dominique Longin, Grounding and the expression of belief principles of knowledge representation and reasoning. pp. 221- 229 ,(2006)
Guillaume Aucher, Perspectives on belief and change Université Paul Sabatier - Toulouse III ; University of Otago. ,(2008)
Richard B. Scherl, Hector J. Levesque, The frame problem and knowledge-producing actions national conference on artificial intelligence. pp. 689- 695 ,(1993)
Yde Venema, Many-dimensional Modal Logic ,(1991)
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
François Schwarzentruber, Andreas Herzig, Properties of logics of individual and group agency advances in modal logic. pp. 133- 149 ,(2008)
Hans P. van Ditmarsch, Tim French, Undecidability for arbitrary public announcement logic advances in modal logic. pp. 23- 42 ,(2008)
Natasha Alechina, Logic and Agent Programming Languages workshop on logic language information and computation. pp. 1- 10 ,(2013) , 10.1007/978-3-642-39992-3_1
Joseph Y. Halpern, Moshe Y. Vardi, Model checking vs. theorem proving: a manifesto Artificial intelligence and mathematical theory of computation. pp. 151- 176 ,(1991) , 10.1016/B978-0-12-450010-5.50015-3
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)