Tuning Fuzzy Logic Programs with Symbolic Execution
Abstract
Fuzzy logic programming is a growing declarative paradigm aiming to integrate fuzzy logic into logic programming. One of the most difficult tasks when specifying a fuzzy logic program is determining the right weights for each rule, as well as the most appropriate fuzzy connectives and operators. In this paper, we introduce a symbolic extension of fuzzy logic programs in which some of these parameters can be left unknown, so that the user can easily see the impact of their possible values. Furthermore, given a number of test cases, the most appropriate values for these parameters can be automatically computed.
Cite
@article{arxiv.1608.04688,
title = {Tuning Fuzzy Logic Programs with Symbolic Execution},
author = {Ginés Moreno and Jaime Penabad and Germán Vidal},
journal= {arXiv preprint arXiv:1608.04688},
year = {2016}
}
Comments
Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)