✦ LIBER ✦

Resolution principles in possibilistic logic

✍ Scribed by Didier Dubois; Henri Prade

Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 918 KB
Volume: 4
Category: Article
ISSN: 0888-613X
DOI: 10.1016/0888-613x(90)90006-n

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Measuring information in possibilistic l

Measuring information in possibilistic logic

✍ Ronald R. Yager 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 180 KB 👁 1 views

We provide an overview of the theory of approximate reasoning and discuss the measurement of information in this reasoning system using specificity. It is then shown how to represent the binary propositional logic in the framework of approximate reasoning. Using the measure of specificity we show ho

Extending description logics with uncert

Extending description logics with uncertainty reasoning in possibilistic logic

✍ Guilin Qi; Qiu Ji; Jeff Z. Pan; Jianfeng Du 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 290 KB

Possibilistic logic provides a convenient tool for dealing with uncertainty and handling inconsistency. In this paper, we propose possibilistic description logics as an extension of description logics, which are a family of well-known ontology languages. We first give the syntax and semantics of pos

A split-combination approach to merging

A split-combination approach to merging knowledge bases in possibilistic logic

✍ Guilin Qi; Weiru Liu; David H. Glass; David A. Bell 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 690 KB

The permutation principle in quantificat

The permutation principle in quantificational logic

✍ Kit Fine 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 259 KB

The Leibniz principle in quantum logic

✍ Roberto Giuntini; Peter Mittelstaedt 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 462 KB

A superposition principle in quantum log

A superposition principle in quantum logics

✍ Sylvia Pulmannová 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 309 KB