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 |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Report-SR-89-23_Weidenbach_A-Resolution-Calculus-with-Dynamic-Sort-Structures-and-Partial-Functions.pdf | 36,25 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.