DFKI Document-93-21

[Back]

D-93-21



Sprache: Deutsch

by Dennis Drollinger

Intelligentes Backtracking in Inferenzsystemen am Beispiel Terminologischer Logiken

53 Seiten

Zusammenfassung

In der KI beschäftigt man sich zunehmend mit Terminologischen Logiken. Diese gehen auf einen logikbasierten Formalismus für Semantische Netze zurück, der von R. Brachman unter dem Name KL-ONE eingeführt wurde. In KL-ONE-basierten Systemen wird zwischen terminologischem und assertionalem Wissen unterschieden, indem für jede Komponente ein eigener Formalismus zur Verfügung steht. In der sogenannten TBOX wird das konzeptuelle Wissen beschrieben, während in der ABOX Instanzen von Konzepten gebildet werden können, die über Relationen miteinander verknüpft werden.

In den letzten Jahren lag der Schwerpunkt der Forschung im Bereich Terminologischer Logiken auf der Entwicklung vollständiger und effizienter Algorithmen für die Klassifikation, die den zentralen Inferenzdienst des TBOX-Reasoning darstellt. Heute kann man sagen, daß die Leistungsfähigkeit implementierter Systeme bezüglich des TBOX-Reasoning durchaus den Anforderungen genügt.

In den meisten Applikationen stellt jedoch das ABOX-Reasoning, die für den Einsatz als Tool oder Stand-Alone-System wesentlichen Inferenzdienste, zur Verfügung. Die bisher entwickelten vollständigen Algorithmen für das ABOX-Reasoning sind jedoch zu ineffizient, um sie in praktisch verwendbaren Systemen einsetzen zu können. Ursache dieser Ineffizienz ist die naive Behandlung der Disjunktionen, weshalb eine intelligente Behandlung dieser notwendig erscheint.

In der vorliegenden Arbeit wurde ein Verfahren entwickelt, das durch die Verwaltung von Abhängigkeiten und durch geeignete Kontrollmechanismen eine intelligente Backtrackingstrategie realisiert.

This document is available as PDF-File

The next abstract is here, and the previous abstract is here.

DFKI-Bibliothek (bib@dfki.uni-kl.de)

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.