DocumentCode
2390246
Title
An efficient hypothetical reasoning system for predicate-logic knowledge-base
Author
Kondo, Akiko ; Makino, Toshiro ; Ishizuka, Mitsuru
Author_Institution
Inst. of Ind. Sci., Tokyo Univ., Japan
fYear
1991
fDate
10-13 Nov 1991
Firstpage
360
Lastpage
367
Abstract
The methods of fast hypothetical reasoning systems developed for propositional logic cannot be applicable in a straightforward manner to the predicate-logic case. A fast hypothetical reasoning mechanism that is effective for predicate-logic knowledge (actually for function-free predicate Horn-clause knowledge) is presented. A reasoning method developed in the deductive database area is effectively applied to this mechanism
Keywords
artificial intelligence; deductive databases; inference mechanisms; knowledge based systems; Horn-clause knowledge; deductive database; hypothetical reasoning system; predicate-logic knowledge-base; Deductive databases; Fault diagnosis; Inference mechanisms; Knowledge acquisition; Knowledge based systems; Knowledge representation; Logic; Navigation;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
Conference_Location
San Jose, CA
Print_ISBN
0-8186-2300-4
Type
conf
DOI
10.1109/TAI.1991.167116
Filename
167116
Link To Document