AIFeb 27, 2013
Possibility and Necessity Functions over Non-classical Logics
arXiv:1302.6788v115 citations
Originality Synthesis-oriented
AI Analysis
This work addresses reasoning under uncertainty and inconsistency for AI and logic communities, but it appears incremental as it extends existing frameworks.
The authors integrated possibility theory with non-classical logics to handle uncertain and inconsistent information, achieving formal generalizations of classical logic-based possibility and necessity functions.
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.