A logic for reasoning about the probability of fuzzy events
In this paper we present the logic FP (Łn, Ł) which allows to reason about the probability of fuzzy events formalized by means of the notion of state in a MV-algebra. This logic is defined starting from a basic idea exposed by Hájek [Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, 1998]. Two kind...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2007 |
| País: | España |
| Institución: | Consejo Superior de Investigaciones Científicas (CSIC) |
| Repositorio: | DIGITAL.CSIC. Repositorio Institucional del CSIC |
| OAI Identifier: | oai:digital.csic.es:10261/159956 |
| Acceso en línea: | http://hdl.handle.net/10261/159956 |
| Access Level: | acceso abierto |
| Palabra clave: | State and conditional states on MV-algebras Fuzzy events Standard completeness Łukasiewicz logic |
| Sumario: | In this paper we present the logic FP (Łn, Ł) which allows to reason about the probability of fuzzy events formalized by means of the notion of state in a MV-algebra. This logic is defined starting from a basic idea exposed by Hájek [Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, 1998]. Two kinds of semantics have been introduced, namely the class of weak and strong probabilistic models. The main result of this paper is a completeness theorem for the logic FP (Łn, Ł) w.r.t. both weak and strong models. We also present two extensions of FP (Łn, Ł): the first one is the logic FP (Łn, RPL), obtained by expanding the FP (Łn, Ł)-language with truth-constants for the rationals in [0, 1], while the second extension is the logic FCP (Łn, Ł Π frac(1, 2)) allowing to reason about conditional states. © 2006 Elsevier B.V. All rights reserved. |
|---|