Doxastic Extensions of \L ukasiewicz Logic
Dastgheib, Doratossadat, Farahani, Hadi
–arXiv.org Artificial Intelligence
We propose two new doxastic extensions of fuzzy \L ukasiewicz logic in which their semantics are Kripke-based with both fuzzy atomic propositions and fuzzy accessibility relations. A class of these extensions is equipped with uninformed belief operator, and the other class is based on a new notion of skeptical belief. We model a fuzzy version of muddy children problem and a CPA-security experiment using uniformed belief and skeptical belief, respectively. Moreover, we prove soundness and completeness for both of these belief extensions.
arXiv.org Artificial Intelligence
Nov-4-2021
- Country:
- Asia > Middle East
- Iran (0.14)
- North America > United States
- North Carolina (0.14)
- Asia > Middle East
- Genre:
- Research Report (0.50)
- Industry:
- Health & Medicine > Therapeutic Area (0.48)
- Technology: