Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-24856
Titel: | Combining terminological and rule-based reasoning for abstraction processes |
VerfasserIn: | Hanschke, Philipp Hinkelmann, Knut |
Sprache: | Englisch |
Erscheinungsjahr: | 1992 |
Quelle: | Kaiserslautern ; Saarbrücken : DFKI, 1992 |
Kontrollierte Schlagwörter: | Künstliche Intelligenz Terminologische Sprache Computerlinguistik CAD |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | Terminological reasoning systems directly support the abstraction mechanisms generalization and classification. But they do not bother about aggregation and have some problems with reasoning demands such as concrete domains, sequences of finite but unbounded size and derived attributes. The paper demonstrates the relevance of these issues in an analysis of a mechanical engineering application and suggests an integration of a forward-chaining rule system with a terminological logic as a solution to these problems. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-36092 hdl:20.500.11880/24912 http://dx.doi.org/10.22028/D291-24856 |
Schriftenreihe: | Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x] |
Band: | 92-40 |
Datum des Eintrags: | 27-Mai-2011 |
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 | |
---|---|---|---|---|
RR_92_40.pdf | 9,55 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.