48 search results - page 1 / 10 » On Anytime Coherence-Based Reasoning |
ECSQARU
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...
ECSQARU
1997
Springer
13 years 9 months ago
1997
Springer
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
We introduce in this paper an agent model based on coherence theory. We give a formalization of Thagard’s theory on coherence and use it to explain the reasoning process of an in...
JELIA
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
KR
2000
Springer
13 years 8 months ago
2000
Springer
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...