Results 231 to 240 of about 324,780 (301)
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
+5 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
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 +2 more sources
Methods for restoring consistency in probabilistic knowledge bases
, 2022 Van Tham Nguyen +2 more
openalex +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Consistency enforcement in medical knowledge base construction
Artificial Intelligence in Medicine, 1993Some aspects of knowledge base creation can be partially or completely automated, resulting in higher quality and smaller effort. Computer assistance is particularly valuable in ensuring the internal consistency of a knowledge base. The article describes several techniques for consistency enforcement in QMR-KAT, an interactive knowledge base editor for
D A, Giuse, N B, Giuse, R A, Miller
openaire +2 more sources
Database — Knowledge Base Consistency Monitor
1990Expert systems composed of a database and a knowledge base, which cooperate, are considered. In such systems mutual consistency of the database and the knowledge base must be enforced. A consistency monitor is proposed for this purpose, whose task is double: to enforce internal consistency of the database and mutual consistency of the database and the ...
Cellary, W. +4 more
openaire +1 more source
Rule-based consistency enforcement for knowledge-based systems
IEEE Transactions on Knowledge and Data Engineering, 1993A rule-based approach for the automatic enforcement of consistency constraints is presented. In contrast to existing approaches that compile consistency checks into application programs, the approach centralizes consistency enforcement in a separate module called a knowledge-base management system.
C.F. Eick, P. Werstein
openaire +1 more source
Minimal and consistent evolution of knowledge bases
Journal of Applied Non-Classical Logics, 1997ABSTRACT This work presents efficient algorithms to update knowledge bases in the presence of integrity constraints. The algorithms ensure that the changes to the knowledge bases are minimal. We use the deductive database paradigm to represent knowledge. Minimality is defined as a natural partial order over possible models of the database and expresses
Jorge Lobo, Goce Trajcevski
openaire +1 more source
ACQUA: Approximate Consistent Query Answering Over Inconsistent Knowledge Bases
2019 IEEE Second International Conference on Artificial Intelligence and Knowledge Engineering (AIKE), 2019Consistent query answering is a principled approach for querying inconsistent knowledge bases. It relies on two central notions: a repair, that is, a maximal consistent subset of the facts in the knowledge base, and a consistent query answer, that is, a query answer entailed by every repair of the knowledge base.
Fiorentino N. +3 more
openaire +2 more sources