A formal theoretical framework for a flexible classification process. (22nd January 2021)

• Record Type: Journal Article
• Authors: Biskri, Ismaïl; Hassani, Mohamed
• Is Part Of: International journal of data mining, modelling and management. Volume 13:Number 1/2(2021)
• Page Start: 17
• Page End: 36
• Publication Date: 2021-01-22
• Subjects: classification -- flexibility -- applicative systems -- operators/operands -- combinatory logics -- inferential calculus -- compositionality -- processing chains -- modules -- discovery process -- collaborative intelligent science; Data mining -- Periodicals; Information science -- Periodicals; Databases -- Periodicals; 005.7
• Languages: English
• ISSNs: 1759-1163

Abstract

The classification process is a complex technique that connects language, text, information and knowledge theories with computational formalisation, statistical and symbolic approaches, standard and non-standard logics, etc. This process should always be under the control of the user according to his subjectivity, his knowledge and the purpose of his analysis. It becomes important to create platforms to support the design of classification tools, their management, and their adaptation to new needs and experiments. In the last years, several platforms for data digging including textual data where classification is the main functionality have emerged. However, they lack flexibility and formal foundations. We propose in this paper a formal model with strong logical foundations based on applicative type systems.