Nils J. Nilson. 人工智能(下)[J]. 机器人, 1979, 1(5): 21-28.
引用本文: Nils J. Nilson. 人工智能(下)[J]. 机器人, 1979, 1(5): 21-28.

人工智能(下)

  • 摘要: 在致力于编制能够证明数学定理和逻辑定理的程序方面明显地存在有三个重要的课题.首先,AI研究者们的早期工作曾取得了一些能够证明命题逻辑和中学平面几何中的简单定理的启发式程序.

     

/

返回文章
返回