Pstable semantics for possibilistic logic programs

Authors:
Mauricio Osorio;Juan Carlos Nieves
Affiliations:
Universidad de las Américas-Puebla, CENTIA, Cholula, Puebla, México;Universitat Politècnica de Catalunya, Software Department, LSI, Barcelona, Spain
Venue:
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Year:
2007

Citing 7
Cited 4

Possibilistic logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Reasoning about Uncertainty

Reasoning about Uncertainty
Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence)

Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence)
Possibilistic uncertainty handling for answer set programming

Annals of Mathematics and Artificial Intelligence
Ground Nonmonotonic Modal Logic S5: New Results

Journal of Logic and Computation
Semantics for possibilistic disjunctive programs

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning

Possibilistic Well-Founded Semantics

MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
A possibilistic intuitionistic logic

MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I
Possibilistic semantics for logic programs with ordered disjunction

FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Dealing with explicit preferences and uncertainty in answer set programming

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Uncertain information is present in many real applications e.g., medical domain, weather forecast, etc. The most common approaches for leading with this information are based on probability however some times; it is difficult to find suitable probabilities about some events. In this paper, we present a possibilistic logic programming approach which is based on possibilistic logic and PStable semantics. Possibilistic logic is a logic of uncertainty tailored for reasoning under incomplete evidence and Pstable Semantics is a solid semantics which emerges from the fusion of non-monotonic reasoning and logic programming; moreover it is able to express answer set semantics, and has strong connections with paraconsistent logics.