299 search results - page 9 / 60 » A General Framework for Reasoning about Inconsistency |
IJAR
2008
13 years 7 months ago
2008
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
AAAI
1994
13 years 9 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
KR
2004
Springer
14 years 27 days ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
KR
2004
Springer
14 years 27 days ago
2004
Springer
In this paper, a new method for merging multiple inconsistent knowledge bases in the framework of possibilistic logic is presented. We divide the fusion process into two steps: on...
RSFDGRC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...