RT Book, Section T1 Formal Specification and Implementation of Computational aggregation functions A1 Lopez, Victoria A1 Montero, Javier A1 Rodríguez, Juan Tinguaro A2 Dan, Ruan A2 Tianrui, Li A2 Xu, Yang A2 Chen, Guoqing A2 Kerre, Etienne E. AB 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. PB World Scientific Publishing Company SN 9789814324694 YR 2010 FD 2010 LK https://hdl.handle.net/20.500.14352/45336 UL https://hdl.handle.net/20.500.14352/45336 LA eng NO 9th International FLINS Conference on Computational Intelligence: Foundations and Applications DS Docta Complutense RD 8 may 2024