Possibility and Necessity Functions over Non-classical Logics
Artificial Intelligence
2013-02-28 v1
Abstract
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.
Cite
@article{arxiv.1302.6788,
title = {Possibility and Necessity Functions over Non-classical Logics},
author = {Philippe Besnard and Jerome Lang},
journal= {arXiv preprint arXiv:1302.6788},
year = {2013}
}
Comments
Appears in Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence (UAI1994)