DFKI Final Report-97-01

[Back]

FR-97-01



Sprache: Deutsch

by Harold Boley, Andreas Abecker, Knut Hinkelmann, Otto Kühn, Manfred Meyer, Harald Meyer auf'm Hofe, Franz Schmalhofer, Holger Wache

VEGA Knowledge Validation and Exploration by Global Analysis

140 Seiten

Zusammenfassung

Das VEGA-Projekt (Validierung und Exploration von Wissen durch globale Analyse) entwickelte Methoden und Techniken zur Evolution von deklarativen Wissensbanken. Hierzu wurden in Abstimmung aufeinander realisiert:

  1. Die deklarative Repräsentationssprache DRL, welche als sortierte Horn-Logik mit endlichen Domänen reich genug ist, um Evolutions-Resultate zu speichern, aber noch nicht zu komplex, um durch Evolutions-Algorithmen verarbeitet werden zu können.

  2. Das Wissensevolutionssystem KES, welches Algorithmen zur Validierung (z.B. Integritätsbedingungen) und zur Exploration (z.B. induktive logische Programmierung) kombiniert, um DRL-repräsentiertes Wissen interaktiv weiterentwickeln.

  3. Anwendungswissensbasen APPKLB, welche eine Überprüfung des DRL-KES-Zusammenspiels anhand von Wissensbasen über Produkt- und Produktionsplanung, Medikamentnebenwirkungen, Bilddiagnose und fahrerlose Transportsysteme erlauben.

Abstract

The VEGA project (Knowledge Validation and Exploration by Global Analysis) developed methods and techniques for the evolution of declarative knowledge bases. To this end the following were carried out:

  1. The declarative representation language DRL, which as a sorted Horn logic with finite domains, is rich enough to save evolution results, but not too complex to be processed by evolution algorithms.

  2. The knowledge evolution system KES, which combines algorithms for the validation (e.g. integrity clauses) and for evolution (e.g. inductive logic programming) in order to interactively maintain DRL represented knowledge.

  3. User knowledge bases APPLKB, which allow a check of the DRL-KES interaction from the knowledge bases on product and production planning, medication side effects, picture diagnosis and driverless transport systems.

Note:
This document is not available in printed form.

The next 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.