DocumentCode
3320771
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
fYear
1991
fDate
3-5 Apr 1991
Firstpage
176
Lastpage
179
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Applied Computing, 1991., [Proceedings of the 1991] Symposium on
Conference_Location
Kansas City, MO
Print_ISBN
0-8186-2136-2
Type
conf
DOI
10.1109/SOAC.1991.143871
Filename
143871
Link To Document