×

\({\mathsf{ACUOS}}^\mathbf{2}\):一个用于模块化ACU泛化的高性能系统,带有子类型和继承。 (英语) Zbl 1525.68195号

Calimeri,Francesco(编辑)等人,《人工智能中的逻辑》。2019年5月7日至11日,意大利伦德,第16届欧洲会议,JELIA 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11468, 171-181 (2019).
摘要:结合性(A)、交换性(C)和单位性(U)代数公理的任意组合在有序理论中的推广是有限的。然而,现有的计算此类理论中两种类型结构的泛化器(也称为“反统一器”)的工具目前无法扩展到实际问题。本文描述了在计算这些理论中的一个完整的、最小的最小一般推广集时获得高性能的({mathsf{ACUOS}}^mathbf{2})系统。我们讨论了如何使用它来解决可表示为顺序排序ACU泛化的人工智能(AI)问题,例如列表、树、(多)集和典型层次/结构关系中的泛化。实验结果表明,\({\mathsf{ACUOS}}^\mathbf{2}\)大大优于前代工具ACUOS,运行速度快了五个数量级。
关于整个系列,请参见[Zbl 1412.68007号].

MSC公司:

68伏15 定理证明(自动和交互式定理证明、演绎、解析等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部