求取子句集的步骤包括以下步骤,()、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。

A . 消去“蕴含”连结词 B . 减少“非”连结词的辖域 C . 对变量标准化 D . 消去存在量词

时间:2022-10-23 15:08:47 所属题库:人工智能题库

相似题目