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öße | Format | |
---|---|---|---|---|
SEKI-Working-Paper-SWP-87-10_Forster_Extending-the-WARREN-Abstract-Machine-to-Feature-Prolog.pdf | 23,54 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.