Volume 9, Issue 4, August 2016, Pages 612 - 626
An Interpretable Logical Theory: The case of Compensatory Fuzzy Logic
Authors
Rafael A. Espin-Andrade
Universidad Autónoma de Coahuila, Blvd Revolución y Donato Guerra, s/n
Erick Gonzalez
Mathematical Center for Technical Sciences, Higher Technical University of Havana, 27 Calle 114 # 11901 e/ Ciclovía y Rotonda, Marianao, Havana, Cuba
Witold Pedrycz
Department of Electrical and Computer Engineering, University of Alberta, AB T6R 2G7, Edmonton, Canada
Eduardo Fernandez
Autonomous University of Sinaloa, Calzada de las Americas y Boulevard Universitarios s/n, Culiacán Rosales, Sinaloa 80040, Mexico
Received 5 August 2015, Accepted 20 February 2016, Available Online 1 August 2016.
- DOI
- 10.1080/18756891.2016.1204111How to use a DOI?
- Keywords
- Interpretability; Compensatory Fuzzy Logic
- Abstract
This paper aims to formally define a concept of interpretability according to natural language of a logical theory, and show advances for demonstrating that the logic system called Compensatory Fuzzy Logic is interpretable. A logical theory is interpretable according to natural language if the calculus based upon the elements of this logical theory can be understood in natural language and vice versa. We present conditions necessary for a logical theory to be called interpretable, especially Compensatory Fuzzy Logic.
- Copyright
- © 2016. the authors. Co-published by Atlantis Press and Taylor & Francis
- Open Access
- This is an open access article under the CC BY-NC license (http://creativecommons.org/licences/by-nc/4.0/).
Download article (PDF)
View full text (HTML)
Cite this article
TY - JOUR AU - Rafael A. Espin-Andrade AU - Erick Gonzalez AU - Witold Pedrycz AU - Eduardo Fernandez PY - 2016 DA - 2016/08/01 TI - An Interpretable Logical Theory: The case of Compensatory Fuzzy Logic JO - International Journal of Computational Intelligence Systems SP - 612 EP - 626 VL - 9 IS - 4 SN - 1875-6883 UR - https://doi.org/10.1080/18756891.2016.1204111 DO - 10.1080/18756891.2016.1204111 ID - Espin-Andrade2016 ER -