一种单经验定理证明器

摘要

本发明公开了一种单经验定理证明器，涉及人工智能学科中的自动定理证明领域，此前单经验定理都是由人手工证明的。单经验定理证明器是一个软件，是首次用计算机来自动证明单经验定理。填补了自动定理证明领域在这方面的空白。单经验定理证明器基于周训伟所创立的互逆主义逻辑的二层假言推理，具有递归性这一良好的数学性质，提供用户友好的界面，方便用户使用。