An unfolding-based preprocess for reinforcing thresholds in fuzzy tabulation

Authors:
Pascual Julián-Iranzo;Jesús Medina-Moreno;Pedro J. Morcillo;Gines Moreno;Manuel Ojeda-Aciego
Affiliations:
Dept. of Information Technologies and Systems, University of Castilla-La Mancha, Spain;Department of Mathematics, University of Cadiz, Spain;Department of Computing Systems, University of Castilla-La Mancha, Spain;Department of Computing Systems, University of Castilla-La Mancha, Spain;Department of Applied Mathematics, University of Málaga, Spain
Venue:
IWANN'13 Proceedings of the 12th international conference on Artificial Neural Networks: advances in computational intelligence - Volume Part I
Year:
2013

Citing 9
Cited 0

Theory of generalized annotated logic programming and its applications

Journal of Logic Programming
A Transformation System for Developing Recursive Programs

Journal of the ACM (JACM)
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence

Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Multi-adjoint Logic Programming with Continuous Semantics

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Programming with Fuzzy Logic Rules by Using the FLOPER Tool

RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Prolog-ELF incorporating fuzzy logic

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
On fuzzy unfolding: A multi-adjoint approach

Fuzzy Sets and Systems
A static preprocess for improving fuzzy thresholded tabulation

IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
A flexible XPath-based query language implemented with fuzzy logic programming

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We have recently proposed a technique for generating thresholds (filters) useful for avoiding useless computations when executing fuzzy logic programs in a tabulated way. The method was conceived as a static preprocess practicable on program rules before being executed with our fuzzy thresholded tabulation principle, thus increasing the opportunities of prematurely disregarding those computation steps which are redundant (tabulation) or directly lead to non-significant solutions (thresholding). In this paper we reinforce the power of such static preprocess--which does not require the consumption of extra computational resources at execution time--by re-formulating it in terms of the fuzzy unfolding technique initially designed in our group for transforming and optimizing fuzzy logic programs.