New techniques for inference in assumption-based truth maintenance systems

Autor: O. Palmade, C. Cayrol, M. Cayrol
Rok vydání: 2002
Předmět:
Zdroj: ICTAI
DOI: 10.1109/tai.1993.633987
Popis: 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.
Databáze: OpenAIRE