AAAI Publications, Ninth Symposium of Abstraction, Reformulation, and Approximation

Font Size: 
The Markov Reformulation Theorem
Michael Kassoff, Michael R. Genesereth

Last modified: 2011-12-14

Abstract


In this paper, we define an abstract formal model of dynamic constraints and show that, if the schema is modifiable, the constraints can always be reformulated to Markov constraints.

Keywords


Dynamic constraints; Markov constraints; Reformulation

Full Text: PDF