Pubblicazioni

Canonical inference for implicational systems  (2008)

Autori:
Bonacina, Maria Paola; Nachum, Dershowitz
Titolo:
Canonical inference for implicational systems
Anno:
2008
Tipologia prodotto:
Contributo in volume (Capitolo o Saggio)
Tipologia ANVUR:
Contributo in volume (Capitolo o Saggio)
Lingua:
Inglese
Formato:
A Stampa
Titolo libro:
Automated Reasoning - 4th International Joint Conference, IJCAR 2008 - Sydney, Australia, August 2008, Proceedings
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:
114330
Handle IRIS:
11562/316091
depositato il:
2 settembre 2008
ultima modifica:
16 settembre 2023
Citazione bibliografica:
Bonacina, Maria Paola; Nachum, Dershowitz, Canonical inference for implicational systems Automated Reasoning - 4th International Joint Conference, IJCAR 2008 - Sydney, Australia, August 2008, Proceedings2008Springer2008pp. 380-395

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

<<indietro

Attività

Strutture

Condividi