113
2024-12-25 02:55
赋能高科一、命题是几元谓词？
命题这是一个n元谓词表示n个个体之间的关系
二、判断谓词公式是否是命题？
命题能判断真假小x=3不能判断真假，所以不是命题。不是命题就是谓词。
三、人工智能中谓词的定义？
1.人工智能的定义可以分为两部分，即“人工”和“智能”。“人工”比较好理解，争议性也不大。有时我们会要考虑什么是人力所能及制造的，或着人自身的智能程度有没有高到可以创造人工智能的地步，等等。但总的来说，“人工系统”就是通常意义下的人工系统。
2.关于什么是“智能”，就问题多多了。这涉及到其它诸如意识(consciousness)、自我(self)、思维(mind)(包括无意识的思维(unconscious_mind)等等问题。人唯一了解的智能是人本身的智能，这是普遍认同的观点。但是我们对我们自身智能的理解都非常有限，对构成人的智能的必要元素也了解有限，所以就很难定义什么是“人工”制造的“智能”了。因此人工智能的研究往往涉及对人的智能本身的研究。其它关于动物或其它人造系统的智能也普遍被认为是人工智能相关的研究课题。
四、谓词逻辑和命题逻辑的区别和联系是什么？
1、命题逻辑显然可以看作谓词逻辑的一个子集.因为谓词逻辑中一般是允许出现0元谓词的.全部由0元谓词的构成的公式就是命题逻辑公式了.
2、正如前面庄老师所说,当论域为一个大小确定的有限集时,一个谓词公式可以等价地转化成一个命题逻辑公式.当不特别说明论域（即,只在语法层面上讨论,不涉及语义）,或论域的大小不是一个确定的自然数时,就不存在一般的转化方法了.
例如,公式“对所有x(P(x)->Q(x))”.如果已知论域为{a[1],a[2],...,a[n]}.则可以把P(a[1]),Q(a[1]）,P(a[2]),Q(a[2]),……,P(a[n]),Q(a[n])看作2N个命题（即,定义命题P_i为：P(a[i])为真,定义命题Q_i为：Q(a[i])为真）,从而原来的谓词公式就成了
(P_1->Q_1)∧(P_2->Q_2)∧……∧(P_n->Q_n).
如果不满足“论域为一个大小确定的有限集”这个条件,上述谓词逻辑公式显然无法等价地转化成一个命题逻辑公式.
3、关于“命题逻辑与谓词逻辑的内容”、“两者表示知识的方法及其推理方法”、“命题逻辑与谓词逻辑的内在联系及区别”,推荐你找几本数理逻辑的书来看一下,许多逻辑书上都有介绍.
4、一阶谓词逻辑是命题逻辑的推广,二阶谓词逻辑是一阶谓词逻辑的推广.命题逻辑的可满足性问题是NP-Complete的,一阶谓词逻辑的可满足性问题不可判定的.
5、关于语法和语义、公式和解释、语言和模型、规则和真值的关系,建议看一些从模型论方面介绍数理逻辑的书（最近出的新书有沈恩绍先生的《集论与逻辑——面向计算机科学》、Michael Huth和Mark Ryan的《Logic in Computer Science:Modelling and Reasoning about Systems》）.
五、一元谓词和多元谓词？
一元谓词：谓词只有一个个体，一元谓词描述命题的性质;
多元谓词：谓词有n个个体，多元谓词描述个体之间的关系;
六、命题构造解释？
结论构造命题意思是指将原命题的结论否定作为结论构造的一个新的命题。
七、一元谓词和多元谓词的区别？
一元谓词：谓词只有一个个体，一元谓词描述命题的性质;
多元谓词：谓词有n个个体，多元谓词描述个体之间的关系;
八、一元谓词和二元谓词？
表示个体性质的谓词叫一元谓词，表示两个个体间关系的谓词叫二元谓词
九、命题形式思维解释？
人常说：站在别人的立场上思考问题 命题形式思维 指得就是：站在命题人的角度来思考
十、人工智能谓词逻辑法的要点是什么？
逻辑学基础
（1）命题和真值
一个陈述句称为一个断言。凡有真假意义的断言称为命题。命题的意义通常称为真值，它只有真、假两种情况。
（2）论域
也称为个体域，是由讨论的对象的全体构成的非空集合
（3）谓词
实现的是从个体域中的个体到 T 或 F 的映射。分为谓词名和个体两个部分
谓词名：表示个体的性质、状态或个体之间的关系，用大写英文字母表示
个体：命题中的主语，用小写英文字母表示。可以是常量、变元和函数
（4）函数
实现的是从一个个体到另一个个体的映射，函数没有真值。
在谓词逻辑中，函数本身不能单独使用，它必须嵌入到谓词之中。
举例：王洪的父亲是教师
TEACHER(father(Wang Hong))，其中，TEACHER是谓词，而father是函数
（5）连接词和量词
连接词：﹁，∨，∧，→，↔
量词：∀，∃
谓词逻辑表示法的应用
（1）知识的谓词逻辑表示
（2）事件的谓词逻辑表示
在这里插入图片描述
步骤一：定义描述状态的谓词如下：
EMPTY：机械手中是空的
HOLD(x)：机械手中拿着积木x
ON(x,y)：积木x在积木y上面
CLEAR(x)：积木x的上面是空的
ONTABLE(x)：积木x在桌子上
其中，x和y的个体域为{A,B,C}
步骤二：问题的初始状态是：
EMPTY
ONTABLE(A)
ONTABLE(B)
ON( C,A)
CLEAR( B)
CLEAR( C)
步骤三：问题的目标状态是：
EMPTY
ONTABLE( C)
ON(B,C)
ON(A,B)
CLEAR(A)
步骤四：定义描述操作的谓词如下：
PICKUP(x)：从桌子上捡起积木x
PUTDOWN(x)：将手中的积木x放到桌子上
STACK(x,y)：在积木x上再摞上一块积木y
UNSTACK(x,y)：从积木x上面拣起一块积木y
其中，x和y的个体域为{A,B,C}
步骤五：操作对应的条件和动作如下：
PICKUP(x)
条件：EMPTY，ONTABLE(x)，CLEAR(x)
动作：删除表：EMPTY，ONTABLE(x) ，CLEAR(x)
增加表：HOLD(x)
PUTDOWN(x)：
条件：HOLD(x)
动作：删除表：HOLD(x)
增加表：EMPTY，ONTABLE(x) ，CLEAR(x)
STACK(x,y)：