Please use this identifier to cite or link to this item:
doi:10.22028/D291-25334
Title: | Eine homogene Implementierungsebene für einen hybriden Wissensrepräsentationsformalismus |
Author(s): | Herbig, Bernhard |
Language: | German |
Year of Publication: | 1993 |
SWD key words: | Künstliche Intelligenz |
Free key words: | artificial intelligence |
DDC notations: | 004 Computer science, internet |
Publikation type: | Report |
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 to this record: | urn:nbn:de:bsz:291-scidok-54881 hdl:20.500.11880/25390 http://dx.doi.org/10.22028/D291-25334 |
Series name: | Document / Deutsches Forschungszentrum für Künstliche Intelligenz : D [ISSN 0946-0098] |
Series volume: | 93-20 |
Date of registration: | 10-Sep-2013 |
Faculty: | SE - Sonstige Einrichtungen |
Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
File | Description | Size | Format | |
---|---|---|---|---|
D_93_20.pdf | 30,95 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.