Universidad Complutense de Madrid
E-Prints Complutense

Specification and computing states in fuzzy algorithms

Impacto

Downloads

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

[img] PDF
Restringido a Repository staff only

366kB

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


URLURL Type
http://www.worldscinet.comPublisher


Abstract

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