Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-25334
Titel: | Eine homogene Implementierungsebene für einen hybriden Wissensrepräsentationsformalismus |
VerfasserIn: | Herbig, Bernhard |
Sprache: | Deutsch |
Erscheinungsjahr: | 1993 |
Kontrollierte Schlagwörter: | Künstliche Intelligenz |
Freie Schlagwörter: | artificial intelligence |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | Im Bereich des Constraint Logic Programming gibt es einen Ansatz, Constraint Formalismen explizit über sogenannte "Constraint Simplification Rules" zu implementieren. Daran anlehnend wird eine formale Grundlage geschaffen, die es erlaubt, Regeln zum Ersetzen und Erweitern von Basismengen zu definieren. Beim Versuch, mit Hilfe solcher Regeln den Inferenzmechanismus terminologischer Sprachen - den Konsistenztest für A-Boxen - zu implementieren, stößt man an die Grenzen des Formalismus. Die klare Formalisierung ermöglicht es aber, den Regelformalismus adäquat zu erweitern. Die Handhabung dieser Erweiterung wird an einer Reihe von ganz verschiedenen Beispielen demonstriert: der Konsistenztest für A-Boxen, logische Programme, lokale Konsistenz, Unifikation, Erfüllbarkeit von Ungleichungen. Ferner wird ein Abarbeitungsmechanismus definiert, dessen Implementation in COMMON LISP im Anhang vorgestellt wird. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-54881 hdl:20.500.11880/25390 http://dx.doi.org/10.22028/D291-25334 |
Schriftenreihe: | Document / Deutsches Forschungszentrum für Künstliche Intelligenz : D [ISSN 0946-0098] |
Band: | 93-20 |
Datum des Eintrags: | 10-Sep-2013 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
D_93_20.pdf | 30,95 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.