Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-43195
Titel: Extending the WARREN Abstract Machine to Feature Prolog
VerfasserIn: Forster, Peter
Sprache: Englisch
Erscheinungsjahr: 1987
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: Inheritance hierarchies are employed in knowledge representation and object-oriented programming in the sense of representing taxonomic information. Feature Prolog provides a useful tool to represent taxonomic information in Logic in a simple and natural way. In our approach, inheritance hierarchies are built-up from feature types, that are record-like structures, ordered by subtyping. The presence of feature types reduces the deduction tree and avoids unnecessary backtracking. In Feature Prolog there are feature terms besides the common Prolog terms - used to denote subsets of feature types. The integration of feature terms into the Prolog inference mechanism needs an extension of SLD-resolution with feature unification, that is unification respecting the taxonomic information of the feature types. We describe an extension of the abstract Prolog instruction set, known as WARREN Abstract Machine, for inheritance hierarchies.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-431951
hdl:20.500.11880/38750
http://dx.doi.org/10.22028/D291-43195
Schriftenreihe: SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931]
Band: 87,10
Datum des Eintrags: 17-Okt-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-Working-Paper-SWP-87-10_Forster_Extending-the-WARREN-Abstract-Machine-to-Feature-Prolog.pdf23,54 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.