AAAI Publications, Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
Action Theories over Generalized Databases with Equality Constraints (Extended Abstract)
Fabio Patrizi, Stavros Vassos

Last modified: 2014-05-04


In this work we study action theories of the situation calculus such that the initial KB is a generalized database with equality constraints (GFDBs). We show that GFDBs characterize the class of definitional KBs and that they are closed under progression. We also show that, under conditions, generalized projection queries can be decided based on an induced transition system and evaluation of local conditions over states.


Situation Calculus; Progression; Projection; Constraint Databases

Full Text: PDF