Results 231 to 240 of about 1,190,358 (265)

A Knowledge Simplification of a Uncertain System Based on Information Consistency

Advanced Materials Research, 2011
Based 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

A method to check knowledge base consistency

1988
When developing expert systems, checking knowledge base consistency becomes more and more necessary. As it has been done in a Data Base Management System (DBMS), we propose to define along with the deductive rules, new relations to specify what is permitted and what is forbidden.
openaire   +2 more sources

Knowledge base approach to consistency management of UML specifications

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2005
The 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

Inductive consistency in knowledge-based decision support systems

Decision Support Systems, 1995
Abstract Efforts to integrate knowledge into Decision Support Systems have lead to approaches that incorporate induction techniques to derive rules from data. Such integration efforts create a new integrity control challenge for Knowledge-Based Decision Support Systems. The challenge is recognizing and coping with change.
Heidi D. Owens, Andrew Philippakis
openaire   +2 more sources

Checking depth-limited consistency and inconsistency in knowledge-based systems

International Journal of Intelligent Systems, 2001
In this paper, the use of local search to validate first-order knowledge-based systems is investigated. It is well known that such techniques can prove efficient in showing that consistency constraints do hold, at least in the propositional case. Powerful heuristics about the trace of local search allow proofs of inconsistency to be obtained as well ...
Brisoux, Laure, Grégoire, Éric, Saïs, Lakhdar   +2 more
openaire   +4 more sources

Knowledge-Based Description Logic ALCO Knowledge Compiled Algorithm to Determine Consistency

Advanced Materials Research, 2012
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which reasoning can be answered efficiently. The precompilation of description logic knowledge base is important for reasoning and services of description logic.
Ya Qiong Jiang, Jun Wang
openaire   +2 more sources

ACQUA: Approximate Consistent Query Answering Over Inconsistent Knowledge Bases

2019 IEEE Second International Conference on Artificial Intelligence and Knowledge Engineering (AIKE), 2019
Consistent 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., Greco S., Molinaro C., Trubitsyna I.   +3 more
openaire   +3 more sources

Maintaining consistency in a robot's knowledge-base via diagnostic reasoning

AI Communications, 2013
Non-deterministic reality is a severe challenge for autonomous robots. Malfunctioning actions, inaccurate sensor perception and exogenous events easily lead to inconsistencies between an actual situation and the internal knowledge-base encoding a robot's belief.
Michael Reip, Stephan Gspandl, Ingo Pill, Gerald Steinbauer   +3 more
openaire   +2 more sources

Knowledge base maintenance and consistency checking in MOLTKE/HyDi

1992
This paper deals with special problems of knowledge base maintenance which have to be solved within the knowledge acquisition process. We illustrate that aspects of maintenance must be taken into account by the design model construction because dependencies between pieces of knowledge can result in inconsistent states of a knowledge base. We describe a
openaire   +2 more sources

Methods for restoring consistency in probabilistic knowledge bases

, 2022
Van Tham Nguyen, Ngoc Thanh Nguyên, Trong Hieu Tran   +2 more
openalex   +1 more source