SRASS公司

语义关联公理选择系统。本文描述了一个从包含多余公理的大集合中选择必要公理的系统的设计、实现和测试,以获得一个猜想的证明。语义的关联性是由语义的一个推理和选择决定的。该系统能够解决许多传统自动推理系统无法单独解决的问题。