Results 1 - 10 of 109,864

Argumentative Inference in Uncertain and Inconsistent Knowledge Bases

by Salem Benferhat, Didier Dubois, Henri Prade - In Proceedings of Uncertainty in Artificial Intelligence , 1993
"... : This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation, taking into account the existence of consistent arguments in favor of a conclusion and the absence of consistent arguments in favor of its contrary, is ..."
Abstract - Cited by 90 (3 self) - Add to MetaCart
: This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation, taking into account the existence of consistent arguments in favor of a conclusion and the absence of consistent arguments in favor of its contrary

Query failure explanation in inconsistent knowledge bases using . . .

by Abdallah Arioua, Nouredine Tamani, Madalina Croitoru, Patrice Buche - IN RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XXXI , 2014
"... We address the problem of explaining Boolean Conjunctive Query (BCQ) failure in the presence of inconsistency within the Ontology-Based Data Access (OBDA) setting, where inconsistency is handled by the intersection of closed repairs seman-tics (ICR) and the ontology is represented by Datalog+/- rule ..."
Abstract - Cited by 4 (4 self) - Add to MetaCart
We address the problem of explaining Boolean Conjunctive Query (BCQ) failure in the presence of inconsistency within the Ontology-Based Data Access (OBDA) setting, where inconsistency is handled by the intersection of closed repairs seman-tics (ICR) and the ontology is represented by Datalog

An Algorithmic Approach to Recover Inconsistent Knowledge-bases

by Ofer Arieli - Logics in Artificial Intelligence, European Workshop, JELIA 2000 , 1919
"... . We consider an algorithmic approach for revising inconsistent data and restoring its consistency. This approach detects the "spoiled" part of the data (i.e., the set of assertions that cause inconsistency), deletes it from the knowledge-base, and then draws classical conclusions from ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
. We consider an algorithmic approach for revising inconsistent data and restoring its consistency. This approach detects the "spoiled" part of the data (i.e., the set of assertions that cause inconsistency), deletes it from the knowledge-base, and then draws classical conclusions

Improving the performance of inconsistent knowledge bases via combined optimization method

by Yong Ma, David C. Wilkins - In Proceedings of the Eighth International Workshop on Machine Learning , 1991
"... yongma&s.uiuc.edu One of the important issues when design-ing effective expert systems is the valida-tion and refinement of the acquired knowl-edge bases. The validation and refinement problem becomes more important and more difficult when the knowledge bases of expert systems consist of uncerta ..."
Abstract - Cited by 9 (0 self) - Add to MetaCart
of uncertain rules, e.g., prob-abilistic rules. In this paper, we first de-scribe one type of inconsistency of knowl-edge bases called sociopathicity and summa-rize some results. We then develop the Com-bined Optimization Method to debug incon-sistent knowledge bases. This method uti-lizes the static

Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study - Part 1: The flat case

by Salem Benferhat, Didier Dubois, Henri Prade
"... This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argued consequence relation, taking into account the existence of consistent arguments in favour of a conclusion and the absence of consistent arguments in favour of its contrary, is partic ..."
Abstract - Cited by 87 (13 self) - Add to MetaCart
This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argued consequence relation, taking into account the existence of consistent arguments in favour of a conclusion and the absence of consistent arguments in favour of its contrary

A Paraconsistent Logic Programming Approach for Querying Inconsistent Knowledge Bases

by Sandra De Amo
"... When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integration allows keeping inconsistent information and reasoning in its presence. In this paper, we use a paraconsistent logic ( ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integration allows keeping inconsistent information and reasoning in its presence. In this paper, we use a paraconsistent logic

A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge-Bases

by Ofer Arieli, Arnon Avron - Journal of Automated Reasoning , 1999
"... One of the most significant drawbacks of classical logic is its being useless in the presence of an inconsistency. Nevertheless, the classical calculus is a very convenient framework to work with. In this work we propose means for drawing conclusions from systems that are based on classical logic, a ..."
Abstract - Cited by 9 (1 self) - Add to MetaCart
, although the information might be inconsistent. The idea is to detect those parts of the knowledge-base that "cause" the inconsistency, and isolate the parts that are "recoverable". We do this by temporarily switching into Ginsberg/Fitting multi-valued framework of bilattices (which

Working Knowledge

by Thomas Davenport, Laurence Prusak, Gary Wills, Harith Alani, Ronald Ashri, Richard Crowder, Yannis Kalfoglou, Sanghee Kim , 1998
"... While knowledge is viewed by many as an asset, it is often difficult to locate particular items within a large electronic corpus. This paper presents an agent based framework for the location of resources to resolve a specific query, and considers the associated design issue. Aspects of the work ..."
Abstract - Cited by 527 (0 self) - Add to MetaCart
While knowledge is viewed by many as an asset, it is often difficult to locate particular items within a large electronic corpus. This paper presents an agent based framework for the location of resources to resolve a specific query, and considers the associated design issue. Aspects of the work

Maintaining knowledge about temporal intervals

by James F. Allen - COMMUNICATION OF ACM , 1983
"... The problem of representing temporal knowledge arises in many areas of computer science. In applications in which such knowledge is imprecise or relative, current representations based on date lines or time instants are inadequate. An interval-based temporal logic is introduced, together WiUl a comp ..."
Abstract - Cited by 2942 (13 self) - Add to MetaCart
The problem of representing temporal knowledge arises in many areas of computer science. In applications in which such knowledge is imprecise or relative, current representations based on date lines or time instants are inadequate. An interval-based temporal logic is introduced, together WiUl a

Yago: A Core of Semantic Knowledge

by Fabian M. Suchanek, Gjergji Kasneci, Gerhard Weikum - IN PROC. OF WWW ’07 , 2007
"... We present YAGO, a light-weight and extensible ontology with high coverage and quality. YAGO builds on entities and relations and currently contains roughly 900,000 entities and 5,000,000 facts. This includes the Is-A hierarchy as well as non-taxonomic relations between entities (such as hasWonPrize ..."
Abstract - Cited by 504 (66 self) - Add to MetaCart
WonPrize). The facts have been automatically extracted from the unification of Wikipedia and WordNet, using a carefully designed combination of rule-based and heuristic methods described in this paper. The resulting knowledge base is a major step beyond WordNet: in quality by adding knowledge about individuals like
Results 1 - 10 of 109,864