Encoding solutions of the frame problem in dynamic logic

Norman Foo; Dongmo Zhang; Yan Zhang; Samir Chopra; Bao Quoc Vo

doi:10.1007/3-540-45402-0_18

Encoding solutions of the frame problem in dynamic logic

Norman Foo
, Dongmo Zhang
, Yan Zhang
, Samir Chopra
, Bao Quoc Vo

University of New South Wales

Research output: Contribution to journal › Article › peer-review

5 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	240-253
Number of pages	14
Journal	Agents for Games and Simulations II
Volume	2173
DOIs	https://doi.org/10.1007/3-540-45402-0_18
Publication status	Published - 2001
Externally published	Yes

Keywords

Dynamic logic
Frame problem
Relationships between formalisms

Access to Document

10.1007/3-540-45402-0_18

Cite this

@article{933155331ee94cdd850be925a55c5291,

title = "Encoding solutions of the frame problem in dynamic logic",

abstract = "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.",

keywords = "Dynamic logic, Frame problem, Relationships between formalisms",

author = "Norman Foo and Dongmo Zhang and Yan Zhang and Samir Chopra and Vo, \{Bao Quoc\}",

year = "2001",

doi = "10.1007/3-540-45402-0\_18",

language = "English",

volume = "2173",

pages = "240--253",

journal = "Agents for Games and Simulations II",

issn = "0302-9743",

publisher = "Springer",

}

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 - https://www.scopus.com/pages/publications/23044529505

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 -

Encoding solutions of the frame problem in dynamic logic

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this