[论文解读] Mathematical Foundations for Designing and Development of Intelligent Systems of Information Analysis

Dmytro Terletskyi, O. I. Provotar|arXiv (Cornell University)|Oct 14, 2015

Advanced Data Processing Techniques参考文献 17被引用 10

一句话总结

本文提出了一套数学框架，整合集合论、面向对象编程（OOP）和人工智能（AI），以设计智能信息分析系统。该框架为对象、类、集合和多重集引入了形式化定义，并主张扩展OOP工具以支持AI系统的高级数据建模，从而在复杂环境中实现更稳健和结构化的信息分析。

ABSTRACT

This article is an attempt to combine different ways of working with sets of objects and their classes for designing and development of artificial intelligent systems (AIS) of analysis information, using object-oriented programming (OOP). This paper contains analysis of basic concepts of OOP and their relation with set theory and artificial intelligence (AI). Process of sets and multisets creation from different sides, in particular mathematical set theory, OOP and AI is considered. Definition of object and its properties, homogeneous and inhomogeneous classes of objects, set of objects, multiset of objects and constructive methods of their creation and classification are proposed. In addition, necessity of some extension of existing OOP tools for the purpose of practical implementation AIS of analysis information, using proposed approach, is shown.

研究动机与目标

• 通过弥合集合论、OOP与AI之间的鸿沟，为设计智能信息分析系统建立统一的数学基础。
• 在适用于AI系统开发的统一框架内，形式化定义对象、类、集合和多重集的概念。
• 识别现有OOP模型在应用于智能信息分析时的局限性，并提出必要的扩展。
• 在智能系统设计背景下，提供创建和分类集合与多重集的建设性方法。
• 通过基于数学严谨性的增强OOP抽象，支持智能信息分析系统的实际实现。

提出的方法

• 使用集合论作为定义对象集合及其关系的基础数学框架。
• 应用面向对象编程原则，将现实世界实体建模为具有属性和行为的对象。
• 引入对象类的同质与异质之分，以支持复杂系统中的灵活分类。
• 通过正式的构造方法定义对象的集合与多重集，允许在数据建模中同时包含唯一和重复元素。
• 提出一种混合建模方法，将抽象的集合论构造映射到OOP构造，以在软件中实现。
• 识别当前OOP语言中的不足之处，并建议扩展以支持多重集和AI应用的高级分类机制。

实验结果

研究问题

• RQ1 如何正式整合集合论与面向对象编程，以建模智能信息系统？
• RQ2 在AI数据建模背景下，集合与多重集之间的关键数学与结构差异是什么？
• RQ3 当前OOP范式在多大程度上无法满足智能信息分析系统的需求？
• RQ4 如何系统性地将对象类分类为同质或异质类，以提升模型的表达力？
• RQ5 为实现基于集合论基础的智能系统，OOP工具需要哪些必要扩展？

主要发现

• 集合论与OOP的整合为智能信息系统的复杂数据建模提供了稳健的数学框架。
• 同质与异质类之间的区分增强了系统建模的表达力与准确性。
• 多重集被形式化定义，并表明其在表示含重复元素的数据方面至关重要，而标准集合无法处理此类情况。
• 本文识别出现有OOP工具在AI系统开发中，特别是在多重集处理与分类方面的具体局限性。
• 提出了创建与分类集合及多重集的建设性方法，使智能系统的设计更加系统化。
• 作者得出结论：为实现智能信息分析系统的有效且可扩展的实现，必须扩展OOP以融入集合论构造。