Lopez, VictoriaMontero, JavierRodríguez, Juan TinguaroDan, RuanTianrui, LiXu, YangChen, GuoqingKerre, Etienne E.2023-06-202023-06-2020109789814324694https://hdl.handle.net/20.500.14352/453369th International FLINS Conference on Computational Intelligence: Foundations and ApplicationsThis 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.engbook parthttp://eproceedings.worldscinet.com/9789814324700/9789814324700_0078.htmlhyyp://www.worldscinet.comrestricted access510.64Aggregation functionsFuzzy LogicFormal SpecificationProgrammingLógica simbólica y matemática (Matemáticas)1102.14 Lógica Simbólica