泰国战争冲突电影剧情介绍: 当然,早期人工智能研究中的形式主义受到了外部条件的影响。或者说,早期人工智能研究的主要是那些易于形式化的问题。在一定的发展阶段上,这样做是必要的。如前所述,常规或经典人工智能科学家的一个重要研究方向就是解决问题和推理。他们研究的重点只是人类智能的某些方面。例如,纽厄尔(A.Newell)将智能系统分为理性层、认知层和神经元层三个层次,并认为可以有这三个层次的智能模拟。其中的理性层模拟也就是思维模拟,其范围限定得比较狭窄。在知识表征上,基本上以理性的、逻辑的方法为主。
以一阶谓词逻辑知识表征形式为例。该表征形式的核心是谓词公式。所谓谓词公式,即用谓词连接符号将一些谓词连接起来所形成的公式。这一公式既可以表示事实性的知识,也可以表示规则性的知识。其特点有两点:一是谓词公式的逻辑值只有“真”和“假”两种结果,因而适合于表征那些精确性的、具有“二值逻辑”特征的知识,而不适宜于那些介乎于真假值之间的模糊性知识。从这个意义上说,谓词公式能够很好地转换为计算机的内部形式;二是与谓词逻辑相对应的推理方法的运用,使该表征形式具有演绎特征或公理性质。当一个表征系统蕴含另一个表征系统时,演绎理论(证明理论)可以替代真值关系理论(模型理论),或者说,通过内部论证关系就可以模拟外界真值关系。很明显,一个表征系统(命题)的语义内容是受制于句法形式的,即它得益于一些符号表达式及其规则。这一点表现在M&P模型中,当神经元活动与逻辑命题之间的关系具有某种一致性时,由单个神经元构成的与神经网络相联系的命题,并没有能够进行思维的适当的语义特征。
Copyright © 2008-2023