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.
|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
|Workshop||ECAI 1998 Workshop on Practical Reasoning and Rationality|
|Period||24/08/98 → 24/08/98|