Next Article in Journal
Computation of Minimal Polynomials and Multivector Inverses in Non-Degenerate Clifford Algebras
Previous Article in Journal
Detection of Surface Defects of Barrel Media Based on PaE-VGG Model
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes

1
Department of Computer Science, Nanjing Audit University, Nanjing 211815, China
2
College of Information Science and Technology, Nanjing Forestry University, Nanjing 210037, China
3
College of Information Engineering, Taizhou University, Taizhou 225300, China
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(7), 1105; https://doi.org/10.3390/math13071105
Submission received: 19 February 2025 / Revised: 24 March 2025 / Accepted: 25 March 2025 / Published: 27 March 2025
(This article belongs to the Section E1: Mathematics and Computer Science)

Abstract

:
In traditional epistemic logic—particularly modal logic—agents are often assumed to have complete and certain knowledge, which is unrealistic in real-world scenarios where uncertainty, imprecision, and the incompleteness of information are common. This study proposes an extension of the logic of doxastic attitudes to a fuzzy setting, representing beliefs or knowledge as continuous values in the interval [0, 1] rather than binary Boolean values. This approach offers a more nuanced and realistic modeling of belief states, capturing the inherent uncertainty and vagueness in human reasoning. We introduce a set of axioms for the fuzzy logic of doxastic attitudes, formalizing how agents reason with regard to uncertain beliefs. The theoretical foundations of this logic are established through proofs of soundness and completeness. To demonstrate practical utility, we present a concrete example, illustrating how the fuzzy logic of doxastic attitudes can model uncertain preferences and beliefs.

1. Introduction

Epistemic logic plays a pivotal role in multi-agent systems (MASs) by providing formal frameworks which model agents’ knowledge, beliefs, and decision-making processes. For instance, epistemic logic and dynamic epistemic logic, introduced by Hintikka [1] and further developed by researchers such as van Benthem [2] and Eijck and Ditmarsch et al. [3], enable the representation of agents’ knowledge and beliefs, as well as the analysis of knowledge propagation and belief revision. These frameworks have been integrated with decision-making models [4], computer science [4], economics [5,6], psychology [7], and philosophy [8]. This interdisciplinary integration highlights the versatility and significance of epistemic logic in addressing complex challenges in both theoretical and practical domains.
Lorini provided the logic of doxastic attitudes [9,10,11] in order to emphasize the distinction between explicit and implicit belief. In this framework, explicit beliefs are represented as facts in an agent’s belief base, while implicit beliefs are those deducible from explicit beliefs and the agent’s common ground (i.e., shared information). By leveraging belief bases, the logic of doxastic attitudes enables more efficient belief revision and update mechanisms, allowing agents to adapt their beliefs in response to new information. This approach addresses key limitations associated with traditional epistemic logic, such as the problem of logical omniscience and exponential growth in model complexity, and offers a more practical and scalable solution for modeling belief dynamics in multi-agent systems.
In the real world, statements such as “It’s very hot today” do not accurately convey specific temperature information due to the relative nature of human perception. To characterize the uncertainty in the knowledge, belief, and reasoning of the agent, probabilistic epistemic logic, intuitionistic epistemic logic, and paraconsistent epistemic logic have been explored to offer complementary frameworks to model different dimensions of uncertainty. Probabilistic epistemic logic integrates probability theory with epistemic logic to quantify agents’ beliefs and their dynamics under information updates [12,13]. Through assigning numerical probabilities to propositions (e.g., ( P i ( ϕ ) 0.7 ) ), risk-based uncertainty is captured, and Bayesian reasoning for belief revision is supported. Intuitionistic epistemic logic, rooted in Brouwer–Heyting–Kolmogorov semantics, rejects the law of excluded middle by modeling constructive uncertainty [14,15]. Here, truth is contingent on an agents’ ability to provide evidence or proofs. It is particularly suited to scenarios requiring incremental knowledge acquisition, such as mathematical verification or scientific hypothesis testing. Paraconsistent epistemic logic rejects the principle of explosion to tolerate inconsistencies (e.g., ( ϕ ¬ ϕ ) ) without trivializing inferences. By isolating contradictions via consistency operators (e.g., ° ( ϕ ) ) or multi-valued semantics, this logic addresses conflict-driven uncertainty, prevalent in legal debates, fault-tolerant AI, and industrial signal analysis.
Moreover, Lotfi A. Zadeh et al. introduced fuzzy logic and fuzzy sets as a powerful tool [16] to handle uncertainty and imprecision in various real-world applications. Unlike classical binary logic, fuzzy logic allows for gradual truth values between 0 and 1 and, therefore, it is more suitable for modeling and reasoning about real systems. Fuzzy logic and fuzzy sets have been widely applied in various fields. A series of fuzzy epistemic logic approaches have been proposed to characterize the description and reasoning of knowledge and beliefs with uncertainty. In control systems, fuzzy logic has been extensively adopted in the design of intelligent controllers; for example, in robotics [17] and traffic signal control [18]. In decision-making, fuzzy logic frameworks, such as intuitionistic fuzzy sets and rough fuzzy sets, have been employed to tackle multi-attribute decision problems. This application enhances the ability to handle incomplete or ambiguous data [19,20]. Moreover, fuzzy logic has been applied in artificial intelligence to improve the robustness of learning algorithms, especially in pattern recognition [21,22] and neural networks [23,24].
This study presents the fuzzy logic of doxastic attitudes. In this logic, based on a Gödel algebra, the logic statements in the agents’ belief bases are assigned values in the interval [0, 1], rather than just binary values. In this framework, an agent does not either fully believe or completely disbelieve a certain belief. Instead, the agent believes to a certain extent, which is represented by a confidence interval within [0, 1]. We introduce a set of axioms and rules of inference and prove the soundness and completeness of the fuzzy logic of doxastic attitudes. Finally, an example is presented to illustrate the application of this logic framework.
The remainder of this paper is structured as follows. In Section 2, we review some relevant concepts and results of the logic of doxastic attitudes. Section 3 presents the fuzzy logic of doxastic attitudes. Its soundness and completeness are explored in Section 4. An example of a real-life application is given in Section 5. Section 6 provides a comparative analysis with alternative approaches. Finally, Section 7 concludes the paper and outlines future research directions.

2. Preliminaries

This section reviews the logic of doxastic attitudes (LDA), which represents explicit beliefs and implicit beliefs of multiple agents [11]. Let A t m = { p , q , } be a countable infinite set of atomic propositions and A g t = { 1 , , n } be a finite set of agents. The logical language of LDA is defined in two steps.
First, the formulas of L A N G 0 ( A t m , A g t ) are defined as follows:
α : : = p | | α α | α α | α α | i α
where p A t m and i A g t . The formula i α is read as “agent i explicitly (or actually) believes that α is true”.
The language L A N G ( A t m , A g t ) is extended by adding modal operators of implicit belief as follows:
φ : : = α | φ φ | φ φ | φ φ | i φ
where α L A N G 0 ( A t m , A g t ) and i A g t . The formula i φ represents that agent i implicitly (or potentially) believes that φ is true. For notational convenience, we write L A N G 0 instead of L A N G 0 ( A t m , A g t ) and L A N G instead of L A N G ( A t m , A g t ) when the context is clear.
A Kripke model is a fundamental concept in modal logic and intuitionistic logic, named after the philosopher and logician Saul Kripke [25]. It provides a formal framework for interpreting and evaluating statements within these logical systems. The semantics of LDA are provided by extending the standard multi-relational Kripke semantics.
Definition 1. 
A Kripke model is a 4-tuple M = ( W , D , N , V ) where
  • W is a set of worlds.
  • D : A g t × W 2 L A N G 0 is a doxastic function.
  • N : A g t × W 2 W is a notional function.
  • V : A t m 2 W is a valuation function.
Definition 2. 
Let M = ( W , D , N , V ) be a Kripke model. Then,
( M , w ) p w V ( p ) if p A t m .
( M , w ) φ ψ ( M , w ) φ and ( M , w ) ψ .
( M , w ) φ ψ ( M , w ) φ or ( M , w ) ψ .
( M , w ) φ ψ ( M , w ) φ or ( M , w ) ψ .
( M , w ) i α α D ( i , w ) .
( M , w ) i φ v N ( i , w ) : ( M , v ) φ .
Definition 3. 
A Kripke model M = ( W , D , N , V ) is said to be a quasi-notional doxastic model (QNDM) if and only if it satisfies
( C 1 * ) N ( i , w ) α D ( i , w ) | | α | | M ,
with | | α | | M = { v W : ( M , v ) α } .
Global consistency and belief correctness are fundamental concepts in logic. Global consistency ensures that the QNDM is serial, while belief correctness means that an agent’s set of notional worlds must include the actual world.
Definition 4. 
The QNDM M = ( W , D , N , V ) satisfies global consistency (GC) if and only if, for each i A g t and w W , N ( i , w ) .
Definition 5. 
The QNDM M = ( W , D , N , V ) satisfies belief correctness (BC) if and only if, for each i A g t and w W , w N ( i , w ) .
For ease of searching, the following table lists some symbols and meanings commonly used in this article (Table 1).

3. Fuzzy Logic of Doxastic Attitudes

In many real-world situations, information or belief is often uncertain, imprecise, and incomplete. Traditional binary logic is insufficient for modeling such complex scenarios Fuzzy logic has emerged as a powerful tool to address these challenges, as it allows for the representation of beliefs and knowledge as continuous values within the interval [0, 1] [16]. This section will extend the logic of doxastic attitudes to a fuzzy framework using a Gödel algebra. The formulas of the fuzzy logic of doxastic attitudes (FLDA) are defined as follows.
Definition 6. 
The formulas of F L A N G 0 ( A t m , A g t ) are defined as follows:
γ : : = p t γ γ γ γ γ γ i γ ,
where p A t m , t [ 0 , 1 ] and i A g t .
The formulas of F L A N G ( A t m , A g t ) are defined as follows:
ψ : : = γ ψ ψ ψ ψ ψ ψ i ψ ,
where γ F L A N G 0 and i A g t .
A substitution of F L A N G ( A t m , A g t ) is a pair θ = ( ( p 1 , , p n ) , ( φ 1 , , φ n ) ) , where n 0 and for any i n , p i A t m and φ i F L A N G ( A t m , A g t ) . The substitution θ : F L A N G ( A t m , A g t ) F L A N G ( A t m , A g t ) is a partial function defined as follows: for any φ F L A N G ( A t m , A g t ) , if it is satisfied that for each j n , the fact that p j occurs in a subformula i γ of φ implies φ j F L A N G 0 ( A t m , A g t ) , then φ θ is obtained from φ by replacing each p i with φ i ( i n ); otherwise, φ θ is not well-defined.
As usual, ¬ γ = γ , ¬ ψ = ψ , and ↔ can be defined using →. For notational convenience, we write F L A N G 0 instead of F L A N G 0 ( A t m , A g t ) and F L A N G instead of F L A N G ( A t m , A g t ) when the context is clear. Moreover, the above definition ensures that the results of substitutions are also well-formed formulas.
Definition 7. 
A fuzzy Kripke model is a 4-tuple M = ( W , D , N , V ) , where
  • W is a set of worlds.
  • D : A g t × W × F L A N G 0 [ 0 , 1 ] is a belief-based function.
  • N : A g t × W 2 W is a notional function.
  • V : W × A t m [ 0 , 1 ] is a fuzzy valuation function.
In this framework, D ( i , w , γ ) means the degree to which the agent i believes γ , while V ( w , p ) is the truth value of p at w.
Definition 8. 
The Gödel algebra is the structure G = ( [ 0 , 1 ] , 0 , 1 , , , ) , where for any c , d [ 0 , 1 ] ,
c d min ( c , d ) , c d max ( c , d ) c d 1 if c d d otherwise .
Definition 9. 
Let M = ( W , D , N , V ) be a fuzzy Kripke model. For any w W , the evaluation · ( M , w ) : F L A N G [ 0 , 1 ] is given as follows:
p ( M , w ) V ( p , w ) if p A t m .
t ( M , w ) t if t [ 0 , 1 ] .
( M , w ) 0 .
φ 1 φ 2 ( M , w ) φ 1 ( M , w ) φ 2 ( M , w ) .
φ 1 φ 2 ( M , w ) φ 1 ( M , w ) φ 2 ( M , w ) .
φ 1 φ 2 ( M , w ) φ 1 ( M , w ) φ 2 ( M , w ) .
i γ ( M , w ) D ( i , w , γ ) .
i φ ( M , w ) inf { φ ( M , y ) : y N ( i , w ) } .
A formula φ holds at w if φ ( M , w ) = 1 . A formula φ holds at M if it holds at every w W .
Definition 10. 
A fuzzy Kripke model M = ( W , D , N , V ) is said to be a fuzzy quasi-notional doxastic model (FQNDM) if and only if it satisfies the condition below:
( F C I * )   i f   v N ( i , w ) ,   t h e n   γ F L A N G 0 ( γ ( M , v ) D ( i , w , γ ) ) .
Obviously, when the qualified confidence such as D ( i , w , γ ) and truth values such as V ( p , w ) in the model M are assigned 0 or 1, the condition FC1* degenerates into the condition C1*. The global consistency and belief correctness of FQNDMs can be defined similarly to Definitions 4 and 5. We write FQNDMY for the set of all FQNDMs satisfying the conditions in Y for Y { G C , B C } .

4. Soundness and Completeness

This section investigates the axiomatic results for the fuzzy logic of doxastic attitudes. To this end, a set of axioms and deduction rules are provided below.
Definition 11. 
A subset L of F L A N G is the fuzzy logic of doxastic attitudes (FLDA) if it satisfies the following:
(1)
Every tautology belongs to L .
(2)
(Axioms) For any γ , γ 1 , γ 2 F L A N G 0 ; φ 1 , φ 2 F L A N G ; and i A g t ,
i ( φ 1 φ 2 ) i φ 1 i φ 2 L , i ( γ 1 γ 2 ) i γ 1 i γ 2 L , ( i φ 1 i ( φ 1 φ 2 ) ) i φ 2 L , i γ i γ L .
(3)
(Rules) For any φ , φ 1 , φ 2 F L A N G , substituting θ, i A g t , and D [ 0 , 1 ] ,
if φ 1 L and φ 1 φ 2 L then φ 2 L .
if φ L and φ θ is well-defined then φ θ L .
if φ L , then i φ L .
if t ( φ 1 φ 2 ) L , then t ( i φ 1 i φ 2 ) L .
if l D ( l φ 1 L ) , then s u p ( D ) φ 1 L .
For each X { T i , D i } , F L D A X is the extension of the logic FLDA as a result of adding the corresponding axioms of X, for which T i and D i are defined below: for any φ F L A N G and i A g t ,
¬ ( i φ i ¬ φ ) L .
i φ φ L ,
We denote the minimal (with respect to the inclusion) F L D A X with the symbol F K X for X { T i , D i } .
T i and D i represent global consistency (GC) and belief correctness (BC), respectively. Therefore, we define a mapping c f to capture this correspondence: c f ( T i ) = G C and c f ( D i ) = B C . Furthermore, we set C F ( X ) = { c f ( A x ) : A x X } for any X { T i , D i } .

4.1. Soundness

This subsection is devoted to establishing the soundness of the axiom system of the FLDA. We only illustrate the proofs of axioms related to i and i . The proofs of other axioms and rules are similar to the ones in [26], and we leave them to the readers.
Lemma 1. 
For any FQNDM M = ( W , D , N , V ) , w W , and φ , ψ F L A N G ,
( i φ i ( φ ψ ) ) i ψ ( M , w ) = 1 .
Proof. 
Let M = ( W , D , N , V ) be an FQNDM, w W , and φ , ψ F L A N G . From Definitions 8 and 9, it suffices to show
i ψ ( M , w ) i φ i ( φ ψ ) ( M , w ) .
For simplicity, suppose i φ ( M , w ) = δ 1 and i ( φ ψ ) ( M , w ) = δ 2 . It follows from Definitions 8 and 9 that i φ i ( φ ψ ) ( M , w ) = min ( δ 1 , δ 2 ) . From Definition 9, it is enough to show ψ ( M , y ) min ( δ 1 , δ 2 ) for any y N ( i , w ) . Let y N ( i , w ) . Consider the following two cases.
Case 1 : φ ψ ( M , y ) = 1 . It follows from Definitions 8 and 9 that
ψ ( M , y ) φ ( M , y ) δ 1 min ( δ 1 , δ 2 ) .
Case 2 : φ ψ ( M , y ) 1 . Thus, from Definitions 8 and 9, we obtain ψ ( M , y ) = φ ψ ( M , y ) i ( φ ψ ) ( M , w ) = δ 2 min ( δ 1 , δ 2 ) . □
Lemma 2. 
For any FQNDM M = ( W , D , N , V ) , w W and γ F L A N G 0 ,
i γ i γ ( M , w ) = 1 .
Proof. 
Let M = ( W , D , N , V ) be an FQNDM, w W and γ F L A N G 0 . It is enough to show that i γ ( M , w ) i γ ( M , w ) . From (FC1) in Definition 10, we have γ ( M , y ) D ( i , w , γ ) for each y N ( i , w ) . It follows from Definition 9 that i γ ( M , w ) = D ( i , w , γ ) and i γ ( M , w ) = inf { γ ( M , y ) : y N ( i , w ) } . Therefore, we obtain i γ ( M , w ) i γ ( M , w ) . □
Lemma 3. 
If φ ( M , w ) = 1 for any FQNDM M = ( W , D , N , V ) and w W , then so does i φ .
Proof. 
Suppose that φ ( M , w ) = 1 for any FQNDM M = ( W , D , N , V ) and w W . Then, φ ( M , y ) = 1 for any FQNDM M = ( W , D , N , V ) , w W and y N ( i , w ) . From Definition 9, we obtain that i φ ( M , w ) = 1 for any FQNDM M = ( W , D , N , V ) and w W . □
Lemma 4. 
For any FQNDM M, if M satisfies GC, then ¬ ( i φ i ¬ φ ) ( M , w ) = 1 for any formula φ F L A N G and any w in M.
Proof. 
Suppose that FQNDM M satisfies GC, w is a state in M, and φ F L A N G . From Definition 9, it suffices to show that i φ i ¬ φ ( M , w ) ( = min ( i φ ( M , w ) , i ¬ φ ( M , w ) ) ) = 0 .
Since FQNDM M satisfies GC, there exists y N ( i , w ) . Consider the following two cases.
Case 1 : φ ( M , y ) = 0 . From Definition 9, we have i φ ( M , w ) = 0 , and then
min ( i φ ( M , w ) , i ¬ φ ( M , w ) ) = 0 .
Case 2 : φ ( M , y ) 0 . Then, from Definitions 8 and 9, we obtain ¬ φ ( M , y ) = 0 . It follows from Definition 9 and y N ( i , w ) that i ¬ φ ( M , w ) = 0 and
min ( i φ ( M , w ) , i ¬ φ ( M , w ) ) = 0 .
Lemma 5. 
For any FQNDM M, if M satisfies BC, then i φ φ ( M , w ) = 1 for any formula φ F L A N G and any w in M.
Proof. 
Suppose that FQNDM M satisfies BC, w is a state in M, and φ F L A N G . Then, it follows that w N ( i , w ) . Further, it follows from Definition 9 that φ ( M , w ) i φ ( M , w ) . Thus, we have i φ φ ( M , w ) = 1 . □
Therefore, we have the following result.
Theorem 1. 
(Soundness) For each X { D i , T i } , if ψ F K X , then ψ holds at every model in FQNDMCF(X).

4.2. Completeness

This subsection intends to establish the completeness of the axiom system of the FLDA. As usual, the canonical model plays a central role. Thus, the notions of consistence and completion are provided first.
Definition 12. 
An FLDA L is consistent if
p [ 0 , 1 ] ( p L p = 1 ) .
For any FLDA L and φ F L A N G ,
φ L sup { p [ 0 , 1 ] : p φ L }
Definition 13. 
Let L be a consistent FLDA and u F L A N G . The set u is said to be L -consistent if for any t [ 0 , 1 ] and any limited subset of the set u, for example,
{ p 1 φ 1 , , p n φ n }
where p 1 , , p n [ 0 , 1 ] and φ 1 , , φ n F L A N G ,
i f   ( φ 1 φ n ) t L ,   t h e n   ( p 1 p n ) t .
Definition 14. 
For every pair u 1 , u 2 of sets of F L A N G , u 1 u 2 if and only if for any p φ u 1 ,
p = 0 o r t p : t φ u 2 .
Definition 15. 
Let u be an L -consistent set. For any φ F L A N G ,
φ ( u ) s u p ( D )
where D is the set of all elements of t [ 0 , 1 ] such that u { t φ } is L -consistent.
Definition 16. 
Let u be a set of formulas of F L A N G and L the FLDA. Then, u is said to be L -complete if u is L -consistent and for any φ F L A N G ,
φ ( u ) φ u .
Definition 17. 
Let u be an L -consistent set and x an L -complete set. x is said to be a completion of u if
u x .
The following are the Lindenbaum’s Lemma for our logic and some useful results. Their proofs are standard (cf. see [26]), and we omit them.
Theorem 2. 
(1) For every L -consistent set u, there is its completion x.
(2) For any L -complete set x and φ , ψ F L A N G , φ ψ ( x ) = φ ( x ) ψ ( x ) , φ ψ ( x ) = φ ( x ) ψ ( x ) , and φ ψ ( x ) = φ ( x ) ψ ( x ) .
The canonical model is a commonly employed method for demonstrating the completeness of a logical system. The canonical model of the FLDA is defined as follows.
Definition 18. 
A canonical model of the FLDA L is a fuzzy Kripke model
M L ( W L , D L , N L , V L ) ,
where
  • W L consists of all L -complete sets.
  • D L : A g t × W L × F L A N G 0 [ 0 , 1 ] is defined as follows: for any i A g t , x W L , γ F L A N G 0 ,
    D L ( i , x , γ ) i γ ( x ) .
  • N L : A g t × W L 2 W L is defined as follows: for any x , y W L , i A g t ,
    y N L ( i , x )   i f f   i φ ( x ) φ ( y )   f o r   a n y   φ F L A N G .
  • V L : A t m × W L [ 0 , 1 ] is defined as follows: for any q A t m , x W L ,
    V L ( q , x ) q ( x ) .
Before demonstrating the completeness, the main property of the canonical model is needed.
Theorem 3. 
Let L be a consistent F L D A .
(1)
For any φ F L A N G and x W L , φ ( M L , x ) = φ ( x ) .
(2)
M L satisfies F C 1 * , and then is an FQNDM.
Proof. 
(1) We prove this via induction with the complexity of φ .
Case 1: φ = q A t m . From Definitions 9 and 18, it follows that φ ( M L , x ) = φ ( x ) for any x W L .
Case 2: φ = t [ 0 , 1 ] . From Definition 9, we obtain t ( M L , x ) = t for any x W L . Moreover, for any x W L , since x is consistent, it follows from Definitions 15 and 8 that t = t ( x ) .
Case 3: φ = ψ 1 ψ 2 , ψ 1 ψ 2 , or ψ 1 ψ 2 . Let x W L . According to the induction hypothesis, we obtain
ψ 1 ( M L , x ) = ψ 1 ( x )   and   ψ 2 ( M L , x ) = ψ 2 ( x ) .
Then, from Definition 9 and (2) in Theorem 2, we have
φ ( M L , x ) = ψ 1 ψ 2 ( M L , x ) = ψ 1 ( M L , x ) ψ 2 ( M L , x ) = ψ 1 ( x ) ψ 2 ( x ) = ψ 1 ψ 2 ( x ) = φ ( x ) .
The other two subcases can be proved similarly.
Case 4: φ = i γ . Due to Definitions 9 and 18, φ ( M L , x ) = φ ( x ) trivially holds for any x W L .
Case 5: φ = i ψ . Let x W L . According to the inductive hypothesis, for each y W L , ψ ( M L , y ) = ψ ( y ) holds. Thus, according to Definition 9, it suffices to prove inf { ψ ( y ) : y N L ( i , x ) } = i ψ ( x ) .
From Definition 18, we have i ψ ( x ) ψ ( y ) for any y N L ( i , x ) . It follows that
i ψ ( x ) inf { ψ ( y ) : y N L ( i , x ) } .
To prove i ψ ( x ) inf { ψ ( y ) : y N L ( i , x ) } , we set
m { i φ ( x ) φ : φ F L A N G } { ( i ψ ( x ) 0 ) ( ψ 0 ) } .
We show the following claim first.
Claim. 
m is L -consistent.
It is enough to prove that for every finite subset { p 1 φ 1 , , p n φ n } m and every t [ 0 , 1 ] , if ( φ 1 φ n ) t L , then ( p 1 p n ) t .
Let u = { p 1 φ 1 , , p n φ n } m , t [ 0 , 1 ] and ( φ 1 φ n ) t L . This claim is divided into the following two cases.
Case   C - 1 : ( i ψ ( x ) 0 ) ( ψ 0 ) u . Then, without loss of generality, assume that p 1 φ 1 = ( i ψ ( x ) 0 ) ( ψ 0 ) . Therefore, we obtain p j = i φ j ( x ) for j = 2 , n . Then, it follows from ( φ 1 φ n ) t L that ( ( ψ 0 ) φ 2 φ n ) t L . Thus, we have ( t 0 ) ( ( φ 2 φ n ) ψ ) L . According to the rule t ( ψ 1 ψ 2 ) t ( i ψ 1 i ψ 2 ) and the axiom i ( ψ 1 ψ 2 ) i ψ 1 i ψ 2 , we obtain
( t 0 ) ( ( i φ 2 i φ n ) i ψ ) L .
Therefore, it follows from Definition 15 that ( t 0 ) ( ( i φ 2 i φ n ) i ψ ) ( x ) . Thus, from (2) in Theorem 2, we have ( t 0 ) ( i φ 2 ( x ) i φ n ( x ) ) i ψ ( x ) . Then, it follows from Definition 8 that ( i ψ ( x ) 0 ) i φ 2 ( x ) i φ n ( x ) t , i.e., p 1 p n t .
Case   C - 2 : ( i ψ ( x ) 0 ) ( ψ 0 ) u . Therefore, for any j n , we have p j = i φ j ( x ) . It follows from ( φ 1 φ n ) t L that ( t 0 ) ( ( φ 1 φ n ) 0 ) L . Then, according to the rule t ( ψ 1 ψ 2 ) t ( i ψ 1 i ψ 2 ) and the axiom i ( ψ 1 ψ 2 ) i ψ 1 i ψ 2 , we obtain ( t 0 ) ( ( i φ 1 i φ n ) 0 ) L . It follows from Definition 15 and Theorem 2 that
t 0 ( i φ 1 i φ n ) 0 ) ( x ) = ( i φ 1 ( x ) i φ n ( x ) ) 0 .
Thus, we obtain i φ 1 ( x ) i φ n ( x ) = p 1 p n t , as desired.
Now, we return to the proof of Case 5. Let y be an completion of m. For any φ F L A N G , since i φ ( x ) φ y , from Definition 15, we obtain i φ ( x ) φ ( y ) and then y N ( i , x ) . Moreover, by ( i ψ ( x ) 0 ) ( ψ 0 ) m , m y , Definition 15 and Theorem 2, we have i ψ ( x ) 0 ψ 0 ( y ) = ψ ( y ) 0 . Therefore, it follows that i ψ ( x ) inf { ψ ( y ) : y N L ( i , x ) } .
(2) Let y N L ( i , x ) and γ F L A N G 0 . It follows from Definition 11 that Δ i γ i γ L . Then, since x is L -consistent, we have Δ i γ ( x ) i γ ( x ) . Thus, from y N L ( i , x ) , Definition 9 and (1), we obtain
Δ i γ ( x ) i γ ( x ) = i γ ( L , x ) γ ( L , y ) .
Further, it follows from Definition 18 that D L ( i , x , y ) = Δ i γ ( x ) γ ( L , y ) . Therefore, from Definition 10, M L satisfies F C 1 * and then is an FQNDM. □
The completeness of the logic system is presented as follows.
Theorem 4. 
Let X { D i , T i } . If a formula φ F L A N G holds at every FQNDMCF(X), then φ F K X .
Proof. 
Suppose that φ holds at every FQNDMCF(X). To complete the proof, assume φ F K X and construct a contradiction below.
We show that the set { ( φ 0 ) F K X ( φ 0 ) } is F K X -consistent first. Let t [ 0 , 1 ] and ( φ 0 ) t F K X . Then, we have ( t 0 ) φ F K X . From Definition 12, we obtain ( t 0 ) φ F K X and then φ F K X 0 t . Therefore, it follows from Definition 13 that the set { ( φ F K X 0 ) ( φ 0 ) } is F K X -consistent. Further, from (1) in Theorems 2 and 3, there exists its completion x W F K X such that
φ F K X 0 φ 0 ( M F K X , x ) = φ 0 ( x ) .
As x is F K X -complete, from (2) in Theorem 2, we have
( φ 0 ) ( x ) = φ ( x ) 0 .
Then, from (1) and (2), we obtain φ F K X 0 φ ( x ) 0 and then φ ( x ) φ F K X . Since φ F K X , it follows that φ F K X < 1 . Thus, we obtain φ ( M F K X , x ) = φ ( x ) < 1 , and φ does not hold at x. Therefore, a contradiction arises. □
Finally, we have
Theorem 5. 
For any X { D i , T i } , F K X is sound and complete for the class F Q N D M C F ( X ) .

5. Example

In this section, we give an application example of the FLDA which is referred to in [11]. We recall the story simply. An artificial companion HAL takes care of an elderly person called Bob. Bob prefers to stay at home watching TV or reading a book rather than to go out for a walk, although the latter is necessary to keep him in good health. Therefore, when the weather is pleasant, HAL suggests that Bob should take a walk outdoors:
“Hey Bob! It is a great sunny day. You should take advantage of it and go out for a walk before the end of the day”. Bob replies that
“The last time I went out for a walk it was so cold. I did not like it at all. If I am sure that it is not cold outside, then I will follow your advice, otherwise I will not!”
HAL knows that the outside temperature is 11 °C and that it may not be cold outside. In the case described above, HAL persuades Bob to accept the suggestion to go out. We present how the FLDA captures this persuasion.
Assume that A t m = { G o o u t , T e m p , S u n n y } , where Go-out means that Bob accepts the belief in going out, Temp describes the suitability of temperature, and Sunny shows the current weather. To operationalize the fuzzy concept of temperature, we map it to belief truth values using the following table (Table 2).
In initial state w 0 , HAL’s explicit belief is “It is a great sunny day” and “Bob should go out”. Thus, we set D ( H A L , w 0 , S u n n y ) = 1 and D ( H A L , w 0 , G o o u t ) = 1 . Similarly, Bob’s explicit belief is that if the temperature is right, he can go out for a walk and then set D ( B o b , w 0 , T e m p G o o u t ) = 1 . The above persuasion can be described by the evolution of the fuzzy quasi-notional doxastic model in the following table (Table 3). For simplicity, we only list explicit beliefs and used abbreviations, such as referring to D ( H A L , w 0 , S u n n y ) = 1 as S u n n y = 1 .
From w 0 to w 1 , HAL told Bob that the weather was sunny and that he should go out for a walk; Bob told HAL that he would only go out if the temperature was just right. From w 1 to w 2 , HAL checked the temperature and calculated the temperature suitability to be 0.8 based on Table 2. From w 2 to w 3 , HAL told Bob the current temperature. From w 3 to w 4 , Bob resolved to go out for a walk based on the currently known beliefs.

6. Related Work

The representation and reasoning of knowledge with uncertainty is an important research direction in epistemic logic. A variety of technical approaches have been used in the literature to deal with uncertainty. The following is a comparison of these methods with the work in this paper.
The most similar work to this paper is fuzzy epistemic logic [27,28,29,30], which integrates many-valued modal logic with graded belief frameworks to formalize reasoning under conditions of vagueness and uncertainty. Fitting extends classical modal operators to accommodate truth degrees and introduces many-valued modal logic [27]. Maruyama extended this paradigm to handle incomparable beliefs, where agents’ fuzzy beliefs may not adhere to total orders [28]. Benevides et al. introduced graded epistemic logic, which quantifies belief strength using explicit numerical or symbolic grades [29,30]. The difference between these works and ours stems from the difference between epistemic logic and the logic of doxastic attitudes. Similar to the logic of doxastic attitudes, the framework in this study makes it easier to describe and distinguish between explicit and implicit beliefs than the above work, and will avoid the potential exponential growth of the original cognitive model as the length of the private declaration sequence increases.
Another class of work closely related to this study is probabilistic epistemic logic, which combines epistemic logic with probabilistic reasoning to formalize uncertainty in multi-agent systems. Halpern established the theoretical bedrock by merging Bayesian probability with epistemic modalities [12]. Kooi extended Halpern’s framework to model information flow and probabilistic updates and provides probabilistic dynamic epistemic logic [13]. Pan and Guo explored the relationship between probability and belief based on the Lockean thesis and adopt neighborhood semantics that defines belief directly using probability [31]. The fuzzy logic of doxastic attitudes addresses vagueness by representing partial truth, where propositions can hold intermediate degrees of truth between 0 (false) and 1 (true). Probabilistic epistemic logic focuses on depicting the degree of confidence based on existing information. Its core lies in describing the absence of knowledge or randomness. The former is applicable to the reasoning of natural language concepts with unclear boundaries, while the latter is suitable for reasoning about random events and related risk decisions.
Intuitionistic epistemic logic diverges from classical epistemic logic by rejecting the law of excluded middle and requiring constructive proofs for knowledge claims [14,15]. For instance, knowledge operators (e.g., K i ψ ) may be interpreted through the Brouwer–Heyting–Kolmogorov (BHK) semantics: an agent i knows ψ only if a constructive justification for ψ exists. When an agent is unable to provide a proof for a formula nor a proof for its negation, the truth value of the formula is undetermined. This is different from our work and fuzzy epistemic logic, in which the truth value is given within the interval [0, 1] but is definite.
Paraconsistent epistemic logic represents a significant advancement in a formal system that reconciles inconsistency-tolerant reasoning with epistemic notions such as belief, evidence, and knowledge [32,33]; in other words, it distinguishes between evidence (epistemic justification) and truth (ontological fact), such that true contradictions trivialize the system, while evidence for contradictions is tolerated as epistemic uncertainty. Such uncertainty differs from the ones in this study and within fuzzy epistemic logic.

7. Conclusions

This study introduced an extension of the logic of doxastic attitudes to a fuzzy setting, where beliefs are represented as continuous values within the interval [0,1] rather than binary Boolean values. This framework provides a more nuanced and realistic representation of uncertain and imprecise beliefs. We presented the axioms of the fuzzy logic of doxastic attitudes and established their theoretical foundations by proving soundness and completeness. Through a practical example in tourism scenarios, we demonstrated the applicability of this framework in modeling and reasoning with uncertain preferences and beliefs. This example highlights the potential of the proposed logic to enhance decision-making processes in real-world applications where uncertainty and ambiguity are inherent.
In our future research, we aim to explore the application of the fuzzy logic of doxastic attitudes in the financial field. Although traditional epistemic logic is useful, it has limitations in dealing with the inherent uncertainty and fuzziness that are prevalent in financial data and decision-making processes. Through combining fuzzy logic with epistemic logic, we strive to construct a more detailed framework to better simulate the complex and often ambiguous nature of financial information. This hybrid approach will enable us to represent beliefs and knowledge as continuous values within the interval [0, 1], rather than being confined to binary true or false classifications. We believe this will more accurately reflect the ways in which financial entities reason and make decisions under conditions of uncertainty. Our research will focus on developing a set of axioms and rules for this fuzzy cognitive logic framework specifically tailored to financial contexts. We will investigate its potential in various financial applications, including risk assessment, market trend prediction, and portfolio optimization.

Author Contributions

Conceptualization, J.Z.; methodology, J.Z.; proof, J.Z.; validation, X.Z. and Y.Z.; formal analysis, J.Z.; investigation, X.Z.; resources, J.Z.; writing—original draft preparation, J.Z.; writing—review and editing, J.Z. and X.Z.; example L.T.; funding acquisition, J.Z. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by National Natural Science Foundation (NNSF) of China grant number 61602249, and the Major Project of Natural Science Foundation of Jiangsu Education Department of Jiangsu Province of China grant number 21KJA630001.

Data Availability Statement

No new data were generated or analyzed in support of this research.

Conflicts of Interest

The authors declare that there are no known financial or personal conflicts that could have influenced the results of this study.

References

  1. Hintikka, J. Knowledge and Belief: An Introduction to the Logic of the Two Notions; King’s College Publications: London, UK, 1962. [Google Scholar]
  2. Benthem, J.V. Epistemic Logic and Epistemology: The State of Their Affairs. Philos. Stud. Int. J. Philos. Anal. Tradit. 2006, 128, 49–76. [Google Scholar] [CrossRef]
  3. Ditmarsch, H.V.; Hoek, W.V.D.; Kooi, B.P. Dynamic Epistemic Logic; Springer: Berlin/Heidelberg, Germany, 2008. [Google Scholar]
  4. Meyer, J.J.C.; Meyer, J.J.C.; van der Hoek, W. Epistemic Logic for AI and Computer Science; Cambridge University Press: Cambridge, UK, 1995. [Google Scholar]
  5. Kaneko, M. Epistemic logics and their game theoretic applications: Introduction. Econ. Theory 2002, 19, 7–62. [Google Scholar] [CrossRef]
  6. Rosser, J.B. Logic and Epistemology in Behavioral Economics. In Artificial Intelligence, Learning and Computation in Economics and Finance; Springer: Cham, Switzerland, 2023; pp. 27–40. [Google Scholar]
  7. Harvey, A.G.; Watkins, E.; Mansell, W. Cognitive Behavioural Processes Across Psychological Disorders: A Transdiagnostic Approach to Research and Treatment; Oxford University Press: Oxford, UK, 2004. [Google Scholar]
  8. Holliday, W.H. Epistemic Logic and Epistemology. In Introduction to Formal Philosophy; Springer: Cham, Switzerland, 2018; pp. 351–369. [Google Scholar]
  9. Lorini, E. In Praise of Belief Bases: Doing Epistemic Logic Without Possible Worlds. In Proceedings of the AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, 2–7 February 2018; Volume 32. [Google Scholar]
  10. Lorini, E.; Jimenez, B.F.R. Decision Procedures for Epistemic Logic Exploiting Belief Bases. In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, Montreal, QC, Canada, 13–17 May 2019; pp. 944–952. [Google Scholar]
  11. Lorini, E. Rethinking Epistemic Logic with Belief Bases. Artif. Intell. 2020, 282, 103–233. [Google Scholar] [CrossRef]
  12. Halpern, J.Y. Reasoning about Uncertainty; The MIT Press: Cambridge, MA, USA, 2017. [Google Scholar] [CrossRef]
  13. Kooi, B.P. Probabilistic Dynamic Epistemic Logic. J. Logic Lang. Inf. 2003, 12, 381–408. [Google Scholar] [CrossRef]
  14. Artemov, S.; Protopopescu, T. Intuitionistic Epistemic Logic. Rev. Symb. Log. 2016, 9, 266–298. [Google Scholar] [CrossRef]
  15. Su, Y.; Sano, K. First-Order Intuitionistic Epistemic Logic. In Proceedings of the Logic, Rationality, and Interaction, Chongqing, China, 18–21 October 2019. [Google Scholar]
  16. Zadeh, L.A. Fuzzy Sets. Inf. Control 1965, 8, 338–353. [Google Scholar] [CrossRef]
  17. Valdez, F.; Castillo, O.; Melin, P. A Review on Type-2 Fuzzy Systems in Robotics and Prospects for Type-3 Fuzzy. In Proceedings of the Applied Mathematics and Computational Intelligence, Tripura, India, 23–24 December 2023; pp. 211–223. [Google Scholar]
  18. Chou, C.H.; Teng, J.C. A fuzzy logic controller for traffic junction signals. Inf. Sci. 2002, 143, 73–97. [Google Scholar] [CrossRef]
  19. Hadrani, A.; Guennoun, K.; Saadane, R.; Wahbi, M. Fuzzy Rough Sets: Survey and Proposal of an Enhanced Knowledge Representation Model Based on Automatic Noisy Sample Detection. Cogn. Syst. Res. 2020, 64, 37–56. [Google Scholar] [CrossRef]
  20. Dang, T.T.; Nguyen, N.A.T.; Nguyen, V.T.T.; Dang, L.T.H. A Two-Stage Multi-Criteria Supplier Selection Model for Sustainable Automotive Supply Chain under Uncertainty. Axioms 2022, 11, 228. [Google Scholar] [CrossRef]
  21. Mitra, S.; Pal, S.K. Fuzzy sets in pattern recognition and machine intelligence. Fuzzy Sets Syst. 2005, 156, 381–386. [Google Scholar] [CrossRef]
  22. Marín Díaz, G.; Gómez Medina, R.; Aijón Jiménez, J.A. Integrating Fuzzy C-Means Clustering and Explainable AI for Robust Galaxy Classification. Mathematics 2024, 12, 2797. [Google Scholar] [CrossRef]
  23. Nik-Khorasani, A.; Mehrizi, A.; Sadoghi-Yazdi, H. Robust hybrid learning approach for adaptive neuro-fuzzy inference systems. Fuzzy Sets Syst. 2024, 481, 108890. [Google Scholar] [CrossRef]
  24. Lima-Junior, F.R. Advances in Fuzzy Logic and Artificial Neural Networks. Mathematics 2024, 12, 3949. [Google Scholar] [CrossRef]
  25. Kripke, S. Semantical Considerations on Modal Logic. Acta Philos. Fenn. 1963, 16, 83–94. [Google Scholar]
  26. Mironov, A.M. Fuzzy modal logics. J. Math. Sci. 2005, 128, 3461–3483. [Google Scholar]
  27. Fitting, M. Many-Valued Modal Logics. Fundam. Informaticae 1991, 15, 235–254. [Google Scholar]
  28. Maruyama, Y. Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Spain, 16–22 July 2011; pp. 1008–1013. [Google Scholar]
  29. Benevides, M.R.F.; Madeira, A.; Martins, M.A. A Family of Graded Epistemic Logics. Electron. Notes Theor. Comput. Sci. 2018, 338, 45–59. [Google Scholar]
  30. Benevides, M.; Madeira, A.; Martins, M.A. Graded Epistemic Logic with Public Announcement. J. Log. Algebr. Methods Program. 2022, 125, 100732. [Google Scholar]
  31. Pan, Y.; Guo, M. Probabilistic epistemic logic based on neighborhood semantics. Synthese 2024, 203, 135. [Google Scholar]
  32. Walter, C.; Abilio, R. On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms. Log. J. IGPL 2021, 29, 569–584. [Google Scholar]
  33. Carnielli, W.; Rodrigues, A. An epistemic approach to paraconsistency: A logic of evidence and truth. Synthese 2019, 196, 3789–3813. [Google Scholar]
Table 1. Symbol table.
Table 1. Symbol table.
SymbolsMeanings
p , q , p 1 atomic propositions
i , j agents
α , γ the formulas in L A N G 0
φ , ψ the formulas in L A N G
w , v , x , y the worlds in Kripke model
Table 2. Temperature correspondence.
Table 2. Temperature correspondence.
Fuzzy
Concept
Temperature
Value (°C)
Belief Truth
Value ( Temp A )
Cold0–100.2
Cool10–150.8
Comfortable15–181.0
Warm18–220.8
Hot>220.2
Table 3. Evolution of model.
Table 3. Evolution of model.
StateHAL’s BeliefsBob’s Beliefs
w 0 Go-out = 1, Sunny = 1Temp→Go-out = 1
w 1 Go-out = 1, Sunny = 1, Temp→Go-out = 1Temp→Go-out = 1, Sunny = 1
w 2 Go-out = 1, Sunny = 1, Temp→Go-out = 1, Temp = 0.8Temp→Go-out = 1, Sunny = 1
w 3 Go-out = 1, Sunny = 1, Temp→Go-out = 1, Temp = 0.8Temp→Go-out = 1, Sunny = 1, Temp = 0.8
w 4 Go-out = 1, Sunny = 1, Temp→Go-out = 1, Temp = 0.8Temp→Go-out = 1, Sunny = 1, Temp = 0.8, Go-out = 0.8
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Zhang, J.; Zhou, X.; Zhang, Y.; Tan, L. Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes. Mathematics 2025, 13, 1105. https://doi.org/10.3390/math13071105

AMA Style

Zhang J, Zhou X, Zhang Y, Tan L. Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes. Mathematics. 2025; 13(7):1105. https://doi.org/10.3390/math13071105

Chicago/Turabian Style

Zhang, Jinjin, Xiaoxia Zhou, Yan Zhang, and Lixing Tan. 2025. "Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes" Mathematics 13, no. 7: 1105. https://doi.org/10.3390/math13071105

APA Style

Zhang, J., Zhou, X., Zhang, Y., & Tan, L. (2025). Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes. Mathematics, 13(7), 1105. https://doi.org/10.3390/math13071105

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop