Using the Event-B Formal Method and the Rodin Framework for Verification the Knowledge Base of an Rule-Based Expert System

Autor:	Costin Badica, Marius Brezovan
Rok vydání:	2017
Předmět:	Correctness business.industry Computer science Legal expert system computer.software_genre Formal methods Expert system Consistency (database systems) Knowledge base Forward chaining Data mining business Software engineering computer Verification and validation
Zdroj:	Advances in Intelligent Systems and Computing ISBN: 9783319641607 Synergies Between Knowledge Engineering and Software Engineering
DOI:	10.1007/978-3-319-64161-4_6
Popis:	Verification and validation of a knowledge base of an expert systems are distinct activities that allow to increase the quality and reliability of these systems. While validation ensures the compliance of a developed knowledge base with the initial requirements, the verification ensures that the knowledge base is logically consistent. Our work is focused on the verification activity, which is a difficult task that mainly consists in determination of potential structural errors of the knowledge base. More exactly, we aimed to study the consistency of knowledge bases of rule-based expert systems that use the forward chaining inference, a very important aspect in the verification activity, among others, such as completeness and correctness. We use Event-B as a modelling language because it has a mathematical background that allows to model a dynamic system by specifying its static and dynamic properties. In addition we use the Rodin platform, a support tool for Event-B, which allows to verify the correctness of the specified systems and its properties. For a better understanding of our method, an example written in the CLIPS language is presented in the paper.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3675119fceebd177f6262f8bcbd17110 https://doi.org/10.1007/978-3-319-64161-4_6 Zobrazit plný text záznamu