Possibility and necessity functions over non-classical logic

Authors:
Philippe Besnard;Jérôme Lung
Affiliations:
IRISA, Rennes Cedex;IRIT, Université Paul Sabatier, Toulouse Cedex, France
Venue:
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Year:
1994

Citing 14
Cited 3

Belief structures, possibility theory and decomposable confidence measures on finite sets

Computers and Artificial Intelligence
The principle of minimum specificity as a basis for evidential reasoning

Processing and Management of Uncertainty in Knowledge-Based Systems on Uncertainty in knowledge-based systems. International Conference on Information
Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
What does a conditional knowledge base entail?

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Epistemic entrenchment and possibilistic logic

Artificial Intelligence
Modal logics for qualitative possibility and beliefs

UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence
From ordering-based nonmonotonic reasoning to conditional logics

Artificial Intelligence
Possibilistic logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Can we enforce full compositionality in uncertainty calculi?

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning

TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Revisions of knowledge systems using epistemic entrenchment

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Preferred subtheories: an extended logical framework for default reasoning

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Inconsistency management and prioritized syntax-based entailment

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Possibilistic logic, preferential models, non-monotonicity and related issues

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

Quasi-Possibilistic Logic and its Measures of Information and Conflict

Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Belief functions on distributive lattices

Artificial Intelligence
A novel semantic quantitative description method based on possibilistic logic

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an integration of possibility theory into non-classical logics. We obtain many formal results that generalize the case where possibility and necessity functions are based on classical logic. We show how useful such an approach is by applying it to reasoning under uncertain and inconsistent information.