证据算法与自动演绎系统：回顾性视角
人工智能
2010-05-26 v1 计算机科学中的逻辑
摘要
一个旨在开发自动定理证明系统的研究项目于20世纪60年代初在基辅（乌克兰）启动。该项目的策划者，院士V.Glushkov，将其命名为“证据算法”(EA)。该项目的工作断断续续持续了40多年。在该项目的框架内，构建了俄语和英语版本的自动演绎系统(SAD)。它们或许已经可以被视为强大的定理证明助手。
引用
@article{arxiv.1005.4447,
title = {Evidence Algorithm and System for Automated Deduction: A Retrospective View},
author = {Alexander Lyaletski and Konstantin Verchinine},
journal= {arXiv preprint arXiv:1005.4447},
year = {2010}
}
备注
To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010