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: http://eproceedings.worldscinet.com/9789814324700/9789814324700_0078.html
Abstract
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 11:20 |
| Last Modified: | 24 Jul 2012 11:20 |
Repository Staff Only: item control page
