Authors: Nikos Papadakis
Addresses: Department of Sciences, Technological Educational Institute of Crete, P.O. Box 1939, GR 710 04 Iraklio, Crete, Greece
Abstract: Reasoning about action and change has been one of the main research themes of knowledge representation and planning communities over the last 15 years. Action theories providing an axiomatic basis for managing change are applicable to a wide area of disciplines including software engineering, (cognitive) robotics and data/knowledge base systems. In this paper, firstly, we review action theories proposed for reasoning about the dynamics of database systems. We examine how these theories deal with the two infamous problems associated with this area, namely: a) the frame problem, which refers to the identification of predicates or functions that remain unchanged as a result of action execution; b) the qualification problem, which refers to determining the preconditions which must hold prior to the execution of an action. We briefly describe the solutions which have been proposed for these problems and position these problems in a temporal database context. We also introduce a solution for the frame and qualification problems in the temporal databases based on the language of situation calculus.
Keywords: reasoning about action; temporal databases; frame problem; qualification problem; knowledge representation; knowledge planning; situation calculus.
International Journal of Reasoning-based Intelligent Systems, 2010 Vol.2 No.2, pp.158 - 166
Published online: 30 Aug 2010 *Full-text access for editors Access for subscribers Purchase this article Comment on this article