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
![]() |
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