Title :
New techniques for inference in assumption-based truth maintenance systems
Author :
Cayrol, C. ; Cayrol, M. ; Palmade, O.
Author_Institution :
IRIT, Univ. Paul Sabatier, Toulouse, France
Abstract :
Presents a new and unifying formalization of the inference techniques involved in assumption-based truth maintenance systems (ATMS). Basic concepts of ATMS are briefly reviewed. Then an original inference system, called P-deduction, is presented, which enables us to build a propositional backward-chaining prover. It is shown how to exploit the results provided by the proof algorithm in order to compute labels, interpretations, and nogoods
Keywords :
backward chaining; inference mechanisms; theorem proving; truth maintenance; ATMS; P-deduction; assumption-based truth maintenance systems; inference techniques; interpretations; labels; nogoods; proof algorithm; propositional backward-chaining prover; Inference algorithms; Knowledge management;
Conference_Titel :
Tools with Artificial Intelligence, 1993. TAI '93. Proceedings., Fifth International Conference on
Conference_Location :
Boston, MA
Print_ISBN :
0-8186-4200-9
DOI :
10.1109/TAI.1993.633987
