Pubblicazioni

Autori:

Bonacina, Maria Paola; Nachum, Dershowitz

Titolo:

Canonical inference for implicational systems

Anno:

2008

Tipologia prodotto:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Lingua:

Inglese

Formato:

A Stampa

Nome rivista:

Lecture Notes in Artificial Intelligence

N° Volume:

5195

Titolo del Convegno:

International Joint Conference on Automated Reasoning

Luogo:

Sydney, Australia

Periodo:

August 2008

Editore:

Springer

Casa editrice:

Springer

ISBN:

9783540710691

Intervallo pagine:

380-395

Parole chiave:

Automated reasoning; Knowledge compilation; Horn theories

Breve descrizione dei contenuti:

Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries. We investigate what canonicity means for implicational systems that are axiomatizations of Moore families - or, equivalently, of propositional Horn theories. We build a correspondence between implicational systems and associative-commutative rewrite systems, give deduction mechanisms for both, and show how their respective inferences correspond. Thus, we exhibit completion procedures designed to generate canonical systems that are ``optimal'' for forward chaining, to compute minimal models, and to generate canonical systems that are rewrite-optimal. Rewrite-optimality is a new notion of ``optimality'' for implicational systems, one that takes contraction by simplification into account.

Pagina Web:

http://dx.doi.org/10.1007/978-3-540-71070-7_33
https://mariapaola.github.io/

Id prodotto:

150028

Handle IRIS:

11562/316091

depositato il:

2 settembre 2008

ultima modifica:

25 febbraio 2026

Citazione bibliografica:

Bonacina, Maria Paola; Nachum, Dershowitz, Canonical inference for implicational systems in «Lecture Notes in Artificial Intelligence» vol. 5195 Springer  in Automated Reasoning - 4th International Joint Conference, IJCAR 2008 - Sydney, Australia, August 2008, Proceedings , Springer , Atti di "International Joint Conference on Automated Reasoning" , Sydney, Australia , August 2008 , 2008 , pp. 380-395

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo