Artificial Intelligence
Belief structures, possibility theory and decomposable confidence measures on finite sets
Computers and Artificial Intelligence
A logic to reason about likelihood
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Paraconsistent logic programming
Theoretical Computer Science
Bilattices and the semantics of logic programming
Journal of Logic Programming
Epistemic entrenchment and possibilistic logic
Artificial Intelligence
Inconsistency in possibilistic knowledge bases: to live with it or not live with it
Fuzzy logic for the management of uncertainty
A modal analysis of possibility theory
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
Graded Logics: A Framework for Uncertain and Defeasible Knowledge
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
Abduction in Labelled Deductive Systems - A Conceptual Abstract
ECSQAU Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Logic of Approximation Reasoning
CSL '87 Proceedings of the 1st Workshop on Computer Science Logic
Revisions of knowledge systems using epistemic entrenchment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Theorem proving under uncertainty: a possibility theory-based approach
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Parameter structures for parametrized modal operators
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Propagation of preference relations in qualitative inference networks
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
Experts do not always feel very comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical formulas. Uncertain information is expressed by means of parameterized modal operators. We propose a semantics for this multimodal logic and give a sound and complete axiomatization. We study the links with related approaches and suggest how this framework might be used to manage both uncertain and incomplete knowledge.