Please use this identifier to cite or link to this item: doi:10.22028/D291-25057
Title: An environment for exploring and validating declarative knowledge
Author(s): Abecker, Andreas
Boley, Harold
Hinkelmann, Knut
Wache, Holger
Schmalhofer, Franz
Language: English
Year of Publication: 1995
OPUS Source: Kaiserslautern ; Saarbrücken : DFKI, 1995
SWD key words: Künstliche Intelligenz
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: We discuss the extended LP environment of the project VEGA (knowledge validation and exploration by global analysis), a toolbox that supports the development and maintenance of declarative knowledge bases. The knowledge is represented in a declarative language that merges Horn logic with finite domains, sort hierarchies, functions, and integrity constraints. These KBs may contain problem-solving knowledge, ontologies, and cases. The VEGA environment includes tools that take into account these different kinds of knowledge to ensure the integrity of the knowledge base during its entire life-time. Besides such knowledge-validation components, VEGA provides for the interactive exploration of knowledge by inductive components, e.g. a generator of rules from facts. VEGA also allows to link foreign tools, and is thus an open architecture. The tools can be synergetically configured by visual programming. Knowledge validation can for example be performed on the output of knowledge exploration.
Link to this record: urn:nbn:de:bsz:291-scidok-38994
Series name: Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071]
Series volume: 95-03
Date of registration: 8-Jul-2011
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 SizeFormat 
TM_95_03.pdf256,67 kBAdobe PDFView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.