Search

In this paper, we present a distance-based framework for DL-Lite based on the notion of features. Within this framework, we propose a distance-based paraconsistent semantics for DL-Lite where meaningful conclusions can be rationally drawn even from an inconsistent knowledge base and we develop a distance-based inconsistency measurement for DL-Lite to provide more informative metrics which can tell the differences between axioms causing inconsistency and among inconsistent knowledge. Furthermore, we investigate several important logical properties (e.g., consistency preservation, closure consistency, splitting property etc.) of the entailment relation based on the new semantics and show its advantages in non-monotonic reasoning for DL-Lite. Finally, we show that our two distance-based inconsistency measures are basic inconsistency measures where some good properties hold such as Free Axiom Independence and Dominance of inconsistency etc. [ABSTRACT FROM AUTHOR]

Probabilistic causal interaction models have become quite popular among Bayesian-network engineers as elicitation of all probabilities required often proves the main bottleneck in building a real-world network with domain experts. The best-known interaction models are the noisy-OR model and its generalisations. These models in essence are parameterised conditional probability tables for which just a limited number of parameter probabilities are required. The models assume specific properties of intercausal interaction and cannot be applied uncritically. Given their clear engineering advantages however, they are subject to ill-considered use. This paper demonstrates that such ill-considered use can result in poorly calibrated output probabilities from a Bayesian network. By studying, in an analytical way, the propagation effects of noisy-OR calculated probability values, we identify conditions under which use of the model can be harmful for a network's performance. These conditions demonstrate that use of the noisy-OR model for mere pragmatic reasons is sometimes warranted, even when the model's underlying assumptions are not met in reality. [ABSTRACT FROM AUTHOR]