TY - JOUR
T1 - Encoding solutions of the frame problem in dynamic logic
AU - Foo, Norman
AU - Zhang, Dongmo
AU - Zhang, Yan
AU - Chopra, Samir
AU - Vo, Bao Quoc
PY - 2001
Y1 - 2001
N2 - We investigate the relationship amongst some solutions to the frame problem. We encode Pednault's syntax-based solution [20], Baker's state-minimization policy [1], and Gelfond & Lifchitz's Action Language A [7] in the propositional dynamic logic (PDL). The formal relationships among these solutions are given. The results of the paper show that dynamic logic, as one of the formalisms for reasoning about dynamic domains, can be used as a formal tool for comparing and unifying logics of action.
AB - We investigate the relationship amongst some solutions to the frame problem. We encode Pednault's syntax-based solution [20], Baker's state-minimization policy [1], and Gelfond & Lifchitz's Action Language A [7] in the propositional dynamic logic (PDL). The formal relationships among these solutions are given. The results of the paper show that dynamic logic, as one of the formalisms for reasoning about dynamic domains, can be used as a formal tool for comparing and unifying logics of action.
KW - Dynamic logic
KW - Frame problem
KW - Relationships between formalisms
UR - http://www.scopus.com/inward/record.url?scp=23044529505&partnerID=8YFLogxK
U2 - 10.1007/3-540-45402-0_18
DO - 10.1007/3-540-45402-0_18
M3 - Article
AN - SCOPUS:23044529505
SN - 0302-9743
VL - 2173
SP - 240
EP - 253
JO - Agents for Games and Simulations II
JF - Agents for Games and Simulations II
ER -