Preferential semantics for action specification in first-order modal action logic

Jan Broersen; Roelf J. Wieringa

Preferential semantics for action specification in first-order modal action logic

Jan Broersen, Roelf J. Wieringa

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

47 Downloads (Pure)

Abstract

In this paper we investigate preferential semantics for declarative specifications in a First Order Modal Action Logic. We address 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 qualification problem into the semantics of the modal Action Logic by defining orderings over Dynamic Logic models. These orderings allow us to identify for each declarative Dynamic Logication specifacation a unique intented model.

Original language	Undefined
Number of pages	12
Publication status	Published - Aug 1998
Event	ECAI 1998 Workshop on Practical Reasoning and Rationality - Brighton, United Kingdom Duration: 24 Aug 1998 → 24 Aug 1998 http://wasp.cs.vu.nl/~huang/research/prr/prr98/

Workshop

Workshop	ECAI 1998 Workshop on Practical Reasoning and Rationality
Country/Territory	United Kingdom
City	Brighton
Period	24/08/98 → 24/08/98
Internet address	http://wasp.cs.vu.nl/~huang/research/prr/prr98/

Keywords

SCS-Services
EWI-10587
IR-64222

Access to Document

preferential-semantics-for-action

http://eprints.eemcs.utwente.nl/secure2/10587/01/preferential-semantics-for-action.pdf

Cite this

@conference{3f6ca5550dd44d79807cf3aa62dcde5d,

title = "Preferential semantics for action specification in first-order modal action logic",

abstract = "In this paper we investigate preferential semantics for declarative specifications in a First Order Modal Action Logic. We address 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 qualification problem into the semantics of the modal Action Logic by defining orderings over Dynamic Logic models. These orderings allow us to identify for each declarative Dynamic Logication specifacation a unique intented model.",

keywords = "SCS-Services, EWI-10587, IR-64222",

author = "Jan Broersen and Wieringa, {Roelf J.}",

year = "1998",

month = aug,

language = "Undefined",

note = "ECAI 1998 Workshop on Practical Reasoning and Rationality ; Conference date: 24-08-1998 Through 24-08-1998",

url = "http://wasp.cs.vu.nl/~huang/research/prr/prr98/",

}

TY - CONF

T1 - Preferential semantics for action specification in first-order modal action logic

AU - Broersen, Jan

AU - Wieringa, Roelf J.

PY - 1998/8

Y1 - 1998/8

N2 - In this paper we investigate preferential semantics for declarative specifications in a First Order Modal Action Logic. We address 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 qualification problem into the semantics of the modal Action Logic by defining orderings over Dynamic Logic models. These orderings allow us to identify for each declarative Dynamic Logication specifacation a unique intented model.

AB - In this paper we investigate preferential semantics for declarative specifications in a First Order Modal Action Logic. We address 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 qualification problem into the semantics of the modal Action Logic by defining orderings over Dynamic Logic models. These orderings allow us to identify for each declarative Dynamic Logication specifacation a unique intented model.

KW - SCS-Services

KW - EWI-10587

KW - IR-64222

M3 - Paper

T2 - ECAI 1998 Workshop on Practical Reasoning and Rationality

Y2 - 24 August 1998 through 24 August 1998

ER -