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