谓词公式的永真性和可满足性
置换与合一
谓词公式与子句集
消解推理规则
消解反演求解过程
规则正向演绎系统
规则逆向演绎系统
产生式系统
不确定性推理
非单调推理
2022-03-15 20:46:57
9.8MB
1