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].
Author details: | Heinrich Herre, Axel Hummel |
---|---|
URN: | urn:nbn:de:kobv:517-opus-41496 |
Publication type: | Conference Proceeding |
Language: | English |
Publication year: | 2010 |
Publishing institution: | Universität Potsdam |
Contributing corporation: | Gesellschaft für Logische Programmierung e.V. |
Release date: | 2010/03/04 |
Tag: | generalized logic programs; multi-valued logic; paraconsistency |
Source: | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 81 - 94 |
Organizational units: | Extern / Extern |
DDC classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Collection(s): | Universität Potsdam / Tagungsbände/Proceedings (nicht fortlaufend) / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Theory of Logic Programming |
License (German): | Keine öffentliche Lizenz: Unter Urheberrechtsschutz |