自动推理

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