Fuzzy specification of algorithms
| dc.book.title | New trends in preference modelling | |
| dc.contributor.author | López, Victoria | |
| dc.contributor.author | Montero De Juan, Francisco Javier | |
| dc.contributor.editor | Martinez, Luis | |
| dc.contributor.editor | Baets, Bernard de | |
| dc.contributor.editor | Gonzaga, luis | |
| dc.date.accessioned | 2023-06-20T13:42:14Z | |
| dc.date.available | 2023-06-20T13:42:14Z | |
| dc.date.issued | 2007 | |
| dc.description | Proceedings EUROFUSE’07 | |
| dc.description.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. | en |
| dc.description.department | Depto. de Estadística e Investigación Operativa | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.sponsorship | Government of Spain | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/30795 | |
| dc.identifier.isbn | 978-84-690-4561-9 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/53444 | |
| dc.language.iso | eng | |
| dc.page.final | 156 | |
| dc.page.initial | 151 | |
| dc.publication.place | Jaen | |
| dc.publisher | University of Jaén | |
| dc.relation.projectID | TIN2006-06190 | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 510.64 | |
| dc.subject.keyword | Fuzzy specification | |
| dc.subject.keyword | Decision making. | |
| dc.subject.ucm | Matemáticas (Matemáticas) | |
| dc.subject.unesco | 12 Matemáticas | |
| dc.title | Fuzzy specification of algorithms | en |
| dc.type | book part | |
| dcterms.references | [1] T. Calvo, A. Kolesarova, M. Komornikova and R. Mesiar. Agreggation operators: properties, classes and construction methods. In T. Calvo, G. Mayor and R.Mesiar,Eds.,Aggregation Operators, Physica-Verlag, Heidelberg,2002; pp. 3–104. [2] T. Calvo and A. Pradera. Double aggregation operators. In Fuzzy Sets and Systems, 142:15–33, 2004. [3] E.W. Dijkstra. A discipline of Programming.In Prentice Hall, 1976. [4] E.W. Dijkstra and W.H.J. Feijen. A method of programming. Addison-Wesley, 1988. [5] C.A.R. Hoare. An axiomatic basis for computer programming. Communications ACM, 12:89–100, 1969. [6] V. L´opez. Diseño y verificacion de algoritmos para el tratamiento difuso de imagenes digitales en teledetecci´on y seguridad. In Ph.D. Thesis, Politechnic University of Madrid, Spain, 2004 (in Spanish). [7] V. Lopez, J. M. Cleva and J. Montero. A functional tool for Fuzzy First Order Logic Evaluation. In D. Ruan et al., eds., Applied Artificial Intelligence, World Scientific, New Jersey, 2006; pp. 19–26. [8] J. Montero, V. L´opez and D. Gomez. The role of fuzziness in decision making. In D. Ruan et al., Fuzzy Logic: an spectrum of applied and theoretical issues, Springer, in press. [9] L.A. Zadeh. From computing with numbers to comuting with words- From manipulation of measurements to manipulation of perceptions. In P.P. Wang,ed., Computing with words, Wiley, 35–68,2001.156 | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 9e4cf7df-686c-452d-a98e-7b2602e9e0ea | |
| relation.isAuthorOfPublication.latestForDiscovery | 9e4cf7df-686c-452d-a98e-7b2602e9e0ea |
Download
Original bundle
1 - 1 of 1