Minimal Semantics for Action Specifications in PDL

Jan Broersen; Joeri Engelfriet; Roelf J. Wieringa; Tigran Spaan; Remco Feenstra

Minimal Semantics for Action Specifications in PDL

Jan Broersen, Joeri Engelfriet (Editor), Roelf J. Wieringa, Tigran Spaan (Editor), Remco Feenstra

Research output: Contribution to conference › Paper › Academic › peer-review

14 Downloads (Pure)

Abstract

In this paper we investigate minimal semantics for Propositional Dynamic Logic formulas. The goal is to be able to write action specifications in a declarative pre/post condition style. The declarative specification of actions comes with some well known problems: the frame problem, the qualification problem and the ramification problem. We incorporate the assumptions that are inherent to both the frame and the qualification problem into the semantics of Dynamic Logic by defining preferences over Dynamic logic models. This gives us an intended semantics that, for each declarative action specification, selects a unique meaning for each action.

Original language	Undefined
Pages	15-30
Number of pages	16
Publication status	Published - Nov 1996

Keywords

SCS-Services
IR-76125
EWI-10643

Access to Document

minimal-semantics-for-action
open
minimal-semantics-for-action
open

Cite this

@conference{c5b7907553f24d2fa4a90198af200a62,

title = "Minimal Semantics for Action Specifications in PDL",

abstract = "In this paper we investigate minimal semantics for Propositional Dynamic Logic formulas. The goal is to be able to write action specifications in a declarative pre/post condition style. The declarative specification of actions comes with some well known problems: the frame problem, the qualification problem and the ramification problem. We incorporate the assumptions that are inherent to both the frame and the qualification problem into the semantics of Dynamic Logic by defining preferences over Dynamic logic models. This gives us an intended semantics that, for each declarative action specification, selects a unique meaning for each action.",

keywords = "SCS-Services, IR-76125, EWI-10643",

author = "Jan Broersen and Joeri Engelfriet and Wieringa, {Roelf J.} and Tigran Spaan and Remco Feenstra",

year = "1996",

month = nov,

language = "Undefined",

pages = "15--30",

}

TY - CONF

T1 - Minimal Semantics for Action Specifications in PDL

AU - Broersen, Jan

AU - Wieringa, Roelf J.

AU - Feenstra, Remco

A2 - Engelfriet, Joeri

A2 - Spaan, Tigran

PY - 1996/11

Y1 - 1996/11

N2 - In this paper we investigate minimal semantics for Propositional Dynamic Logic formulas. The goal is to be able to write action specifications in a declarative pre/post condition style. The declarative specification of actions comes with some well known problems: the frame problem, the qualification problem and the ramification problem. We incorporate the assumptions that are inherent to both the frame and the qualification problem into the semantics of Dynamic Logic by defining preferences over Dynamic logic models. This gives us an intended semantics that, for each declarative action specification, selects a unique meaning for each action.

AB - In this paper we investigate minimal semantics for Propositional Dynamic Logic formulas. The goal is to be able to write action specifications in a declarative pre/post condition style. The declarative specification of actions comes with some well known problems: the frame problem, the qualification problem and the ramification problem. We incorporate the assumptions that are inherent to both the frame and the qualification problem into the semantics of Dynamic Logic by defining preferences over Dynamic logic models. This gives us an intended semantics that, for each declarative action specification, selects a unique meaning for each action.

KW - SCS-Services

KW - IR-76125

KW - EWI-10643

M3 - Paper

SP - 15

EP - 30

ER -