Title :
Using a truth maintenance system to support knowledge base construction and evolution
Author :
McDonald, Gary ; McDonald, Merry
Author_Institution :
Dept. of Comput. Sci./Inf. Syst., Northwest Missouri State Univ., Maryville, MO, USA
Abstract :
Most expert systems require access to a knowledge base of domain facts. The authors raise issues concerning the granularity of such knowledge bases and the need to update them. In particular, they discuss the use of an inference engine and associated truth maintenance system in constructing and maintaining such knowledge bases and present an implementation of a prototype system which uses these techniques
Keywords :
inference mechanisms; knowledge acquisition; knowledge based systems; domain facts; expert systems; inference engine; knowledge base construction; prototype system; truth maintenance system; Computer science; Databases; Engines; Expert systems; Humans; Information systems; Knowledge engineering; Problem-solving; Prototypes;
Conference_Titel :
Applied Computing, 1991., [Proceedings of the 1991] Symposium on
Conference_Location :
Kansas City, MO
Print_ISBN :
0-8186-2136-2
DOI :
10.1109/SOAC.1991.143871
