Results 221 to 230 of about 1,190,358 (265)
Some of the next articles are maybe not open access.
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 +2 more sources
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
Dario A. Giuse +2 more
openaire +3 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 +2 more sources
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.
Christoph F. Eick, P. Werstein
openaire +2 more sources
An Algorithm to Belief Revision and to Verify Consistency of a Knowledge Base
IEEE Latin America Transactions, 2021The belief revision process involves several problems considered hard. One of the crucial problems is how to represent to the knowledge base K to consider, as well as how to represent and to add new information , which may even be contradictory to the knowledge base.
Pedro Bello López +1 more
openaire +2 more sources
Checking the consistency of a hybrid knowledge base system
Knowledge-Based Systems, 2007This paper concerns a method to verify the consistency of a hybrid knowledge base system. We assume the knowledge base of the verified system supports the representation of production rules and frame taxonomies. Moreover, the knowledge base can also be used to represent non-monotonic and uncertain reasoning. For the purpose of the verification, an ATMS
Angélica de Antonio, Jaime Ramírez
openaire +2 more sources
Retaining Consistency for Knowledge-Based Security Testing [PDF]
, 2014 Testing of software and systems requires a set of inputs to the system under test as well as test oracles for checking the correctness of the obtained output. In this paper we focus on test oracles within the domain of security testing, which require consistent knowledge of security policies.
Severin Winkler +4 more
openaire +1 more source
Knowledge-base/database consistency in a federated multidatabase environment
Proceedings RIDE-IMS `93: Third International Workshop on Research Issues in Data Engineering: Interoperability in Multidatabase Systems, 2002The paper describes a new approach to maintaining consistency between objects which reside in dynamic, shared databases and copies of those objects which are cached in application knowledge-bases. The approach relies on an intelligent interface to active databases, a mediator for approximate consistency (MAC).
L. Kerschberg, L.J. Seligman
openaire +2 more sources
efficient reasoning with consistent proper epistemic knowledge bases [PDF]
, 2015 Reasoning about the nested beliefs or knowledge of other agents is essential for many collaborative and competitive tasks. However, reasoning with nested belief (for example through epistemic logics) is computationally expensive. Proper Epistemic Knowledge Bases (PEKBs) address this by enforcing syntactic restrictions on the knowledge base.
Muise C +4 more
openaire +2 more sources