Hyperresolution for Multi-step Fuzzy Inference in Goedel Logic
Logic in Computer Science
2023-12-12 v1
Abstract
This paper is a continuation of our work concerning the logical and computational foundations of multi-step fuzzy inference. We bring further results on the implementation of the Mamdani-Assilian type of fuzzy rules and inference in Goedel logic with truth constants. In our previous work, we have provided translation of Mamdani-Assilian fuzzy rules to formulae of Goedel logic, and subsequently, to suitable clausal form. Moreover, we have outlined a class of problems regarding general properties of fuzzy inference and shown its reduction to a class of deduction/unsatisfiability problems. We now focus on solving such problems using an adapted hyperresolution calculus.
Keywords
Cite
@article{arxiv.2312.05750,
title = {Hyperresolution for Multi-step Fuzzy Inference in Goedel Logic},
author = {Dusan Guller},
journal= {arXiv preprint arXiv:2312.05750},
year = {2023}
}