Thema3477: Unterschied zwischen den Versionen

Aktuelle Version vom 29. November 2016, 22:49 Uhr

Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs

Bachelorarbeit, Studienarbeit von Matthias Knorr

Betreuer Steffen Hölldobler, Pascal Hitzler
Wissensverarbeitung
11. Mai 2003 – 11. Mai 2003
Download

Several different approaches of logic programming semantics have been proposed

during the last two decades. These semantics varied in many aspects and it was diffi- cult to find the exact relationships between them. Hitzler and Wendt proposed a new method, based on level mappings, which allows to provide uniform characterizations of different semantics for logic programs. They gave new characterizations of different semantics, like the well-founded semantics or the Fitting semantics. We will apply this method to other classes of logic programs, namely quantitative logic programs and disjunctive logic programs. There are also different approaches of semantics for both classes and we will provide characterizations for some of them. In fact, we will consider a quantitative semantics due to van Emden and a specialization of a semantics due to Mateis where real numbers, respectively intervals of real numbers, are used as measures of uncertainty. Furthermore, we will provide a level mapping characterization of the minimal model semantics for disjunctive logic programs and a characterization for the combination of these two classes, i.e. quantitative disjunctive logic programs

@@ Zeile 1: / Zeile 1: @@
 {{Abschlussarbeit
-|Titel DE=Level mapping characterizations for quantitative and disjunctive logic programs
+|Titel DE=Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs
-|Titel EN=Level mapping characterizations for quantitative and disjunctive logic programs
+|Titel EN=Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs
 |Vorname=Matthias
 |Nachname=Knorr
@@ Zeile 11: / Zeile 11: @@
 |Abgabe=2003
 |Ergebnisse=Bach knorr.pdf
+|Beschreibung DE=Several different approaches of logic programming semantics have been proposed
+during the last two decades. These semantics varied in many aspects and it was diffi-
+cult to find the exact relationships between them. Hitzler and Wendt proposed a new
+method, based on level mappings, which allows to provide uniform characterizations
+of different semantics for logic programs. They gave new characterizations of different
+semantics, like the well-founded semantics or the Fitting semantics. We will apply
+this method to other classes of logic programs, namely quantitative logic programs
+and disjunctive logic programs. There are also different approaches of semantics for
+both classes and we will provide characterizations for some of them. In fact, we will
+consider a quantitative semantics due to van Emden and a specialization of a semantics
+due to Mateis where real numbers, respectively intervals of real numbers,
+are used as measures of uncertainty. Furthermore, we will provide a level mapping
+characterization of the minimal model semantics for disjunctive logic programs and a
+characterization for the combination of these two classes, i.e. quantitative disjunctive
+logic programs
+|Beschreibung EN=Several different approaches of logic programming semantics have been proposed
+during the last two decades. These semantics varied in many aspects and it was diffi-
+cult to find the exact relationships between them. Hitzler and Wendt proposed a new
+method, based on level mappings, which allows to provide uniform characterizations
+of different semantics for logic programs. They gave new characterizations of different
+semantics, like the well-founded semantics or the Fitting semantics. We will apply
+this method to other classes of logic programs, namely quantitative logic programs
+and disjunctive logic programs. There are also different approaches of semantics for
+both classes and we will provide characterizations for some of them. In fact, we will
+consider a quantitative semantics due to van Emden and a specialization of a semantics
+due to Mateis where real numbers, respectively intervals of real numbers,
+are used as measures of uncertainty. Furthermore, we will provide a level mapping
+characterization of the minimal model semantics for disjunctive logic programs and a
+characterization for the combination of these two classes, i.e. quantitative disjunctive
+logic programs
 }}