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.

Full Text: PDF