Complutense University Library

Formal Specification and Implementation of Computational

Lopez, Victoria and Montero de Juan, Francisco Javier and Tinguaro Rodríguez, J. (2010) Formal Specification and Implementation of Computational. In Computational Intelligence: Foundations and Applications, Proceedings of the 9th International FLINS Conference (World Scientific Proceedings Series on Computer Engineering and Information Science). World Scientific Proceedings Series on Computer Engineering and Information Science, 4 (4). World Scientific Publishing Company , pp. 523-528. ISBN 9789814324694

Official URL:

View download statistics for this eprint

==>>> Export to other formats


This paper recalls some criticisms to the currently-in-use definition of aggregation function, concerning, firstly, the lack of conditions that guarantee the conceptual harmonization of the sequence of operators and, second, the possibility of the so defined functions being not practically implementable. In order to address such criticisms, an alternative definition was proposed in a previous work from a computational approach. Here, we go one step further by giving a definition of the formal specification of an aggregation function. This enables to introduce a first classification of aggregation rules.

Item Type:Book Section
Additional Information:

9th International FLINS Conference on Computational Intelligence: Foundations and Applications

Uncontrolled Keywords:Aggregation functions; Fuzzy Logic; Formal Specification; Programming
Subjects:Sciences > Mathematics > Logic, Symbolic and mathematical
ID Code:16049
Deposited On:24 Jul 2012 09:20
Last Modified:24 Jul 2012 09:20

Repository Staff Only: item control page