说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 逻辑表示
1)  logic representation
逻辑表示
1.
The logic representation of conflict problems and the reasoning proce-dures for the conflict analysis are discussed and an algorithm is presented.
研究不良结构冲突问题,提出了不良结构冲突问题的智能化分析方法,并讨论了智能化冲突分析方法的逻辑表示、推理等问题,给出了推理的有关算法。
2)  Presentation Logic
表示逻辑
3)  Presentaion Layer Logic
表示层逻辑
4)  Presentation Logic
表示逻辑层
5)  interface representation logic
界面表示逻辑
6)  Digital Logic Expression
数值逻辑表示
1.
Digital Logic Expression and Its Basic Algorithm Available for the Realization of Optics;
讨论了适合光学实现的数值逻辑表示及其基本算法,为研究和设计光计算机各种算术运算部件提供了理论和数学体系。
补充资料:逻辑表示
      知识表示的一种基本方式。人工智能需要运用现代逻辑方法去解决复杂的现实问题,即可用逻辑来表达推理也可以用逻辑表示知识。例如可用一阶逻辑来描述图中的积木世界。
  
  图中7个合式公式所代表的命题的意义分别是:①c直接在a上,②a直接在桌上,③b直接在桌上,④c的顶上是空的,⑤b的顶上是空的,⑥对所有(积木)x都成立:如果x的顶上是空的,那么不存在直接在x上的(积木)y,⑦由c,a组成的积木塔的高度同积木块b的高度相等。
  
  一阶谓词逻辑  又称一阶谓词演算,简称一阶逻辑或一阶演算。构造一阶逻辑的形式系统需要 6类符号。①个体词或常元:代表所讨论的对象。这种对象的全体所构成的不空集合称为个体域或论域。图中的 a、b、c即为个体词,代表不同的积木。论域{ɑ,b,c}即代表积木世界。②个体变元:代表其值未确定的对象。图中的x,y即是个体变元。③函词:构成项(term)的符号,相当于语言的词(组),用来反映(复合)概念。图中 h和t各为一元函词和二元函词。h(b)代表积木块b的高度,t(c,a)代表c,a组成的积木塔,而 h(t(c,a))则代表由c,a组成的积木塔的高度。常元和个体变元是项的最简要式。④谓词:构成原子公式的符号。图上的ON,ONTABLE,CLEAR都是一元谓词,而 EQUAL则是二元谓词。如果对原子公式中的谓词和项都给以相应的意义,那末原子公式就代表一个原子命题,即基本命题。命题是对事物、事物属性或相互关系有所肯定或有所否定的一个陈述句。命题和思维形式中的判断是形式和内容的关系。命题以判断为内容;判断则以命题为表达形式。命题所反映的判断如果符合实际情况,该命题的值为真,否则为假(二值逻辑情形)。图中7 个命题的值都真,反映了积木世界的某一状态。但CLEAR(a)这一命题(即积木a顶上为空) 在这个积木世界中就是一个假命题。为了使计算机能得出这一结论,必须另外设置一个推理程序,它能以命题1和6为前提,自行证明CLEAR(a)不成立。⑤逻辑词:包括5个命题连接词和2个量词符号。命题连接词是塡(非),∧(与),∨(或),→(蕴涵,即如果...则...),凮(等值),用来将原子公式连接成分子公式,即复合命题形式。如上述的公式⑥代表一个复合命题,它由两个原子命题凬(x)CLEAR(x)和凬(x)塡(y)ON(y,x)组成。量词符号是 凬和,分别称为全称量词符号和存在量词符号。量词符号和受其约束的个体变元一起构成量词,如 凬x是全称量词,y是存在量词。⑥技术性符号:包括左右括弧、左右括号、逗点。如果整个原子公式只用不包含个体变元的单一符号表示,不分析原子内部结构,这样的逻辑称为命题逻辑。命题逻辑的表达力不强,在人工智能研究中,很少作为一阶逻辑的基础直接应用。
  
  逻辑表示的特点  作为知识表示的比较典型的陈述性方式,逻辑表示具有自然性(最接近自然语言)、精确性、灵活性和模块性等优点。主要的缺点是知识表示与知识运用分离。为了运用所表示的知识,需要另行设置问题求解程序或定理证明程序(即自动推理程序)。PROLOG语言把谓词逻辑的知识表示和知识运用统一了起来。
  
  参考书目
   胡世华、陆钟万著:《数理逻辑基础》,科学出版社,北京,1983。
   N.J.Nisson, Principles of Artificial Intelligence, TiogaPubl.Co.,New York,1980.
   王浩:《数理逻辑通俗讲话》,科学出版社,北京,1981。
  

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条