Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-40421
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Report-SR-91-10_Maurer_Knowledge-Base-Maintenance-and-Consistency-Checking-in-MOLTKE.pdf | 1,5 MB | Adobe PDF | Öffnen/Anzeigen |
Titel: | Knowledge Base Maintenance and Consistency Checking in MOLTKE |
VerfasserIn: | Maurer, Frank |
Sprache: | Englisch |
Erscheinungsjahr: | 1991 |
Erscheinungsort: | Kaiserslautern |
Freie Schlagwörter: | knowledge acquisition knowledge maintenance consistency checking expert system |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | This paper deals with special problems of knowledge base maintenance which have to be solved within the knowledge acquisition process. We illustrate that aspects of maintenance must be taken into account by the design model construction because dependencies between pieces of knowledge can result in inconsistent states of a knowledge base. We describe a Knowledge Dependency Network which extends ideas from truth maintenance systems to detect and manage these inconsistencies. The network allows formal definitions of inconsistency conditions and checks them automatically preserving the integrity of the knowledge base. As a fundamental part of the acquisition and maintenance environment the knowledge dependency network supports the conventional development and editing of a knowledge base. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-404217 hdl:20.500.11880/36426 http://dx.doi.org/10.22028/D291-40421 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 91,10 |
Datum des Eintrags: | 19-Sep-2023 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Professur: | SE - Sonstige |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.