Possibilistic logic as an annotated logic
Peter Kullmann, Sandra Aparecida Sandri · 1999
We study how to transform possibilistic logic extended with fuzzy constants and fuzzy quantifiers into the generalized annotated logic system proposed by Kifer and Subrahmanian (1992). Specifically, the valuation in a possibilistic clause generates the annotation which will be attached to the head of the annotated clause. We also show how the inference rules of possibilistic logic extended with fuzzy constants can be translated in terms of the mechanisms provided by this annotated logic.