人工智能导论第二课 ------命题与一阶谓词表示法
人工智能导论第二课------命题与一阶谓词表示法命题命题是一个非真即假的陈述句,用大写的P、Q、R表示命题比如:P:小明爱打篮球谓词因为命题无法表示事物的内在逻辑特征和不同事物之间的联系,所以在命题的基础上发展了谓词。比如有命题P:老李是小李的父亲,则只用字母P是看不出来老李和小李的关系的。我们用个体表示某个独立存在的事物或者某个抽象的概念,比如:小明,苹果,用谓词名刻画个体的性质、状态或个体间
人工智能导论第二课
------命题与一阶谓词表示法
命题
命题是一个非真即假的陈述句,用大写的P、Q、R表示命题
比如:P:小明爱打篮球
谓词
因为命题无法表示事物的内在逻辑特征和不同事物之间的联系,所以在命题的基础上发展了谓词。
比如有命题P:老李是小李的父亲,则只用字母P是看不出来老李和小李的关系的。
我们用个体表示某个独立存在的事物或者某个抽象的概念,比如:小明,苹果,用谓词名刻画个体的性质、状态或个体间的关系,比如:谁谁谁是人
我们用a表示小明这个个体,P表示谁谁谁是人的谓词名,这样就有了一个一元谓词
P(a)
表示小明是人
谓词名一般用单词或大写英文字母,个体可以是常量、变元、函数,如P(x),表示x是人
谓词公式
┐ \urcorner ┐ :否
∨ \vee ∨ :析取,表示或
∧ \wedge ∧ :合取,和
→ \rightarrow → :蕴含,条件
↔ \leftrightarrow ↔ :等价,双条件
∀ \forall ∀ :所有
∃ \exists ∃ :存在
谓词公式的等价性
等价式
更多推荐
所有评论(0)