Results 221 to 230 of about 324,780 (301)
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 +2 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 +2 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 +2 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 +3 more sources
Method for Restoring Consistency in Probabilistic Knowledge Bases
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