<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Verification of a Rule-Based Expert System\r\nby Using SAL Model Checker"^^ . "Verification of a rule-based expert system ensures\r\nthat the knowledge base of the expert system is logically correct\r\nand consistent. Application of verification into a rule-based expert\r\nsystem is one approach to integrate software engineering\r\nmethodology and knowledge base system. The expert system,\r\nwhich we has built, is a rule-based system developed by using\r\nforward chaining method and Dempster-Shafer theory of belief\r\nfunctions or evidence. We use Z language as the modelling\r\nlanguage for this expert system and SAL model checker as the\r\nverification tool. To be able to use SAL model checker, Z2SAL will\r\ntranslate the Z specification, which models the system. In this\r\npaper, we present some parts of our Z specification that represent\r\nsome parts of our rule-based expert system. We also present some\r\nparts of our SAL specification and theorems that we added to this\r\nSAL specification. At the last, we present the usage of SAL model\r\nchecker over these theorems. Based on these model-checking\r\nprocesses, we argue that the results are expected. This means that\r\neach of theorems can be model checked and the outputs of those\r\nmodel checking are the same as the outputs that we obtain from\r\nmanual investigation; either it is VALID or INVALID. Other\r\ninterpretation of the model check’s results is some parts of our\r\nrule-based expert system have been verified."^^ . . . . . . . . "Maria Ulfah"^^ . "Siregar"^^ . "Maria Ulfah Siregar"^^ . . . . "ICICoS 2019"^^ . . . . . . "Verification of a Rule-Based Expert System\r\nby Using SAL Model Checker (Text)"^^ . . . . . "PID6235155.pdf"^^ . . . "Verification of a Rule-Based Expert System\r\nby Using SAL Model Checker (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Verification of a Rule-Based Expert System\r\nby Using SAL Model Checker (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Verification of a Rule-Based Expert System\r\nby Using SAL Model Checker (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Verification of a Rule-Based Expert System\r\nby Using SAL Model Checker (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #39307 \n\nVerification of a Rule-Based Expert System \nby Using SAL Model Checker\n\n" . "text/html" . . . "Tehnik Informatika"@en . .