ML Anthology

Possibility and Necessity Functions over Non-Classical Logics

Philippe Besnard, Jérôme Lang
UAI 1994 pp. 69-76
doi:10.1016/B978-1-55860-332-5.50014-6 /uai/1994/besnard1994uai-possibility/

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.

PDF UAI Semantic Scholar

Cite

Text

Besnard and Lang. "Possibility and Necessity Functions over Non-Classical Logics." Conference on Uncertainty in Artificial Intelligence, 1994. doi:10.1016/B978-1-55860-332-5.50014-6

Markdown

[Besnard and Lang. "Possibility and Necessity Functions over Non-Classical Logics." Conference on Uncertainty in Artificial Intelligence, 1994.](https://mlanthology.org/uai/1994/besnard1994uai-possibility/) doi:10.1016/B978-1-55860-332-5.50014-6

BibTeX

@inproceedings{besnard1994uai-possibility,
  title     = {{Possibility and Necessity Functions over Non-Classical Logics}},
  author    = {Besnard, Philippe and Lang, Jérôme},
  booktitle = {Conference on Uncertainty in Artificial Intelligence},
  year      = {1994},
  pages     = {69-76},
  doi       = {10.1016/B978-1-55860-332-5.50014-6},
  url       = {https://mlanthology.org/uai/1994/besnard1994uai-possibility/}
}