Home // IARIA Congress 2024, The 2024 IARIA Annual Congress on Frontiers in Science, Technology, Services, and Applications // View article

Symbolic Unfolding of Similarity-based Fuzzy Logic Programs

Authors:
Ginés Moreno
José Antonio Riaza

Keywords: Fuzzy Logic Programming; Similarity; Symbolic Unfolding.

Abstract:
FASILL introduces “Fuzzy Aggregators and Similarity Into a Logic Language”. In its symbolic extension, called sFASILL, some truth degrees, similarity annotations and fuzzy connectives can be left unknown, so that the user can easily figure out the impact of their possible values at execution time. In this paper, we adapt to this last setting a similarity-based, symbolic variant of unfolding rule, which is very well known in most declarative frameworks. This semantics-preserving transformation technique is based on the application of computational steps on the bodies of program rules for improving efficiency. The method has been implemented in a freely available online tool and, to the best of our knowledge, it represents the first approach for unfolding fuzzy logic programs coping with symbolic similarity relations.

Pages: 121 to 125

Copyright: Copyright (c) IARIA, 2024

Publication date: June 30, 2024

Published in: conference

ISBN: 978-1-68558-180-0

Location: Porto, Portugal

Dates: from June 30, 2024 to July 4, 2024