Sciweavers

47 search results - page 3 / 10
» Logical Bilattices and Inconsistent Data
Sort
View
RSFDGRC
2005
Springer
122views Data Mining» more  RSFDGRC 2005»
14 years 26 days ago
Ordered Belief Fusion in Possibilistic Logic
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...
Churn-Jung Liau
RSCTC
2000
Springer
139views Fuzzy Logic» more  RSCTC 2000»
13 years 11 months ago
Application of Normalized Decision Measures to the New Case Classification
The optimization of rough set based classification models with respect to parameterized balance between a model's complexity and confidence is discussed. For this purpose, the...
Dominik Slezak, Jakub Wroblewski
FMSD
2006
77views more  FMSD 2006»
13 years 7 months ago
Data structures for symbolic multi-valued model-checking
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Al...
ICTAI
1996
IEEE
13 years 11 months ago
Automatic Diagnoses for Properly Stratified Knowledge-Bases
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...
Ofer Arieli, Arnon Avron
IDEAS
2003
IEEE
122views Database» more  IDEAS 2003»
14 years 20 days ago
Preferred Repairs for Inconsistent Databases
The objective of this paper is to investigate the problems related to the extensional integration of information sources. In particular, we propose an approach for managing incons...
Sergio Greco, Cristina Sirangelo, Irina Trubitsyna...