Minimal Semantics for Action Specifications in First-order Dynamic Logic

Share/Save/Bookmark

Broersen, Jan and Wieringa, Roel (1997) Minimal Semantics for Action Specifications in First-order Dynamic Logic. [Report]

[img]
Preview
PDF
380Kb
Abstract:In this paper we investigate minimal semantics for First Order Dynamic Logic formulas. The goal is to be able to write action specifications in a declarative pre/post-condition style. The declarative specification of actions comes with 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 Dynamic 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. This unique model represents the system that must be associated with the specification given the prefential semantics that is defined by the orderings.
Item Type:Report
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/80297
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page