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
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;
Conference_Titel :
Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
Conference_Location :
San Jose, CA
Print_ISBN :
0-8186-2300-4
DOI :
10.1109/TAI.1991.167116
