子句归结实验1

【文件属性】：

文件名称：子句归结实验1

文件大小：482KB

文件格式：PDF

更新时间：2022-08-03 15:02:33

人工智能

1. 对所给问题进行知识的逻辑表示，转换为子句，对子句进行归结求解 2. 选用一种编程语言，在逻辑框架中实现 Horn 子句的归结求解 3. 对下列问题用逻辑推