中图分类号：H31 文献标识码：A 文章编号：1009-055X(2004)06-0062-05 语境是一个十分宽泛的概念，在语言学领域（如语用学，社会语言学、自然语言处理等），其内涵也不尽相同，按照Bussmann[1]的Routledge Dictionary of Language and Linguistics,‘context’被定义为：交际环境中出现的所有因素：语言的和非语言的，特定话语情景中的语境，说话人和听话人之间的社会关系语境，他们之间的知识状态和态度，同时还包括语言语境和上下文语境（注：As a comprehensive concept in communication theory,'context'refers to all elements of a communicative situation:the verbal & non-verbal,the context of the given speech situation and the social context of the relationship between the speaker and hearer,their knowledge,and their attitudes.Catford distinguishes between context and situation co-text.）。从上述定义中，我们可以看到，语境的内容较多而且关系复杂，如何使它们变得有操作性，这是形式化的第一步，这方面的研究多集中在人工智能和计算语用学领域。第二、第三和第四节从计算语用学和人工智能角度综述BDI(Belief/Desire/Intention)、DIT(Dynamic Interpretation Theory)和AI(Artificial Intelligence)模式在理论背景、研究角度、表征方式方面的差异，为语境的形式化研究提供可借鉴的方法和理论。 一、BDI模式 （一）理论背景 BDI模式以言语行为理论为基础。Searle在Austin言语行为“三分说”(locutionary act\illocutionary act\perlocutionary act)的基础上只研究“言外之力”(illocutionary act)，即话语的语用意义。他从哲学的角度规定了实施言语行为的四个条件：命题条件(propositional condition)、准备条件(preparatory condition)、真诚条件(sincerity condition)和基本条件(essentional condition)。由于Searle是以逻辑的方式界定这些条件的，适合形式化的要求。这一研究思路和方法很快被运用到人工智能和自然语言处理领域，以解决话语言外之意的形式化处理问题。但是，上述条件是以哲学思辨为基础的，其操作性不强。要实现真正的“计算机化”，必须进一步加强言语行为的定义及条件的形式化程度，在这方面做出贡献的是Perrault和Allen(1980)[2]，他们发展了传统的言语行为理论，认为语言的使用是一个有计划的过程。人们发出言语行为总抱有一定的意图(intention)和愿望(desire)，并对交际对方的知识状态有一定的信念(belief)和推测。因此，言语行为的实施不是以Searle的条件为基础，而是建立在“计划操作符”(plan-operators)的基础上。言语行为的理解是一个计划过程，包括BELIEF\KNOW\WANT三种“计划操作符”，即影响言语行为的认知状态或因素。 （二）语境及其表征 在BDI系统中，语境主要指说话人的信念、想法和意图。Perrault和Allen[2]用谓词演算(predicate calculus)的形式表示BELIEF\KNOW\WANT三种认知状态。 BELIEF表示为：①believes the proposition:B(S,P).②S doubts the proposition:D(S,P) KNOW表示为：①knows that P:KNOW(S,P).②S knows whether(KNOWIF)a proposition P is true if S KNOWs that P or S KNOWs that
P:KNOWIF(S,P)=KNOW(S,P)∨KNOW(S,
P) WANT表示为：S wants H to do ACT（ACT表示某个行为的执行）.W(S,ACT(H)） 每一个言语行为由行为图式组成，包括限制(constraints)、条件(precondition)、效果(effect)和实现的目标状态(body)（注：Preconditions:conditions that must be ready be true in order to successfully perform the action Effect:conditions that become true of successfully performing the action Body:a set of partially ordered goal states that must be achieved in performing the action）。利用上述的表征，可对某个言语行为进行描述(Jurafsky,2002)[3]，这些表征是推理规则的准备。如： INFORM(S,H,P) Constraints:Speaker(S)∧Hearer(H)∧Proposition(P) Precondition:(KNOW(S,P)∧W(S,INFORM(S,H,P)))
