Verification of a Rule-Based Expert System by Using SAL Model Checker

Siregar, Maria Ulfah Verification of a Rule-Based Expert System by Using SAL Model Checker. In: ICICoS 2019.

WarningThere is a more recent version of this item available.
[img]
Preview
Text (Verification of a Rule-Based Expert System by Using SAL Model Checker)
PID6235155.pdf - Published Version

Download (419kB) | Preview

Abstract

Verification of a rule-based expert system ensures that the knowledge base of the expert system is logically correct and consistent. Application of verification into a rule-based expert system is one approach to integrate software engineering methodology and knowledge base system. The expert system, which we has built, is a rule-based system developed by using forward chaining method and Dempster-Shafer theory of belief functions or evidence. We use Z language as the modelling language for this expert system and SAL model checker as the verification tool. To be able to use SAL model checker, Z2SAL will translate the Z specification, which models the system. In this paper, we present some parts of our Z specification that represent some parts of our rule-based expert system. We also present some parts of our SAL specification and theorems that we added to this SAL specification. At the last, we present the usage of SAL model checker over these theorems. Based on these model-checking processes, we argue that the results are expected. This means that each of theorems can be model checked and the outputs of those model checking are the same as the outputs that we obtain from manual investigation; either it is VALID or INVALID. Other interpretation of the model check’s results is some parts of our rule-based expert system have been verified.

Item Type: Conference or Workshop Item (Paper)
Subjects: Tehnik Informatika
Divisions: Artikel (Terbitan Luar UIN)
Depositing User: Maria Ulfah Siregar S.Kom. MIT., Ph.D.
Date Deposited: 21 May 2020 07:21
Last Modified: 21 May 2020 07:21
URI: http://digilib.uin-suka.ac.id/id/eprint/39307

Available Versions of this Item

Share this knowledge with your friends :

Actions (login required)

View Item View Item
Chat Kak Imum