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

Share/Save/Bookmark

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.

open access
[img]
Preview
PDF
298kB
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:
Link to this item:http://purl.utwente.nl/publications/64222
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page