Universidad Complutense de Madrid
E-Prints Complutense

Fuzzy specification of algorithms

Impacto

Downloads

Downloads per month over past year



Lopez, Victoria and Montero, Javier (2007) Fuzzy specification of algorithms. In New trends in preference modelling. University of Jaén, Jaen, pp. 151-156. ISBN 978-84-690-4561-9

[img] PDF
Restringido a Repository staff only

151kB


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. A proposal for the evaluation and setting of suitable degrees of truth to computing states is introduced.


Item Type:Book Section
Additional Information:

Proceedings EUROFUSE’07

Uncontrolled Keywords:Fuzzy specification; Decision making.
Subjects:Sciences > Mathematics
ID Code:30795
Deposited On:11 Jun 2015 09:15
Last Modified:19 Apr 2016 17:10

Origin of downloads

Repository Staff Only: item control page