Forgetting Auxiliary Atoms in Forks
Ver/ abrir
Use este enlace para citar
http://hdl.handle.net/2183/34642
A non ser que se indique outra cousa, a licenza do ítem descríbese como Atribución-NoComercial-SinDerivadas 3.0 España
Coleccións
- GI-IRlab-Artigos [31]
Metadatos
Mostrar o rexistro completo do ítemTítulo
Forgetting Auxiliary Atoms in ForksAutor(es)
Data
2019Cita bibliográfica
F. Aguado, P. Cabalar, J. Fandinno, D. Pearce, G. Pérez, and, C. Vidal, "Forgetting Auxiliary Atoms in Forks", Artificial Intelligence, Vol. 275, pp. 575-601, Oct. 2019, doi: 10.1016/j.artint.2019.07.005
É version de
https://doi.org/10.1016/j.artint.2019.07.005
Resumo
[Abstract]: In this work we tackle the problem of checking strong equivalence of logic programs that may contain local auxiliary atoms, to be removed from their stable models and to be forbidden in any external context. We call this property projective strong equivalence (PSE). It has been recently proved that not any logic program containing auxiliary atoms can be reformulated, under PSE, as another logic program or formula without them – this is known as strongly persistent forgetting. In this paper, we introduce a conservative extension of Equilibrium Logic and its monotonic basis, the logic of Here-and-There, in which we deal with a new connective ‘|’ we call fork. We provide a semantic characterisation of PSE for forks and use it to show that, in this extension, it is always possible to forget auxiliary atoms under strong persistence. We further define when the obtained fork is representable as a regular formula.
Palabras chave
Answer Set Programming
Non-Monotonic Reasoning
Equilibrium Logic
Denotational Semantics
Forgetting
Strong Equivalence
Non-Monotonic Reasoning
Equilibrium Logic
Denotational Semantics
Forgetting
Strong Equivalence
Descrición
©2019 Elsevier B.V. All rights reserved. This manuscript version is made available under the CC-BY-NC-ND 4.0 license https://creativecommons.org/licenses/bync-nd/4.0/. This version of the article has been accepted for publication in Artificial Intelligence. The Version of Record is available online at https://doi.org/10.1016/j.artint.2019.07.005 Versión final aceptada de: F. Aguado, P. Cabalar, J. Fandinno, D. Pearce, G. Pérez, and, C. Vidal, "Forgetting Auxiliary Atoms in Forks", Artificial Intelligence, Vol. 275, pp. 575-601, Oct. 2019, doi: 10.1016/j.artint.2019.07.005
Versión do editor
Dereitos
Atribución-NoComercial-SinDerivadas 3.0 España