Artificial Intelligence
Artificial Intelligence
International Journal of Man-Machine Studies
Quantitative deduction and its fixpoint theory
Journal of Logic Programming
Belief structures, possibility theory and decomposable confidence measures on finite sets
Computers and Artificial Intelligence
The implementation of fprolog—a fuzzy prolog interpreter
Fuzzy Sets and Systems
Evidential support logic programming
Fuzzy Sets and Systems
Resolution principles in possibilistic logic
International Journal of Approximate Reasoning
Programming in possibilistic logic
International Journal of Expert Systems
A logic of graded possibility and certainty coping with partial inconsistency
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
Probabilistic reasoning in logic programming
Methodologies for intelligent systems, 5
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
Fuzzy Logic and the Resolution Principle
Journal of the ACM (JACM)
ECAI '90 Workshop on Truth Maintenance Systems
A modal analysis of possibility theory
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
Logical representation and computation of optimal decisions in a qualitative setting
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Likelog: a logic programming language for flexible data retrieval
Proceedings of the 1999 ACM symposium on Applied computing
Distributed and Parallel Databases
Nonmonotonic reasoning for adaptive information filtering
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification
Annals of Mathematics and Artificial Intelligence
Towards a Possibilistic Logic Handling of Preferences
Applied Intelligence
The Knowledge Engineering Review
Quasi-possibilistic logic and its measures of information and conflict
Fundamenta Informaticae
Using arguments for making decisions: a possibilistic logic approach
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
A Tableau Algorithm for Possibilistic Description Logic $\mathcal{ALC}$
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Dynamic inference control in privacy preference enforcement
Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services
Explaining qualitative decision under uncertainty by argumentation
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
A Model Based on Possibilistic Certainty Levels for Incomplete Databases
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Towards a possibilistic logic handling of preferences
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Possibility theory as a basis for qualitative decision theory
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Algorithms for possibility assessments: Coherence and extension
Fuzzy Sets and Systems
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
A complete calculus for possibilistic logic programming with fuzzy propositional variables
UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence
Practical model-based diagnosis with qualitative possibilistic uncertainty
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Argumentative inference in uncertain and inconsistent knowledge bases
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Possibilistic inductive logic programming
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On the combination of logical and probabilistic models for information analysis
Applied Intelligence
Auditing and inference control for privacy preservation in uncertain environments
EuroSSC'06 Proceedings of the First European conference on Smart Sensing and Context
Quasi-Possibilistic Logic and its Measures of Information and Conflict
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Using Possibilistic Logic for Modeling Qualitative Decision: ATMS-based Algorithms
Fundamenta Informaticae
Hi-index | 0.00 |
An approach to automated deduction under uncertainty, based on possibilistic logic, is described; for that purpose we deal with clauses weighted by a degree that is a lower bound of a necessity or a possibility measure, according to the nature of the uncertainty. Two resolution rules are used for coping with the different situations, and the classical refutation method can be generalized with these rules. Also, the lower bounds are allowed to be functions of variables involved in the clauses, which results in hypothetical reasoning capabilities. In cases where only lower bounds of necessity measures are involved, a semantics is proposed in which the completeness of the extended resolution principle is proved. The relation between our approach and the idea of minimizing abnormality is briefly discussed. Moreover, deduction from a partially inconsistent knowledge base can be managed in this approach and captures a form of nonmonotonicity.