Change search
ReferencesLink to record
Permanent link

Direct link
Verification of completeness and consistency in knowledge-based systems: A design theory
Uppsala University, Disciplinary Domain of Humanities and Social Sciences, Faculty of Social Sciences, Department of Informatics and Media, Information Systems.
2011 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Verification of knowledge-bases is a critical step to ensure the quality of a knowledge-based system. The success of these systems depends heavily on how qualitative the knowledge is. Manual verification is however cumbersome and error prone, especially for large knowledge-bases.

This thesis provides a design theory, based upon the suggested framework by Gregor and Jones (2007). The theory proposes a general design of automated verification tools, which have the abilities of verifying heuristic knowledge in rule-based systems utilizing certainty factors. Included is a verification of completeness and consistency technique customized to this class of knowledge-based systems.

The design theory is instantiated in a real-world verification tool development project at Uppsala University. Considerable attention is given to the design and implementation of this artifact – uncovering issues and considerations involved in the development process.

For the knowledge management practitioner, this thesis offers guidance and recommendations for automated verification tool development projects. For the IS research community, the thesis contributes with extensions of existing design theory, and reveals some of the complexity involved with verification of a specific rule-based system utilizing certainty factors.

Place, publisher, year, edition, pages
2011. , 74 p.
Keyword [en]
verification, completeness, consistency, software quality, design, design theory, knowledge-base, rule-based systems, inexact-reasoning, certainty factor
Keyword [sv]
kunskapsbaserade system, kvalitet, regler, design teori, kunskapsbas, regelbaserade system, säkerhetsfaktor, verifiering, verifikation
National Category
Information Systems, Social aspects
URN: urn:nbn:se:uu:diva-168321OAI: diva2:494817
Subject / course
Information Systems
Educational program
Master programme in Information Systems
2011-12-16, Ekonomikum, Kyrkogårdsgatan 10, Uppsala, 16:07 (English)
Social and Behavioural Science, Law
Available from: 2012-02-15 Created: 2012-02-08 Last updated: 2012-02-15Bibliographically approved

Open Access in DiVA

fulltext(2340 kB)943 downloads
File information
File name FULLTEXT01.pdfFile size 2340 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Fogelqvist, Petter
By organisation
Information Systems
Information Systems, Social aspects

Search outside of DiVA

GoogleGoogle Scholar
Total: 943 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 901 hits
ReferencesLink to record
Permanent link

Direct link