问答题X 纠错
联接;符号;符号
你可能喜欢
问答题
填空题
支持集策略要求在每次归结时,亲本子句中至少应有一个是由目标的否定所得到的子句或者它们的后代。
(1)一阶谓词逻辑表示法适于表示确定性的知识。(2)它具有自然性、精确性、严密性及易实现等特点。
赞题库-搜题找答案
(已有500万+用户使用)
无需下载 立即使用
版权所有©考试资料网(ppkao.com)All Rights Reserved