Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-43962
Titel: Ein Resolutionskalkül für eine Logik mit unscharf definierten Prädikaten
VerfasserIn: Fehrer, Detlef
Sprache: Deutsch
Erscheinungsjahr: 1989
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: Eine für das menschlichen Denken charakteristische Vorgehensweise ist es, Objekte nach verschiedenen Kriterien zu klassifizieren. Dabei tritt jedoch häufig das Phänomen auf, daß die einzelnen Konzepte nicht scharf gegeneinander abgegrenzt sind. Thema dieser Arbeit ist es, diesen Sachverhalt für das automatische Beweisen zugänglich zu machen. Dazu werden zunächst alle Begriffe, die sich auf dasselbe Kriterium beziehen, zusammengefaßt und auf ein gemeinsames „Tiefenprädikat‘“ abgebildet. Die Abbildung ist rein syntaktischer Natur und wirft keine besonderen Probleme auf. Die Tiefenprädikate besitzen jedoch, um den semantischen Zusammenhang herauszustellen, als zusätzliches Argument Mengen von Werten aus einer für den Diskursbereich charakterischen Größe. Dieses ist kein Term im üblichen prädikatenlogischen Sinne, so daß eine neue Logik, in der diese speziellen Argumente korrekt interpretiert werde, entwickelt werden mußte. Diese Logik ist eine Verallgemeinerung der Prädikatenlogik erster Stufe, wenngleich sie, was die Ausdrucksmächtigkeit betrifft, zu dieser äquivalent ist. Weiterhin wird ein Resolutionskalkül angegeben, der mit den Formeln der neuen Logik operiert. Zwar ließen sich alle Formelmengen auch innerhalb der Prädikatenlogik darstellen, doch die neuen Formelmengen sind nicht nur für einen menschlichen Leser kompakter und daher besser lesbar, sondern auch aus der Sicht eines automatischen Beweisers ist die Ableitung „einfacher“, da ein einzelner Inferenzschritt mehreren Schritten in der prädikatenlogischen Modellierung entspricht. Dadurch werden die Beweise kürzer und (lokal) zielgerichteter.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-439624
hdl:20.500.11880/39373
http://dx.doi.org/10.22028/D291-43962
Schriftenreihe: SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931]
Band: 89,3
Datum des Eintrags: 13-Jan-2025
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.