Scaling Up Reasoning About Actions Using Relational Database Technology Export

@misc{giacomo04scaling, abstract = {Reiter's variant of the Situation Calculus is tightly related to relational databases, when complete information on the initial situation is available. In particular, the information on the initial situation can be seen as a relational database, and actions, as specified by the preconditions and successor state axioms, can be seen as operations that change the state of the database. In this paper, we show how to exploit such a correspondence to build systems for reasoning about actions...}, author = {De Giacomo, Giuseppe}, citeulike-article-id = {2285428}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.1480}, keywords = {ai, databases, logic, reasoning\_about\_action}, posted-at = {2008-01-24 17:20:41}, priority = {0}, title = {Scaling Up Reasoning About Actions Using Relational Database Technology}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.1480} }

TY - GEN ID - giacomo04scaling L3 - citeulike-article-id:2285428 N2 - Reiter's variant of the Situation Calculus is tightly related to relational databases, when complete information on the initial situation is available. In particular, the information on the initial situation can be seen as a relational database, and actions, as specified by the preconditions and successor state axioms, can be seen as operations that change the state of the database. In this paper, we show how to exploit such a correspondence to build systems for reasoning about actions... TI - Scaling Up Reasoning About Actions Using Relational Database Technology KW - ai KW - databases KW - logic KW - reasoning_about_action AU - De Giacomo, Giuseppe UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.1480 ER -