Revisiting explicit negation in answer set programming
- A common feature in Answer Set Programming is the use of a second negation, stronger than default negation and sometimes called explicit, strong or classical negation. This explicit negation is normally used in front of atoms, rather than allowing its use as a regular operator. In this paper we consider the arbitrary combination of explicit negation with nested expressions, as those defined by Lifschitz, Tang and Turner. We extend the concept of reduct for this new syntax and then prove that it can be captured by an extension of Equilibrium Logic with this second negation. We study some properties of this variant and compare to the already known combination of Equilibrium Logic with Nelson's strong negation.
Volltext Dateien herunterladen
SHA-512:385831a9dd3d52817daa9d0d94d63b5c62653d932fbe1a476e3c9de4280571f80cf19a5b04cfbcd810e96b25608dd6392c42a332ca303f36b08ec66d37b6289f
Weitere Dienste
| Verfasserangaben: | Felicidad AguadoORCiD, Pedro CabalarORCiDGND, Jorge FandinnoORCiD, David PearceORCiD, Gilberto Perez, Concepcion VidalORCiD |
|---|---|
| URN: | urn:nbn:de:kobv:517-opus4-469697 |
| DOI: | https://doi.org/10.25932/publishup-46969 |
| ISSN: | 1866-8372 |
| Titel des übergeordneten Werks (Deutsch): | Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe |
| Schriftenreihe (Bandnummer): | Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe (1104) |
| Publikationstyp: | Postprint |
| Sprache: | Englisch |
| Datum der Erstveröffentlichung: | 20.01.2021 |
| Erscheinungsjahr: | 2019 |
| Veröffentlichende Institution: | Universität Potsdam |
| Datum der Freischaltung: | 20.01.2021 |
| Freies Schlagwort / Tag: | Answer Set Programming; Equilibrium logic; explicit negation; non-monotonic reasoning |
| Ausgabe: | 1104 |
| Seitenanzahl: | 19 |
| Erste Seite: | 908 |
| Letzte Seite: | 924 |
| Quelle: | Theory and Practice of Logic Programming 19 (2019) Special Issue 5-6, pp. 908-924 DOI: 10.1017/S1471068419000267 |
| Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Peer Review: | Referiert |
| Fördermittelquelle: | Cambridge University Press (CUP) |
| Publikationsweg: | Open Access / Green Open-Access |
| Lizenz (Deutsch): |  CC-BY - Namensnennung 4.0 International |
| Externe Anmerkung: | Bibliographieeintrag der Originalveröffentlichung/Quelle |
