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...

Celý popis

Podrobná bibliografie

Vydáno v:	IEEE International Fuzzy Systems conference proceedings s. 1 - 8
Hlavní autoři:	Riaza, Jose A., Moreno, Gines
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.07.2020
Témata:	Fuzzy Logic Programming SAT/SMT Software for Soft Computing Tuning
ISSN:	1558-4739
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!