Specification and computing states in fuzzy algorithms



Downloads per month over past year

Lopez, Victoria and Montero, Javier and Garmendia, Luis and Resconi, Germano (2008) Specification and computing states in fuzzy algorithms. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 16 (3). pp. 301-336. ISSN 0218-4885

[thumbnail of Montero26.pdf] PDF
Restringido a Repository staff only


Official URL: http://www.worldscinet.com/ijufks/16/1603/S0218488508005303.html


Since many complex decision making problems can be solved solely by means of an ap-propriate 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 de-sign and formal specication of algorithms can be translated into a fuzzy framework introducing fuzzy rst order logic and assert transformations. Following the classical crisp scheme we rst formalize the concepts of a fuzzy algorithm specication 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.

Item Type:Article
Uncontrolled Keywords:Fuzzy algorithms; Fuzzy specication; Decision making.
Subjects:Sciences > Computer science > Artificial intelligence
ID Code:16192
Deposited On:10 Sep 2012 11:51
Last Modified:27 Jul 2018 10:32

Origin of downloads

Repository Staff Only: item control page