从人工智能看当代逻辑学的发展3行政论文范文大全

《从人工智能看当代逻辑学的发展3行政论文范文大全》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、从人工智能看当代逻辑学的发展3行政论文范文大全从人工智能看当代逻辑学的发展再谈模糊逻辑。现实世界中充满了模糊现象，这些现象反映到人的思维中形成了模糊概念和模糊命题，如“矮个了•”、“美人”、“甲地在乙地附近”、“他很年轻”等。研究模糊概念、模糊命题和模糊推理的逻辑理论叫做“模糊逻辑”。对它的研究始于20世纪20年代，其代表性人物是1*a•查德和p*n•马林诺斯。模糊逻辑为精确逻辑（二值逻辑）解决不了的问题提供了解决的可能，它□前在医疗诊断、故障检测、气象预报、自动控制以及人工智能研究中获得重要应用。显然，

2、它在21世纪将继续得到更大的发展。3.广义A涵逻辑经典逻辑只是对命题联结同、个体词、谓同、量词和等词进行了研究，但在自然语言中，除了这些语言成分之外，.显然还存在许多其他的语言成分，如各种各样的副词，包括模态词“必然”、“可能”和“不可能”、吋态词“过去”、“现在”和“未来”、道义词“应该”、“允许”、“禁止”等等，以及各种认知动词，如“思考”、“希望”、“相信”、“判断”、“猜测”、“考虑”、“怀疑”，这些认知动同在逻辑和哲学文献屮被叫做“命题态度同”。对这些副词以及命题态度同的逻辑研究可以归类为“广义

3、内涵逻辑”。大多数副词以及几乎所冇命题态度词都是IV涵性的，造成A涵语境，后者与外延语境构成对照。外延语境又叫透明语境，是经典逻辑的组合性原则、等值置换规则、同一性替换规则在其屮适用的语境；PJ涵语境又称晦暗语境，是上述规则在其中不适用的语境。和应于外延语境和内涵语境的区别，一切语言表达式（毡括自然语言的名词、动词、形容词直至语都可以区分为外延性的和内涵性的，前者是提供外延语境的表达式，后者是提供内涵性语境的表达式。例如，汆死、见到、拥抱、吻、砍、踢、打、与…卜*棋等都是外延性表达式，而知道、相信、认识、

4、必然、可能、允许、禁止、过去、现在、未来等都是内涵性表达式。在内涵语境中会出现一些复杂的情况。首先，对于个体词项来说，关键性的东西是我们不仅必须考虑它们在现实世界中的外延，而且要考虑它们在其他可能世界中的外延。例如，由于“必然”是内涵性表达式，它提供内涵语境，因而卜述推理是非有效的：晨星必然是晨星,晨星就是暮星，所以，晨星必然是暮星。这是因为：这个推理只考虑到“晨星”和“暮星”在现实世界中的外延，并没有考虑到它们在每一个可能世界中的外延，我们完全可以设想一个可能世界,在其中“晨星”的外延不同于“暮星”的外

5、延。因此，我们就不能利用同一性替换规则，由该推理的前提得出它的结论：“晨星必然是暮星”。其次，在内涵语境中，语言表达式不再以通常是它们的外延的东西作为外延，而以通常是它们的内涵的东西作为外延。以“达尔文相信人是从猿猴进化而来的”这个语句为例。这里，达尔文所相信的是“人是从猿猴进化而来的”所表达的思想，而不是它所指称的真值，于是在这种情况下，“人是从猿猴进化而来的”所表达的思想（命题）就构成它的外延。再次，在内涵语境屮，里然适用于外延的函项性原则不再成立，但并不是非要抛弃不可，吋以把它改述为新的形式：一复合

6、表达式的外延是它出现于外延语境中的部分表达式的外延加上出现于内涵语境中的部分表达式的内涵的函项。这个新的组合性或函项性原则在内涵逻辑中成立。一般而言，一个好的内涵逻辑至少应满足两个条件：（i）它必须能够处理外延逻辑所能处理的M题；（ii）它还必须能够处理外延逻辑所不能处理的难题。这就是说，它既不能与外延逻辑相，盾，又要克服外延逻辑的局限。这样的内涵逻辑目前正在发展屮，并且已冇初步轮廓。从术语上说，PJ涵逻辑除需要真、假、语句真值的同一和不同、集合或类、谓词的同范围或不同范围等外延逻辑的术语之外，还需要同义

7、、内涵的同一和差异、命题、属性或概念这样一些术语。广而言之，可以把内涵逻辑看作是关于象“必然”、“可能”、“知道”、“相信”，“允许”、“禁止”等提供内涵语境的语句算子的一般逻辑。在这种广义之卜模态逻辑、时态逻辑、道义逻辑、认知逻辑、问题逻辑等都是内涵逻辑。不过，还冇一种狭义的内涵逻辑，它可以飢略定义如下：一个内涵逻辑是一个形式语言，其中拈（1）谓词逻辑的算子、量词和变元，这里的谓词逻辑不必局限于一阶谓词逻辑，也可以是高阶谓词逻辑；（2）合式的人一表达式，例如（Xx）a,这里a是任一类型的表达式，x是任

8、一类型的变元，（XX）a本身是一函项，它把变元x在其中取值的那种类型的对象映射到a所屈的那种类型上；（3）其他需耍的模态的或内涵的算子，例如€，a、d。而一个内涵逻辑的解释，则由下列要素组成：（1）一个可能世界的非空集w;（2）—个可能个体的非空集d;（3）—个赋值，它给系统內的表达式指派它们在每weW中的外延。对于任一的解释q和任一的世诉weW,判定内涵逻辑系统中的任一表达式x相对于解释q在wew中的外延总是可能的。这样的内