Possibility and Necessity Functions over Non-classical Logics
Philippe Besnard, Jerome Lang
We propose an integration of possibility theory into non-classical logics. We obtain many formal results that generalize the case where possibility and necessity functions are based on classical logic. We show how useful such an approach is by applying it to reasoning under uncertain and inconsistent information.
PDF Link: /papers/94/p69-besnard.pdf
AUTHOR = "Philippe Besnard
and Jerome Lang",
TITLE = "Possibility and Necessity Functions over Non-classical Logics",
BOOKTITLE = "Proceedings of the Tenth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-94)",
PUBLISHER = "Morgan Kaufmann",
ADDRESS = "San Francisco, CA",
YEAR = "1994",
PAGES = "69--76"