On the logical formalization of possibilistic counterparts of states over n-valued Łukasiewicz events

Journal of Logic and Computation

Volumn 21, Issue 3, 2011, Pages 429-446

  Flaminio, Tommaso ^a   Godo, Lluís ^b   Marchioni, Enrico ^b  

^a UNIVERSITY OF SIENA   (Italy)

^b ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

ukasiewicz logic; generalized Sugeno integral; MV algebras; possibilistic states

Indexed keywords

KRIPKE MODEL; LOGICAL FORMALIZATION; MODAL LOGIC; MV-ALGEBRAS; POSSIBILISTIC; POSSIBILITY-AND-NECESSITY MEASURES; SUGENO INTEGRALS;

MANY VALUED LOGICS;

BOOLEAN ALGEBRA;

EID: 78649316473     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exp012     Document Type: Article

References (23)

1. S. Aguzzoli. An asymptotically tight bound on countermodels for Łukasiewicz Logic. International Journal of Approximate Reasoning, 43, 76-89, 2006. (Pubitemid 44118661)
2. T. Alsinet. Logic Programming with Fuzzy Unification and Imprecise Constants: Possibilistic Semantics and Automated Deduction. Monografies de l'Institut d'Investigació en Intel. ligència Artificial, Consejo Superior de Investigaciones Científicas, Barcelona, 2003.
3. T. Alsinet, L, Godo, and S. Sandri. On the semantics and automated deduction for PLFC. In Proceedings of the 15th Annual Conference on Uncertainty in Artificial Intelligence (UAI-99), K. Laskey and H. Prade eds, pp. 3-12. Morgan Kaufmann, San Francisco CA, 1999.
4. W. J. Blok and D. Pigozzi. Algebraizable logics. Memoirs of the American Mathematical Society, 77, 396, 1989.
5. T. Calvo, G. Mayor, and R. Mesiar, eds. Aggregation Operators: New Trends and Applications, volume 97 of Studies in Fuzziness and Soft Computing. Springer Verlag, 2002.
6. R. Cignoli, I. M. L. D'Ottaviano, and D. Mundici. Algebraic foundations of many-valued reasoning, In Trends in Logic - Studia Logica Library, vol. 7. Kluwer Academic Publishers, 2000.
7. D. Dubois and H. Prade. Possibility Theory, French edn. Plenum Press, 1988. An approach to computerized processing of uncertainty, With the collaboration of Henri Farreny, Roger Martin-Clouaire and Claudette Testemale, Translated by E. F. Harding, With a foreword by Lotfi A. Zadeh.
8. D. Dubois and H. Prade. Resolution principles in possibilistic logic. International Journal of Approximate Reasoning, 4, 1-21, 1990.
9. D. Dubois, J. Lang, and H. Prade. Possibilistic logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, D. Gabbay, C. Hogger, J. Robinson, D. Nute, eds, vol. 5 of Nonmonotonic Reasoning and Uncertain Reasoning, pp. 439-513. Oxford University Press, 1994.
10. T. Flaminio. A Fuzzy-Modal Approach to Probability: From Crisp to Fuzzy Events. PhD Thesis, University of Siena, 2006.
11. T. Flaminio. Strong non-standard completeness for fuzzy logics. Soft Computing, 12, 321-333, 2008. (Pubitemid 350041992)
12. T. Flaminio and L. Godo. A logic for reasoning about the probability of fuzzy events. Fuzzy Sets and Systems, 158, 625-638, 2007. (Pubitemid 46187287)
13. B. Gerla. Many-valued Logics of Continuous t-norms and Their Functional Representation. PhD Thesis, University of Milan, 2001.
14. L. Godo and L. Vila. Possibilistic temporal reasoning based on fuzzy temporal constraints. In Proceedings of IJCAI'95, pp. 1916-1922. Morgan Kaufmann, 1995.
15. P. Hájek. Metamathematics of fuzzy logic. In Trends in Logic - Studia Logica Library, vol. 4. Kluwer Academic Publishers, 1998.
16. P. Hájek. Complexity of fuzzy probabilistic logic II. Fuzzy Sets and Systems, 158, 2605-2611, 2007.
17. P. Hájek, D. Harmancová, F. Esteva, P. Garcia, and L. Godo. On modal logics for qualitative possibility in a fuzzy setting. In Proceedings of the 94 Uncertainty in Artificial Intelligence Conference (UAI'94), R. López de Mántaras and D. Poole, eds, pp. 278-285. Morgan Kaufmann, 1994.
18. J. Y. Halpern. Reasoning About Uncertainty. MIT Press, 2003.
19. D. Mundici. Averaging the truthvalue in Łukasiewicz logic. Studia Logica, 55, 113-127, 1995.
20. A. Schrijver. Theory of Linear and Integer Programming. John Willey & Sons Ltd, 1986.
21. G. Shafer. A Mathematical Theory of Evidence. Princeton University Press, 1976.
22. M. Sugeno. Theory of Fuzzy Integrals and its Applications. PhD Thesis, Tokyo Institute of Technology, 1974.
23. P. Walley. Statistical Reasoning With Imprecise Probabilities. vol. 42. Monographs on Statistics and Applied Probability. Chapman and Hall Ltd., 1991.