计算机语言逻辑,语用逻辑及其在计算机语言和人工智能中的应用

Illocutionary Logic and Its Use in Computer Language andArtificial Intelligence Cai Shushan

内容提要：文章扼要阐明了语用逻辑的研究对象、内容和主要特点，并介绍了这一领域的国内外研究现状。在此基础上，文章侧重描述了计算机语言作为语用语言的逻辑特征，包括对计算机语言的语法分析和语义分析。最后，本文通过研究如何在prolog语言中使用IL分析方法表明了语用逻辑在人工智能中的应用

This paper briefly introduces the object of study,contentand general characteristics of illocutionary logic(IL) as wellas the present development in this field at home and abroad.Then it particularly describes the logical characteristics ofcomputer language as illocutionary language,including thesyntactic and semantic analysis of computer science.Finally,through the study on how to apply IL analysis to prologlanguage,this paper seeks to illustrate the application of ILin artificial intelligence.

关键词：言语行为理论/语用逻辑/计算机语言/人工智能/speech-act theory/illocutionary logic/computer language/artificial intelligence

自本世纪80年代以来，语用逻辑得到很快的发展，现已经形成一门崭新的学科。本文首先简要介绍语用逻辑的历史、对象和方法，说明语用逻辑的现状和意义，再阐释计算机语言的语用逻辑特征，最后简要介绍语用逻辑在人工智能中的应用。

一、语用逻辑：一种新的发展

什么是语用逻辑呢？

语用逻辑是言语行为理论的逻辑分析工具和逻辑分析系统。语用逻辑研究一类特殊的行为动词——语用行为动词——所构成的语句的逻辑特征及推理关系。这个定义包括三个方面：

1.语言形式：在自然语言中，有一类行为动词带来某种力量。例如：判断、要求、保证、祝贺、宣布等等这些动词就分别带有断定的、指令的、承诺的、表态的和宣告的语用力量。说出由这类动词构成的语句是为了作出某种行为。例如，说“我保证按时完成任务”就作出了一个承诺的行为。我们把这种力量称为语用力量，把带有语用力量的动词称为语用行为动词，把由语用行为动词构成的语句称为语用行为语句。语用逻辑就要研究语用行为语句的逻辑特征。例如，“我保证按时完成任务”这个语句是由“保证”这个语用力量和“我按时完成任务”这个命题内容构成的，它的结构是F(P)。其中，F表示一个语用力量，P表示一个命题内容。

2.推理关系：语用逻辑要在以上语言材料的基础上，研究各种复合的语用行为语句的逻辑特征以及它们之间的推理关系。例如，“如果他保证按时完成任务，我就保证按时完成任务”是由“他保证按时完成任务”和“我保证按时完成任务”这两个语用行为语句构成的条件的复合语句。它的结果是F(P)→F(Q)。又例如，“如果条件允许，我保证按时完成任务”是由“条件允许”这个命题内容和“我保证按时完成任务”这个语用行为构成的条件的复合语句。它的结构是P→F(Q)。 我们要研究这些复合语句的逻辑特征，从中找出普遍有效的语句。在普遍有效的语句中，我们还要确定一些作为推理的出发点，并建立一些推理规则，从而推出另一些普遍有效的语句。例如，

就是一个普遍有效的语句，但

却不是一个普遍有效的语句。令F表示语用行为动词“保证”，P表示命题内容“选举他”，这时可以说，“如果我保证不选举他，那么我不保证选举他”，但却不能说，“如果我不保证选举他，那么我保证不选举他””

在语用逻辑中，语用力量算子F有特别重要的意义。语用力量F既反映出语用行为动词的共性——它们都具有“作事”的力量；又反映出语用行为动词区别于其他动词的个性——它们既区别于联结词、量词、名词、形容词、副词、语气词，又区别于其他的非语用行为动词。