Action Theories over Generalized Databases with Equality Constraints (Extended Abstract)

Fabio Patrizi; Stavros Vassos

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

Fabio Patrizi, Stavros Vassos

Last modified: 2014-05-04

Abstract

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.

Keywords

Situation Calculus; Progression; Projection; Constraint Databases

Full Text: PDF