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 underspecif...

Full description

Saved in:
Bibliographic Details
Published inKnowledge-based systems Vol. 5; no. 4; pp. 289 - 294
Main Authors Hinde, C.J., Norman, M.
Format Journal Article
LanguageEnglish
Published Elsevier B.V 01.12.1992
Subjects
equation solving
set theory
truth maintenance
truth maintenance
equation solving
set theory
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:0950-7051
1872-7409
DOI:10.1016/0950-7051(92)90040-M