Pstable Semantics for Possibilistic Logic Programs

摘要

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.