A graded inference approach based on infinite-valued Łukasiewicz semantics

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 2010, Pages 252-257

  Muiño, David Picado ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

CONSEQUENCE RELATIONS;

SEMANTICS;

MANY VALUED LOGICS;

EID: 77955317351     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISMVL.2010.54     Document Type: Conference Paper

References (12)

1. Bou, F. A first approach to the deduction-detachment theorem in logics preserving degrees of truth. Proceedings of the 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Malaga, 2008, Magdalena, L., Ojeda-Aciego, M. and Verdegay, J. L. Eds. 10611067.
2. Font, J.M., Gil, A.J., Torrens, A. and Verdú, V. On the infinitevalued Łukasiewicz logic that preserves degrees of truth. Archive for Mathematical Logic, 45/7 (2006), 839-868.
3. Gerla, G. Fuzzy Logic: Mathematical Tools for Approximate Reasoning. Kluwer Academic Publishers, Dordrecht, 2001.
4. Hajek, P. Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, 1998.
5. Knight, K.M. Measuring inconsistency. Journal of Philosophical Logic, 31 (2002), 77-98.
6. Marker, D. Model theory: An introduction. Graduate Texts in Mathematics, 217, Springer-Verlag, New York, 2002.
7. McNaughton, R. A Theorem About Infinite-Valued Sentential Logic. The Journal of Symbolic Logic, Volume 16, Number 1 (1951), 1-13.
8. Paris, J.B. The Uncertain Reasoner's Companion. Cambridge University Press, 1994.
9. Paris, J. B. Deriving information from inconsistent knowledge bases: A completeness theorem for ηΔη. Logic Journal of the IGPL, 12(5) (2004), 345-353.
10. Paris, J. B., Picado Muiño, D. and Rosefield, M. Information from inconsistent knowledge: A probability logic approach. Interval / Probabilistic Uncertainty and Non-Classical Logics. Advances in Soft Computing, 46 (2008), 291-307.
11. Paris, J. B., Picado Muiño, D. and Rosefield, M. Inconsistency as qualified truth: A probability logic approach. International Journal of Approximate Reasoning, 50 (2009), 1151-1163.
12. Picado Muiño, D. Deriving information from inconsistent knowledge bases: A probabilistic approach. Ph.D Thesis. School of Mathematics. The University of Manchester, 2008.