Results 251 to 260 of about 315,857 (305)

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

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, 2002
The 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, Miller T, Felli P, Pearce AR, Sonenberg L   +4 more
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

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

International Journal of Intelligent Systems, 2001
Summary: 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. However,
Brisoux, Laure, Grégoire, Éric, Saïs, Lakhdar   +2 more
openaire   +3 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

Consistency and error analysis of Prior-Knowledge-Based Kernel Regression

Neurocomputing, 2011
Incorporating prior knowledge (PK) into learning methods is an effective means to improve learning performance. The consistency and error theories of PK-based methods, which are of great theoretical importance, are still far from well established.
Zhi Sun, Zengke Zhang, Huangang Wang
openaire   +1 more source

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