SPECIFICATION AND COMPUTING STATES IN FUZZY ALGORITHMS-Reference-Cited by-同舟云学术

SPECIFICATION AND COMPUTING STATES IN FUZZY ALGORITHMS

Published:2008-06 Issue:03 Volume:16 Page:301-336
ISSN:0218-4885
Container-title:International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
language:en
Short-container-title:Int. J. Unc. Fuzz. Knowl. Based Syst.

Author:

LOPEZ VICTORIA¹,MONTERO JAVIER²,GARMENDIA LUIS³,RESCONI GERMANO⁴

Affiliation:

1. Engineering and Computer Sciences, Nebrija University, Pirineos 55, Madrid, E-28040, Spain

2. Faculty of Mathematics, Complutense University, Plaza de las Ciencias 3, Madrid, E-28040, Spain

3. Faculty of Computer Science, Complutense University, Profesor García Santesmases s/n, Madrid, E-28040, Spain

4. Department of Mathematics and Physics, Catholic University, Via Musei 41, Brescia, I-25121, Italy

Abstract

Since many complex decision making problems can be solved solely by means of an appropriate algorithm, checking the quality of such algorithm is a key issue, even more relevant in the presence of fuzzy uncertainty. In this paper we postulate that the design and formal specification of algorithms can be translated into a fuzzy framework introducing fuzzy first order logic and assert transformations. Following the classical crisp scheme we first formalize the concepts of a fuzzy algorithm specification and a fuzzy computing state, and then a new fuzzy computational logic is presented, so we can derive a computational reasoning for correctness of algorithms. A proposal for the evaluation and setting of suitable degrees of truth to computing states is also introduced.

Publisher

World Scientific Pub Co Pte Lt

Subject

Artificial Intelligence,Information Systems,Control and Systems Engineering,Software

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0218488508005303

Reference34 articles.

1. Deterministic and nondeterministic flowchart interpretations

2. Foundations of Constructive Mathematics

3. K. L. Clark, Logic and Data Bases, eds. H. Gallaire and J. Winker (Plenum Press, New York, 1973) pp. 293–306.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Development of child's home environment indexes based on consistent families of aggregation operators with prioritized hierarchical information;Fuzzy Sets and Systems;2014-04

2. Strictly stable families of aggregation operators;Fuzzy Sets and Systems;2013-10

3. Consistency and Stability in Aggregation Operators: An Application to Missing Data Problems;Aggregation Functions in Theory and in Practise;2013

4. MODELING THE STABILITY OF A COMPUTER SYSTEM;International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems;2012-06

5. Formal Engineering with Fuzzy Logic;Advances in Intelligent and Soft Computing;2011