Set-theoretic equation solver based on a truth-maintained architecture

摘要

A set-theoretic equation solver based on PRESS is described, and linked to an assumption-based truth-maintained blackboard system. The methods used in PRESS are extended to solve set-theoretic equations in one unknown where the unknown occurs only once. Problems arising from increasingly underspecified sets being delivered from the system are eliminated by defining subsumption and using most general unification to combine partial solutions. The ATMS contributes to the equation solving by allowing the definition of simple problem-solving axioms which can combine to produce complex behaviour.