Evidential support logic programming
Fuzzy Sets and Systems
International Journal of Approximate Reasoning
A fuzzy Prolog database system
A fuzzy Prolog database system
Fuzzy sets in approximate reasoning, part 1: inference with possibility distributions
Fuzzy Sets and Systems - Special memorial volume on foundations of fuzzy reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Fundamenta Informaticae
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
IEEE Transactions on Knowledge and Data Engineering
Efficient Interpretation of Propositional Multiple-valued Logic Programs
IPMU'94 Selected papers from the 5th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Advances in Intelligent Computing
Handling Uncertainty, Context, Vague Predicates, and Partial Inconsistency in Possibilistic Logic
IJCAI '91 Proceedings of the Workshops on Fuzzy Logic and Fuzzy Control
Prolog-ELF incorporating fuzzy logic
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Possibilistic temporal reasoning based on fuzzy temporal constraints
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Probabilistic description logics
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
An argument-based multi-agent system for information integration
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
A top-k query answering procedure for fuzzy logic programming
Fuzzy Sets and Systems
A Possibilistic Argumentation Decision Making Framework with Default Reasoning
Fundamenta Informaticae - Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR)
| Hi-index | 0.00 |
In this paper we present a propositional logic programming language for reasoning under possibilistic uncertainty and representing vague knowledge. Formulas are represented by pairs (ϕ, α), where ϕ is a many valued proposition and α ∈ [0, 1] is a lower bound on the belief on ϕ in terms of necessity measures. Belief states are modeled by possibility distributions on the set of all manyvalued interpretations. In this framework, (i) we define a syntax and a semantics of the general underlying uncertainty logic; (ii) we provide a modus ponens-style calculus for a sublanguage of Horn-rules and we prove that it is complete for determining the maximum degree of possibilistic belief with which a fuzzy propositional variable can be entailed from a set of formulas; and finally, (iii) we show how the computation of a partial matching between fuzzy propositional variables, in terms of necessity measures for fuzzy sets, can be included in our logic programming system.