An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics

Authors:
Yue Ma;Guilin Qi;Pascal Hitzler;Zuoquan Lin
Affiliations:
Department of Information Science, Peking University, China and Institute AIFB, Universität Karlsruhe, Germany;Institute AIFB, Universität Karlsruhe, Germany;Institute AIFB, Universität Karlsruhe, Germany;Department of Information Science, Peking University, China
Venue:
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Year:
2007

Citing 9
Cited 3

Tractable reasoning via approximation

Artificial Intelligence
The value of the four values

Artificial Intelligence
Measuring inconsistency in knowledge via quasi-classical models

Eighteenth national conference on Artificial intelligence
How to act on inconsistent news: ignore, resolve, or reject

Data & Knowledge Engineering
Measuring inconsistency in knowledgebases

Journal of Intelligent Information Systems
Measuring Inconsistencies in Ontologies

ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics

ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Quantifying information and contradiction in propositional logic through test actions

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Measuring inconsistency in requirements specifications

ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures

ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Dealing with Inconsistencies in DL-Lite Ontologies

ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
An Anytime Algorithm for Computing Inconsistency Measurement

KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

Measuring inconsistency in knowledge bases has been recognized as an important problem in many research areas. Most of approaches proposed for measuring inconsistency are based on paraconsistent semantics. However, very few of them provide an algorithm for implementation. In this paper, we first give a four-valued semantics for first-order logic and then propose an approach for measuring the degree of inconsistency based on this four-valued semantics. After that, we propose an algorithm to compute the inconsistency degree by introducing a new semantics for first order logic, which is called S[n]-4 semantics.