论文信息 - A Heuristic in Rules Based Systems for Searching of Inconsistencies

A Heuristic in Rules Based Systems for Searching of Inconsistencies

Abstract The aim of this work is to present heuristic algorithms in order to determine possible inconsistences of a knowledge base system (KBS). These algorithms will be based on the measure of an associated probability to the set of P complex formulations (set of single logic propositions) [J. L. Castro, J. M. Zurita, Information Sciences 74 (1993) 97–110]. Results will be assessed and further remarks concerning the valuation of the KBS will be considered.

Juan Luis Castro | Jose Manuel Zurita

[1] Nils J. Nilsson,et al. Probabilistic Logic * , 2022 .

[2] Henrik Legind Larsen,et al. Detection of potential inconsistencies in knowledge bases , 1992, Int. J. Intell. Syst..

[3] Fahiem Bacchus,et al. Representing and reasoning with probabilistic knowledge , 1988 .

[4] Enric Trillas,et al. The management of the inconsistency in expert systems , 1993 .

[5] Donald W. Barnes,et al. An Algebraic Introduction to Mathematical Logic , 1975 .

[6] Pedro Meseguer,et al. A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach , 1990, ECAI.

[7] Marie-Christine Rousset,et al. On the consistency of knowledge bases: the COVADIS system , 1988, Comput. Intell..

[8] Juan Luis Castro,et al. A heuristic in rules-based systems , 1993, Inf. Sci..

[9] Walton A. Perkins,et al. Checking an Expert Systems Knowledge Base for Consistency and Completeness , 1985, IJCAI.