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 |
Externí odkaz: |