Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-41417
Titel: A Mechanization of Strong Kleene Logic for Partial Functions
VerfasserIn: Kerber, Manfred
Kohlhase, Michael
Sprache: Englisch
Erscheinungsjahr: 1993
Erscheinungsort: Saarbrücken
Freie Schlagwörter: partial functions
many-valued logic
order-sorted logic
resolution
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional logics. However, strong Kleene logic, where quantification is restricted and therefore not truth-functional, does not fit the framework directly. We solve this problem by applying recent methods from sorted logics. This paper presents a resolution calculus that combines the proper treatment of partial functions with the efficiency of sorted calculi.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-414170
hdl:20.500.11880/37718
http://dx.doi.org/10.22028/D291-41417
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 93,20
Datum des Eintrags: 27-Mai-2024
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

Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI-Report-SR-93-20_Kerber-Kohlhase_A-Mechanization-of-Strong-Kleene-Logic for-Partial-Functions.pdf2,34 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.