Frame problem in dynamic logic

Dongmo Zhang; N. Y. Foo

Frame problem in dynamic logic

Research output: Contribution to journal › Article

4 Citations (Scopus)

Abstract

This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. We encode Pednault's syntax-based solution, Baker's state-minimization policy, and Gelfond & Lifchitz's Action Language 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, analyzing and unifying logics of action.

Original language	English
Number of pages	24
Journal	Journal of applied non-classical logics
Publication status	Published - 2005

Keywords

Action theory
Artificial intelligence
Frames (Information theory)
Logic, Symbolic and mathematical
Reasoning

Cite this

@article{c921707c4e4c44919794559970a7e671,

title = "Frame problem in dynamic logic",

abstract = "This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. We encode Pednault's syntax-based solution, Baker's state-minimization policy, and Gelfond & Lifchitz's Action Language 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, analyzing and unifying logics of action.",

keywords = "Action theory, Artificial intelligence, Frames (Information theory), Logic, Symbolic and mathematical, Reasoning",

author = "Dongmo Zhang and Foo, {N. Y.}",

year = "2005",

language = "English",

journal = "Journal of applied non-classical logics",

issn = "1166-3081",

publisher = "Lavoisier",

}

TY - JOUR

T1 - Frame problem in dynamic logic

AU - Zhang, Dongmo

AU - Foo, N. Y.

PY - 2005

Y1 - 2005

N2 - This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. We encode Pednault's syntax-based solution, Baker's state-minimization policy, and Gelfond & Lifchitz's Action Language 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, analyzing and unifying logics of action.

AB - This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. We encode Pednault's syntax-based solution, Baker's state-minimization policy, and Gelfond & Lifchitz's Action Language 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, analyzing and unifying logics of action.

KW - Action theory

KW - Artificial intelligence

KW - Frames (Information theory)

KW - Logic, Symbolic and mathematical

KW - Reasoning

UR - http://handle.uws.edu.au:8081/1959.7/10006

M3 - Article

SN - 1166-3081

JO - Journal of applied non-classical logics

JF - Journal of applied non-classical logics

ER -

Frame problem in dynamic logic

Abstract

Keywords

Other files and links

Fingerprint

Cite this