We describe a planning system which automatically creates abstract operators while organizing a given set of primitive operators into a taxonomic hierarchy. At the same time, the system creates categories of abstract object types which allow abstract operators to apply to broad classes of functionally similar objects. After the system has found a plan to achieve a particular goal, it replaces e...

THEORY OF ABELIAN OPERATOR ALGEBRAS: AN APPLICATION OF FORCING BY THOMAS J. JECH1 Abstract. The abstract abelian operator theory is developed from a general standpoint, using the method of forcing and Boolean-valued models. The abstract abelian operator theory is developed from a general standpoint, using the method of forcing and Boolean-valued models.