人工智能2.2 2.2 谓词逻辑表示法谓词逻辑表示法 第第2 2章章 知识表示知识表示 2.1 2.1 概概 述述2023/1/91中国矿业大学计算机学院人工智能2.2 2.2 谓词逻辑表示法谓词逻辑表示法 谓谓词词逻逻辑辑表表示示法法是是一一种种重重要要的的知知识识表表示示方方法法,是是到到目目前前为为止止能能够够表表示示人人类类思思维维活活动动规规律律的的一一种种最最精精确确的的形形式式语语言言,是是知知识识的的形形式式化化表表示示、定定理理的的自自动动证证明明等等研研究究的基础，在人工智能中具有重要的作用。的基础，在人工智能中具有重要的作用。2023/1/92中国矿业大学计算机学院人工智能2.2.1 2.2.1 命题逻辑命题逻辑1.1.命题的含义：命题的含义：在在逻逻辑辑系系统统中中，最最简简单单的的逻逻辑辑系系统统是是命命题题逻逻辑辑。所所谓谓命命题题就就是是具具有有真真假假意意义义的的陈陈述述句句。如如“今今天天下下雨雨”、“雪雪是是黑黑的的”、“1+100=1011+100=101”、“人人是是会会死死的的”等等等等。这这些些句句子子在在特特殊殊的的情情况况下下都都具具有有
