Title :
Using a truth maintenance system to do configuration
Author :
Harp, Steven Alex ; Sederberg, John C.
Author_Institution :
Honeywell Inc., Golden Valley, MN, USA
Abstract :
Summary form only given. The authors describe a system under development, CONCH, that offers a general-purpose shell approach to the problem of configuring complex systems. The use of an advanced truth maintenance system (TMS), IDOTHEA, has been integral to the implementation of this shell. IDOTHEA is a modified version of the Proteus TMS. In addition to supporting forward and backward chaining predicate calculus rules, IDOTHEA offers an extensive object-centered programming capability. The CONCH approach to configuration is described
Keywords :
knowledge engineering; programming environments; CONCH; IDOTHEA; Proteus; knowledge engineering; object oriented programming; object-centered programming; predicate calculus rules; truth maintenance system; Artificial intelligence; Calculus; Engines; Knowledge engineering; Knowledge representation; Logic programming; Maintenance; Manufacturing; Resource management; Uncertainty;
Conference_Titel :
Artificial Intelligence Applications, 1988., Proceedings of the Fourth Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-0837-4
DOI :
10.1109/CAIA.1988.196139
