题目内容

逻辑在知识的形式化表示和机器自动证明方面发挥了重要作用,其中最常用的逻辑是( )。

查看答案
更多问题

谓词逻辑表示的主要优点有:自然、( )、 ( )、( )、模块性

事实是断言一个语言变量的值或多个语言变量之间关系的( )。

()是一种用实体及其语义关系来表达知识的有向图。

语义网络的推理过程主要有两种:()、()

答案查题题库