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].

Download full text files

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
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):License LogoKeine öffentliche Lizenz: Unter Urheberrechtsschutz
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.