ACOUS2型

ACUOS2:一个高性能的模块化ACU泛化系统,具有子类型和继承性。结合性(A)、交换性(C)和统一性(U)代数公理组合的有序排序理论的推广是有限的。然而,现有的计算这类理论中两种类型结构的泛化器(也称为“反统一器”)的工具目前还不能扩展到实际大小的问题。本文描述了ACOUS2系统,它在计算这些理论中的一组完整的和最小的一般概括集时获得了高性能。我们讨论了如何使用它来解决人工智能(AI)问题,这些问题可以表示为顺序排序的ACU泛化,例如列表、树、多集合和典型的层次/结构关系的泛化。实验结果表明,ACUOS2的运行速度比前一代工具ACUOS快5个数量级。