Results 211 to 220 of about 1,190,358 (265)
Method for Restoring Consistency in Probabilistic Knowledge Bases [PDF]
Cybernetics and Systems, 2018 ABSTRACTEnsuring consistency of knowledge systems is always one of the essential requirements because, without it, most of these systems become useless. Because of the importance, many studies have involved the restoration of consistency in knowledge systems.
Van Tham Nguyen +3 more
openalex +2 more sources
On the consistency of knowledge bases: the COVADIS system
Computational Intelligence, 1988 It is currently thought in the knowledge‐based systems (KBS) domain that sophisticated tools are necessary for helping an expert with the difficult task of knowledge acquisition. The problem of detecting inconsistencies is especially crucial. The risk of inconsistencies increases with the size of the knowledge base; for large knowledge bases, detecting
Marie‐Christine Rousset
+4 more sources
Probabilistic consistency of knowledge bases in inference systems
, 2005 We consider a probabilistic knowledge base represented by a conditional probability assessment on an arbitrary finite family of conditional events. Following the approach of de Finetti to conditional events, we use the concept of generalized atom to introduce a suitable matrix representing the truth values of the given conditional events.
Angelo Gilio
openalex +4 more sources
Retaining Consistency in Temporal Knowledge Bases
, 2006 Retaining consistency for large knowledge bases is a difficult task. This holds especially in the case where the knowledge base comprise temporal knowledge and where the knowledge comes from independent and unreliable sources. In this paper we propose the use of temporal logics, i.e., CTL, to describe the background theory and the corresponding Kripke ...
Franz Wotawa, Bibiane Angerer
openalex +3 more sources
A Finely-Interleaved Consistency Checking Method for Knowledge-bases
International Journal on Artificial Intelligence Tools, 1995 An efficient method to determine consistency in a knowledge-base is described. The traditional generation and evaluation steps are interleaved to compute the differences between two consecutive knowledge-base states. The method employs an optimized update propagation algorithm to improve efficiency.
John V. Harrison
openalex +3 more sources
A method for checking and restoring the consistency of knowledge bases
International Journal of Human-Computer Studies, 1994 The arrival of knowledge-based systems in industrial sectors requires specific software engineering, sometimes known as knowledge engineering. A good criterion to validate a knowledge-based system is to check its consistency. In this paper, a distinction between sure and heuristic knowledge is proposed.
Stéphane Loiseau
openalex +2 more sources
Checking several forms of consistency in nonmonotonic knowledge-bases
, 1997 In this paper, a new method is introduced to check several forms of logical consistency in nonmonotonic knowledge-bases (KBs). The knowledge representation language under consideration is full propositional logic, using “Abnormal” propositions to be minimized. Basically, the method is based on the use of local search techniques for SAT.
Bertrand Mazure +2 more
openalex +5 more sources
Improving Consistency Within Knowledge Bases
, 1990 This paper shows how automatic symbolic classification of all knowledge objects in a knowledge base can alleviate the task of knowledge acquisition. It presents a knowledge representation structure, called knowledge space, that permits such symbolic classification. Simple and efficient algorithms which create the structure are also presented1.
Guy W. Mineau, J. Gecsei, Robert Godin
openalex +3 more sources
Consistency of test cases in validation of Bayesian knowledge-bases
16th IEEE International Conference on Tools with Artificial Intelligence, 2005 Knowledge validation is a vital phase in knowledge engineering which is ultimately aimed at correcting the knowledge-base such that when inferenced over, it satisfy all test cases specified by the expert users. Naturally, such a goal is unachievable if there is some contradiction in the given set of test cases. In this work, we analyze this property of
Eugene Santos, Hieu Dinh
openalex +3 more sources
Transformation approach for consistency in object-oriented knowledge bases
ACM SIGART Bulletin, 1989 A knowledge base is consistent if all its data, information, or knowledge (regardless they are stored in database or implied by inference engine) satisfy the predefined constraints which represent a real world rules or restrictions.
Hsin-Hsen Yao, Hwa Soo Kim
openalex +3 more sources