Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs

During the last years we have developed advanced tools for tuning fuzzy logic programs devoted to facilitate the selection of the more appropriate set of weights and fuzzy connectives used in programs rules. Designing accurate techniques for automating these tasks is very useful for programmers, eve...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE International Fuzzy Systems conference proceedings pp. 1 - 8
Main Authors:	Riaza, Jose A., Moreno, Gines
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.07.2020
Subjects:	Fuzzy Logic Programming SAT/SMT Software for Soft Computing Tuning
ISSN:	1558-4739
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!