Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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
Identifiers
URN: urn:nbn:se:uu:diva-168321OAI: oai:DiVA.org:uu-168321DiVA: diva2:494817
Subject / course
Information Systems
Educational program
Master programme in Information Systems
Presentation
2011-12-16, Ekonomikum, Kyrkogårdsgatan 10, Uppsala, 16:07 (English)
Uppsok
Social and Behavioural Science, Law
Supervisors
Examiners
Available from: 2012-02-15 Created: 2012-02-08 Last updated: 2012-02-15Bibliographically approved

Open Access in DiVA

fulltext(2340 kB)1025 downloads
File information
File name FULLTEXT01.pdfFile size 2340 kBChecksum SHA-512
88bc0423d20aaadf2157a21471a1bbe56826fd0482b0be505818c68b29d050bf1ce67b2df5d1a80e18bfb847b5c39a8a363418ac9fbe354832f82556d74f0bf9
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: 1025 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

urn-nbn

Altmetric score

urn-nbn
Total: 1186 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf