Results 241 to 250 of about 315,857 (305)
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
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
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
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
A Knowledge Simplification of a Uncertain System Based on Information Consistency
Advanced Materials Research, 2011Based on knowledge equivalent classification of an uncertain system, from view of the knowledge coordinating relations and dependence of condition attributes and the decision attributes in an information universe，a new concept of information consistency of a database is presented to simplify knowledge of an uncertain system.
Huang Lin Zeng, Xiao Hui Zeng, Ling Zhou
openaire +2 more sources
Knowledge base approach to consistency management of UML specifications
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2005The use of the Unified Modelling Language (UML) during systems development has been growing in scale and complexity, often resulting in inconsistent specifications. We present a knowledge base goal-driven approach for consistency management of UML specifications represented as axioms which define goals.
A. Kozlenkov, Andrea Zisman
openaire +2 more sources