Logics of knowledge and action: critical analysis and challenges

Verfasser / Beitragende:
[Andreas Herzig]
Ort, Verlag, Jahr:
2015
Enthalten in:
Autonomous Agents and Multi-Agent Systems, 29/5(2015-09-01), 719-753
Format:
Artikel (online)
ID: 60551481X
LEADER caa a22 4500
001 60551481X
003 CHVBK
005 20210128100706.0
007 cr unu---uuuuu
008 210128e20150901xx s 000 0 eng
024 7 0 |a 10.1007/s10458-014-9267-z  |2 doi 
035 |a (NATIONALLICENCE)springer-10.1007/s10458-014-9267-z 
100 1 |a Herzig  |D Andreas  |u CNRS and University of Toulouse, IRIT, 118 Route de Narbonne, 31062, Toulouse Cedex 9, France  |4 aut 
245 1 0 |a Logics of knowledge and action: critical analysis and challenges  |h [Elektronische Daten]  |c [Andreas Herzig] 
520 3 |a We overview the most prominent logics of knowledge and action that were proposed and studied in the multiagent systems literature. We classify them according to these two dimensions, knowledge and action, and moreover introduce a distinction between individual knowledge and group knowledge, and between a nonstrategic an a strategic interpretation of action operators. For each of the logics in our classification we highlight problematic properties. They indicate weaknesses in the design of these logics and call into question their suitability to represent knowledge and reason about it. This leads to a list of research challenges. 
540 |a The Author(s), 2014 
690 7 |a Logic of action  |2 nationallicence 
690 7 |a Logic of knowledge  |2 nationallicence 
690 7 |a Common knowledge  |2 nationallicence 
690 7 |a Frame problem  |2 nationallicence 
690 7 |a Uniform strategy  |2 nationallicence 
773 0 |t Autonomous Agents and Multi-Agent Systems  |d Springer US; http://www.springer-ny.com  |g 29/5(2015-09-01), 719-753  |x 1387-2532  |q 29:5<719  |1 2015  |2 29  |o 10458 
856 4 0 |u https://doi.org/10.1007/s10458-014-9267-z  |q text/html  |z Onlinezugriff via DOI 
898 |a BK010053  |b XK010053  |c XK010000 
900 7 |a Metadata rights reserved  |b Springer special CC-BY-NC licence  |2 nationallicence 
908 |D 1  |a research-article  |2 jats 
949 |B NATIONALLICENCE  |F NATIONALLICENCE  |b NL-springer 
950 |B NATIONALLICENCE  |P 856  |E 40  |u https://doi.org/10.1007/s10458-014-9267-z  |q text/html  |z Onlinezugriff via DOI 
950 |B NATIONALLICENCE  |P 100  |E 1-  |a Herzig  |D Andreas  |u CNRS and University of Toulouse, IRIT, 118 Route de Narbonne, 31062, Toulouse Cedex 9, France  |4 aut 
950 |B NATIONALLICENCE  |P 773  |E 0-  |t Autonomous Agents and Multi-Agent Systems  |d Springer US; http://www.springer-ny.com  |g 29/5(2015-09-01), 719-753  |x 1387-2532  |q 29:5<719  |1 2015  |2 29  |o 10458