谓词公式G通过８个步骤所得的子句集合S，称为G的子句集。请写出这些步骤。
谓词公式G通过８个步骤所得的子句集合S，称为G的子句集。请写出这些步骤。
正确答案：1）消去蕴含式和等价式→，<->2）缩小否定词的作用范围，直到其作用于原子公式：3）适当改名，使量词间不含同名指导变元和约束变元。4.）消去存在量词（形成Skolem标准型）5）消去所有全称量词6）化成合取范式7）.适当改名，使子句间无同名变元8）.消去合取词∧，用逗号代替，以子句为元素组成一个集合S
- 上一篇：简述模式识别系统的工作原理
- 下一篇：不确定性类型按性质分：（），（），（），（）。