ML Anthology

Lattice-Based Graded Logic: A Multimodal Approach

Philippe Chatalic, Christine Froidevaux
UAI 1992 pp. 33-40
doi:10.1016/B978-1-4832-8287-9.50009-8 /uai/1992/chatalic1992uai-lattice/

Abstract

Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical formulas. Uncertain information is expressed by means of parameterized modal operators. We propose a semantics for this multimodal logic and give a sound and complete axiomatization. We study the links with related approaches and suggest how this framework might be used to manage both uncertain and incomplere knowledge.

PDF UAI Semantic Scholar

Cite

Text

Chatalic and Froidevaux. "Lattice-Based Graded Logic: A Multimodal Approach." Conference on Uncertainty in Artificial Intelligence, 1992. doi:10.1016/B978-1-4832-8287-9.50009-8

Markdown

[Chatalic and Froidevaux. "Lattice-Based Graded Logic: A Multimodal Approach." Conference on Uncertainty in Artificial Intelligence, 1992.](https://mlanthology.org/uai/1992/chatalic1992uai-lattice/) doi:10.1016/B978-1-4832-8287-9.50009-8

BibTeX

@inproceedings{chatalic1992uai-lattice,
  title     = {{Lattice-Based Graded Logic: A Multimodal Approach}},
  author    = {Chatalic, Philippe and Froidevaux, Christine},
  booktitle = {Conference on Uncertainty in Artificial Intelligence},
  year      = {1992},
  pages     = {33-40},
  doi       = {10.1016/B978-1-4832-8287-9.50009-8},
  url       = {https://mlanthology.org/uai/1992/chatalic1992uai-lattice/}
}