Títol | A fuzzy modal logic for belief functions |

Publication Type | Conference Paper |

Year of Publication | 2001 |

Authors | Godo L [1], Hájek P [2], Esteva F [3] |

Editor | Nebel B [4] |

Conference Name | IJCAI-01 |

Editor | IJCAII |

Paginació | 723-729 |

Resum | In this paper we introduce a new logical approach to reason explicitly about Dempster-Shafer belief functions. We adopt the following view: one just starts with Boolean formulas and a belief function on them; the belief of is taken to be the truth degree of the (fuzzy) proposition standing for ' is believed'. Four our complete axiomatization (Hylbert-style) we use one of the possible definitions of belief, namely as probability of (modal) necessity. This enables us to define a logical system combining the modal logic S5 with an already proposed fuzzy logic approach to reason about probabilities. In particular, our fuzzy logic is the logic LPi1/2 wich puts Lukasiewicz and Product logics together. |