In recent years, many authors have pointed out the strict correlation between non-Horn logic programs and non-monotonic reasoning. As a result, many studies on the relations between various semantics for negation and non-monotonic logics have appeared in the literature. The analysis of these relations helps understanding the properties of the various systems and allows importing analysis from one formalism into another one. In this paper we show a one-to-one mapping between the positivistic models and moderately-grounded expansions of autoepistemic logic and a one-to-one correspondence between the minimally-supported models and the stable parsimonious expansions. These relations are then used to prove the computational complexity of reasoning with the positivistic and minimally-supported model semantics, as well as new complexity results for restricted subsets of autoepistemic logic.
Logic programming and autoepistemic logics: New relations and complexity results / Schaerf, M.. - 728:(1993), pp. 132-141. (Intervento presentato al convegno 3rd Congress of the Italian Association for Artificial Intelligence, AI*IA 1993 tenutosi a Torino; Italy).
Logic programming and autoepistemic logics: New relations and complexity results
Schaerf M.
1993
Abstract
In recent years, many authors have pointed out the strict correlation between non-Horn logic programs and non-monotonic reasoning. As a result, many studies on the relations between various semantics for negation and non-monotonic logics have appeared in the literature. The analysis of these relations helps understanding the properties of the various systems and allows importing analysis from one formalism into another one. In this paper we show a one-to-one mapping between the positivistic models and moderately-grounded expansions of autoepistemic logic and a one-to-one correspondence between the minimally-supported models and the stable parsimonious expansions. These relations are then used to prove the computational complexity of reasoning with the positivistic and minimally-supported model semantics, as well as new complexity results for restricted subsets of autoepistemic logic.File | Dimensione | Formato | |
---|---|---|---|
Schaerf_Logic_1993.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
536.48 kB
Formato
Adobe PDF
|
536.48 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.