Sciweavers

AMAI
2002
Springer

A Complete Axiomatization for Blocks World

13 years 10 months ago
A Complete Axiomatization for Blocks World
Blocks World (BW) has been one of the most popular model domains in AI history. However, there has not been serious work on axiomatizing the state constraints of BW and giving justification for its soundness and completeness. In this paper, we model a state of BW by a finite collection of finite chains, and call the theory of all these structures BW theory. We present seven simple axioms and prove that their consequences are precisely BW theory, using Ehrenfeucht-Fra
Stephen A. Cook, Yongmei Liu
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2002
Where AMAI
Authors Stephen A. Cook, Yongmei Liu
Comments (0)