英文:logical representation 知识表示的一种基本方式。
人工智能需要运用现代
逻辑方法去解决复杂的现实问题,即可用逻辑来表达推理也可以用逻辑表示知识。
图[积木世界及其逻辑表示]中 7个合式公式所代表的命题的意义分别是:①直接在 上,②直接在桌上,③直接在桌上,④的顶上是空的,⑤的顶上是空的,⑥对所有(积木)都成立:如果的顶上是空的,那么不存在直接在上的(积木),⑦由,组成的积木塔的高度同积木块的高度相等。
一阶谓词逻辑 又称一阶谓词演算,简称
一阶逻辑或一阶演算。构造一阶逻辑的形式系统需要 6类符号。①个体词或常元:代表所讨论的对象。这种对象的全体所构成的不空集合称为个体域或论域。图中的 、、即为个体词,代表不同的积木。论域{,,}即代表积木世界。②个体变元:代表其值未确定的对象。图中的,即是个体变元。③函词:构成项(term)的符号,相当于语言的词(组),用来反映(复合)概念。图中 h和各为一元函词和二元函词。()代表积木块的高度,(,)代表,组成的积木塔,而 ((,))则代表由,组成的积木塔的高度。常元和个体变元是项的最简要式。④
谓词:构成原子公式的符号。图上的ON,ONTABLE,CLEAR都是一元谓词,而 EQUAL则是二元谓词。如果对原子公式中的谓词和项都给以相应的意义,那末原子公式就代表一个原子命题,即基本命题。命题是对事物、事物属性或相互关系有所肯定或有所否定的一个陈述句。命题和思维形式中的判断是形式和内容的关系。命题以判断为内容;判断则以命题为表达形式。命题所反映的判断如果符合实际情况,该命题的值为真,否则为假(二值逻辑情形)。图中7 个命题的值都真,反映了积木世界的某一状态。但CLEAR()这一命题(即积木顶上为空) 在这个积木世界中就是一个假命题。为了使计算机能得出这一结论,必须另外设置一个推理程序,它能以命题1和6为前提,自行证明CLEAR()不成立。⑤逻辑词:包括5个命题连接词和2个量词符号。命题连接词是(非),∧(与),∨(或),→(蕴涵,即如果…则…),(等值),用来将原子公式连接成分子公式,即复合命题形式。如上述的公式⑥代表一个复合命题,它由两个原子命题()CLEAR()和()()ON(,)组成。量词符号是 和,分别称为全称量词符号和存在量词符号。量词符号和受其约束的个体变元一起构成量词,如 是全称量词,是存在量词。⑥技术性符号:包括左右括弧、左右括号、逗点。如果整个原子公式只用不包含个体变元的单一符号表示,不分析原子内部结构,这样的逻辑称为命题逻辑。命题逻辑的表达力不强,在人工智能研究中,很少作为一阶逻辑的基础直接应用。
作为知识表示的比较典型的陈述性方式,逻辑表示具有自然性(最接近自然语言)、精确性、灵活性和模块性等优点。主要的缺点是知识表示与知识运用分离。为了运用所表示的知识,需要另行设置问题求解程序或定理证明程序(即自动推理程序)。PROLOG语言把谓词逻辑的知识表示和知识运用统一了起来。