DocumentCode
1960799
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
fYear
1993
fDate
8-11 Nov 1993
Firstpage
404
Lastpage
407
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools with Artificial Intelligence, 1993. TAI '93. Proceedings., Fifth International Conference on
Conference_Location
Boston, MA
ISSN
1063-6730
Print_ISBN
0-8186-4200-9
Type
conf
DOI
10.1109/TAI.1993.633987
Filename
633987
Link To Document