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

Broersen, Jan and Wieringa, Roel (1998) Preferential semantics for action specification in first-order modal action logic. In: ECAI-98 Workshop on Practical Reasoning and Rationality, 23-28 Aug 1998, Brighton, UK.

Preview

PDF
291Kb

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.
Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Information Systems (IS)
Link to this item:	http://purl.utwente.nl/publications/64222
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page