Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40500
Titel: A Resolution Calculus with Dynamic Sort Structures and Partial Functions
VerfasserIn: Weidenbach, Christoph
Sprache: Englisch
Erscheinungsjahr: 1989
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 000 Allgemeines, Wissenschaft
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: A many sorted logic is presented, which supports partial functions as well as potentially empty sorts and the dynamic derivation of sort information. In this so called DSPF-logic1 (Dynamic Sorts and Partial Functions), the specification of the sort structure and the declarations for constant and function symbols are part of the formulae themselves. Therefore sort information needs not necessarily be known from the beginning but can be deduced from other information. Nevertheless the resolution calculus which is presented is almost as restrictive as in logics with static sort information.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-405006
hdl:20.500.11880/37705
http://dx.doi.org/10.22028/D291-40500
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 89,23
Datum des Eintrags: 24-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



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.