Sökning: "petter fogelqvist"

Hittade 1 uppsats innehållade orden petter fogelqvist.

  1. 1. Verification of completeness and consistency in knowledge-based systems : A design theory

    Master-uppsats, Uppsala universitet/Informationssystem

    Författare :Petter Fogelqvist; [2011]
    Nyckelord :verification; completeness; consistency; software quality; design; design theory; knowledge-base; rule-based systems; inexact-reasoning; certainty factor; kunskapsbaserade system; kvalitet; regler; design teori; kunskapsbas; regelbaserade system; säkerhetsfaktor; verifiering; verifikation;

    Sammanfattning : 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. LÄS MER