自动推理

维基百科,自由的百科全书
跳转至: 导航搜索

自动推理是计算机科学的一个分支,屬於人工智慧學科研究的一種,它的主要研究方向是利用计算机进行自动化的逻辑证明,其內容一般可分為演繹推理和非演繹推理。