Foo, Norman; Zhang, Dongmo; Zhang, Yan; Chopra, Samir; Vo, Bao Quoc Encoding solutions of the frame problem in dynamic logic. (English) Zbl 1010.03022 Eiter, Thomas (ed.) et al., Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2173, 240-253 (2001). Summary: We investigate the relationship amongst some solutions to frame problem. We encode Pednault’s syntax-based solution, Baker’s state-minimization policy , and Gelfond & Lifchitz’s Action Language \({\mathcal A}\) 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.For the entire collection see [Zbl 0971.00048]. Cited in 1 Document MSC: 03B70 Logic in computer science 68T27 Logic in artificial intelligence Keywords:relationships between formalisms; frame problem; dynamic logic PDFBibTeX XMLCite \textit{N. Foo} et al., Lect. Notes Comput. Sci. 2173, 240--253 (2001; Zbl 1010.03022)