Giessener Elektronische Bibliothek

GEB - Giessener Elektronische Bibliothek

Hinweis zum Urheberrecht

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URL: http://geb.uni-giessen.de/geb/volltexte/1999/140/


Probalistic and truth-functional many-valued logic programming

Lukasiewicz, Thomas


pdf-Format: Dokument 1.pdf (274 KB)
ps gepackt: class="frontdoor">Dokument1.gz (145 KB)

(Anm.: Die Zeichendarstellung in diesem Abstract entspricht nicht der Vorlage)

Bookmark bei Connotea Bookmark bei del.icio.us
Universität Justus-Liebig-Universität Gießen
Institut: Institut für Informatik
Fachgebiet: Informatik
DDC-Sachgruppe: Informatik
Dokumentart: ResearchPaper (Forschungsbericht, Arbeitspapier)
Zeitschrift, Serie: IFIG Research Report ; 9809 / 1998
Sprache: Englisch
Erstellungsjahr: 1998
Publikationsdatum: 05.03.1999
Kurzfassung auf Englisch: We introduce probabilistic many­valued logic programs in which the implication connective is interpreted as material implication. We show that probabilistic many-valued logic programming is computationally more complex than classical logic programming. More precisely, some deduction problems that are P­complete for classical logic programs are shown to be co­NP­complete for probabilistic many­valued logic programs. We then focus on many­valued logic programming in Pr*n as an approximation of probabilistic many­valued logic programming. Surprisingly, many­valued logic programs in Pr*n have both a probabilistic semantics in probabilities over a set of possible worlds and a truth­functional semantics in the finite­valued Lukasiewicz logics Ln. Moreover, many­valued logic programming in Pr*n has a model and fixpoint characterization, a proof theory, and computational properties that are very similar to those of classical logic programming. We especially introduce the proof theory of many­valued logic programming in Pr*n and show its soundness and completeness.