TY - GEN
T1 - A three-valued approach to strategic abilities under imperfect information
AU - Belardinelli, Francesco
AU - Malvone, Vadim
N1 - Publisher Copyright:
© 2020 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020. All rights reserved.
PY - 2020/1/1
Y1 - 2020/1/1
N2 - A major challenge for logics for strategies is represented by their verification in contexts of imperfect information. In this contribution we advance the state of the art by approximating the verification of Alternating-time Temporal Logic (ATL) under imperfect information by using perfect information and a three-valued semantics. In particular, we develop novel automata-theoretic techniques for the linear-time logic LTL, then apply these to finding "failure" states, where the ATL specification to be model checked is undefined. Such failure states can then be fed into a refinement procedure, thus providing a sound, albeit partial, verification procedure.
AB - A major challenge for logics for strategies is represented by their verification in contexts of imperfect information. In this contribution we advance the state of the art by approximating the verification of Alternating-time Temporal Logic (ATL) under imperfect information by using perfect information and a three-valued semantics. In particular, we develop novel automata-theoretic techniques for the linear-time logic LTL, then apply these to finding "failure" states, where the ATL specification to be model checked is undefined. Such failure states can then be fed into a refinement procedure, thus providing a sound, albeit partial, verification procedure.
M3 - Conference contribution
AN - SCOPUS:85104671218
SN - 9780999241172
T3 - 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
SP - 88
EP - 97
BT - 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
A2 - Calvanese, Diego
A2 - Erdem, Esra
A2 - Thielscher, Michael
PB - International Joint Conference on Artificial Intelligence (IJCAI)
T2 - 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
Y2 - 12 September 2020 through 18 September 2020
ER -