Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-25057
Titel: | An environment for exploring and validating declarative knowledge |
VerfasserIn: | Abecker, Andreas Boley, Harold Hinkelmann, Knut Wache, Holger Schmalhofer, Franz |
Sprache: | Englisch |
Erscheinungsjahr: | 1995 |
Quelle: | Kaiserslautern ; Saarbrücken : DFKI, 1995 |
Kontrollierte Schlagwörter: | Künstliche Intelligenz |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
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 zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-38994 hdl:20.500.11880/25113 http://dx.doi.org/10.22028/D291-25057 |
Schriftenreihe: | Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071] |
Band: | 95-03 |
Datum des Eintrags: | 8-Jul-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 | |
---|---|---|---|---|
TM_95_03.pdf | 256,67 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.