Academia.eduAcademia.edu

Rule-Based Expert Systems

1997, Monographs in Computer Science

Abstract

Four operators for the blocks world P: gripping() ∧ clear(X) ∧ ontable(X) pickup(X) A: gripping(X) D: ontable(X) ∧ gripping() P: gripping(X) putdown(X) A: ontable(X) ∧ gripping() ∧ clear(X) D: gripping(X) P: gripping(X) ∧ clear(Y) stack(X,Y) A: on(X,Y) ∧ gripping() ∧ clear(X) D: gripping(X) ∧ clear(Y) P: gripping() ∧ clear(X) ∧ on(X,Y) unstack(X,Y) A: gripping(X) ∧ clear(Y) D: on(X,Y) ∧ gripping()