Article thumbnail
Location of Repository

Combining terminological and rule-based reasoning for abstraction processes

By Philipp Hanschke and Knut Hinkelmann

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

Topics: Künstliche Intelligenz, Terminologische Sprache, Computerlinguistik, CAD, Data processing Computer science
Publisher: Sonstige Einrichtungen. DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Year: 1992
OAI identifier: oai:scidok.sulb.uni-saarland.de:3609

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.