斯拉斯

SRASS——语义关联公理选择系统。本文描述了从一个包含多余公理的大集合中选择必要公理的系统的设计、实现和测试,以获得猜想的证明。选择是由语义的公理和猜想,有序启发式句法相关措施。该系统能够解决许多问题,不能单独解决的基础传统的自动推理系统。