人工智能导论第二课 ------命题与一阶谓词表示法

人工智能导论第二课

——命题与一阶谓词表示法

命题

命题是一个非真即假的陈述句,用大写的P、Q、R表示命题

比如:P:小明爱打篮球

谓词

因为命题无法表示事物的内在逻辑特征和不同事物之间的联系,所以在命题的基础上发展了谓词。

比如有命题P:老李是小李的父亲,则只用字母P是看不出来老李和小李的关系的。

我们用个体表示某个独立存在的事物或者某个抽象的概念,比如:小明,苹果,用谓词名刻画个体的性质、状态或个体间的关系,比如:谁谁谁是人

我们用a表示小明这个个体,P表示谁谁谁是人的谓词名,这样就有了一个一元谓词

​ P(a)

表示小明是人

谓词名一般用单词或大写英文字母,个体可以是常量、变元、函数,如P(x),表示x是人

谓词公式

┐ \urcorner :否

∨ \vee :析取,表示或

∧ \wedge :合取,和

→ \rightarrow :蕴含,条件

↔ \leftrightarrow :等价,双条件

∀ \forall :所有

∃ \exists :存在

谓词公式的等价性

等价式

《人工智能导论第二课 ------命题与一阶谓词表示法》
《人工智能导论第二课 ------命题与一阶谓词表示法》《人工智能导论第二课 ------命题与一阶谓词表示法》

《人工智能导论第二课 ------命题与一阶谓词表示法》

    原文作者:MATLAB_66666
    原文地址: https://blog.csdn.net/m0_46493060/article/details/114650460
    本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系博主进行删除。
点赞