问题描述:
[单选]
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
A.永真式
B.包孕式
C.空子句
参考答案:查看无
答案解析:无
☆收藏
答案解析:无
☆收藏
上一篇:语义网络表达知识时,有向弧AKO链、ISA链是用来表达节点知识的()。
下一篇:要想让机器具有智能,必须让机器具有知识。因此,在人工智能中有一个研究领域,主要研究计算机如何自动获取知识和技能,实现自我完善,这门研究分支学科叫()。
- 我要回答: 网友(18.224.165.66)
- 热门题目: 1.()不仅仅是一种知识表示方法 2.在框架和语义网络两种知识表示 3.某产生式系统中的一条规则:A