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 Logic action specification a unique intended model. 1
Citations
|
1170
|
Symbolic Model Checking
– McMillan
- 1993
|
|
1030
|
Automatic verification of finite-state con-current systems using temporal logic specifications
– Clarke, Emerson, et al.
- 2001
|
|
527
|
The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
– Reiter
- 1991
|
|
359
|
Representing action and change by logic programs
– Gelfond, Lifschitz
- 1993
|
|
223
|
State constraints revisited
– Lin, Reiter
- 1994
|
|
91
|
Updating logical databases
– Winslett
- 1990
|
|
64
|
First Order Dynamic Logic
– Harel
- 1979
|
|
62
|
On the frame problem in procedure specifications
– Borgida, Mylopoulos, et al.
- 1995
|
|
51
|
Specifying Dynamic and Deontic Integrity Constraints
– Meyer, Weigand
- 1989
|
|
32
|
LCM 3.0: a language for describing conceptual models
– Feenstra, Wieringa
- 1993
|
|
31
|
Sharing Actions and Attributes in Modal Action Logic. in Theoretical Aspects of Computer
– Ryan, Fiadeiro, et al.
- 1991
|
|
20
|
The prescription and description of state based systems, in: Temporal Logic in
– Khosla, Maihaum
- 1987
|
|
18
|
Actions with indirect effects (extended abstract
– Giunchiglia, Kartha, et al.
- 1995
|
|
18
|
Two Components of an Action Language
– Lifschitz
- 1996
|
|
17
|
The Inheritance of Dynamic and Deontic Integrity Constraints
– Meyer, Dignum
- 1991
|
|
13
|
Database specification
– Khosla, Maibaum, et al.
- 1986
|
|
12
|
Specification of object behaviour with defaults
– Brass, Lipeck, et al.
- 1993
|
|
9
|
A modal system of algebras for database specification and query/update support
– Golshani, Maibaum, et al.
- 1983
|
|
9
|
A modal (action) logic for requirements specification
– Jeremaes, Khosla, et al.
- 1986
|
|
7
|
The frame problem in artificial intelligence
– Brown, editor
- 1987
|
|
5
|
Actor-oriented specification of dynamic and deontic integrity constraints
– Meyer
- 1991
|
|
3
|
Object-oriented system specification using defaults
– Lipeck, Brass
- 1994
|
|
2
|
Minimal semantics for action specifications in first-order dynamic logic
– Broersen, Wieringa
- 1997
|
|
2
|
Reasoning about action 2: the qualification problem
– Ginsberg, Smith
- 1988
|
|
