A paraconsistent semantics for generalized logic programs
- We propose a paraconsistent declarative semantics of possibly inconsistent generalized logic programs which allows for arbitrary formulas in the body and in the head of a rule (i.e. does not depend on the presence of any specific connective, such as negation(-as-failure), nor on any specific syntax of rules). For consistent generalized logic programs this semantics coincides with the stable generated models introduced in [HW97], and for normal logic programs it yields the stable models in the sense of [GL88].
Volltext Dateien herunterladen
SHA-1:d2b0e3c34d69ed08a6ec2e352e36be5104e7c63b
Weitere Dienste
| Verfasserangaben: | Heinrich Herre, Axel Hummel |
|---|---|
| URN: | urn:nbn:de:kobv:517-opus-41496 |
| Publikationstyp: | Konferenzveröffentlichung |
| Sprache: | Englisch |
| Erscheinungsjahr: | 2010 |
| Veröffentlichende Institution: | Universität Potsdam |
| Beteiligte Körperschaft: | Gesellschaft für Logische Programmierung e.V. |
| Datum der Freischaltung: | 04.03.2010 |
| Freies Schlagwort / Tag: | generalized logic programs; multi-valued logic; paraconsistency |
| Quelle: | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 81 - 94 |
| Organisationseinheiten: | Extern / Extern |
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Sammlung(en): | Universität Potsdam / Tagungsbände/Proceedings (nicht fortlaufend) / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Theory of Logic Programming |
| Lizenz (Deutsch): |  Keine öffentliche Lizenz: Unter Urheberrechtsschutz |
