We propose two classes of doxastic extensions of fuzzy \L ukasiewicz logic that are sound and complete with respect to some appropriate classes of Kripke-based models in which both atomic propositions and accessibility relations are fuzzy. One class of these extensions is equipped with pseudo-classical belief that has properties similar to the classical belief, and the other class is based on a new notion of belief that we call it \textit{skeptical} belief. We model a fuzzy version of the muddy children problem using pseudo-classical belief and a CPA-security experiment using skeptical belief, then by showing that the pseudo-classical belief is not appropriate for modeling the belief of an adversary in a CPA-experiment we justify proposing the notion of skeptical belief. Furthermore, we prove the soundness and completeness theorems for some of the proposed doxastic extensions.
翻译:我们建议了两种模糊的逻辑的尾部延伸,这两类逻辑对于基于Kripke的模型的某些适当类别来说是健全和完整的,而这两种模型中的原子主张和无障碍关系都是模糊的。其中一类具有与古典信仰相似的假古典信仰,而另一类则基于一种新的信念概念,即我们称之为\textit{skeptic}信仰。我们用假古典信仰和采用怀疑性信仰的CPA安全实验来模拟泥沙儿童问题的模糊版本,然后表明假古典信仰不适合在CPA实验中模拟对手的信仰,我们有理由提出怀疑性信仰的概念。此外,我们证明了某些拟议的毒物扩展的正确性和完整性。