登录 | 注册 | 充值 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
基于缺省逻辑的一般会话含义例证的形式处理
  • 摘要

    一般会话含义的逻辑本质是缺省逻辑,研究一般会话含义的推理有必要揭示其内在的缺省逻辑机制.本文简要介绍了Reiter的缺省逻辑及其两种衍生模型的基本形式和内涵,并结合三个典型的实例初步展示:缺省逻辑充分体现了一般会话含义的缺省性和可取消性,在一般会话含义理论中有广泛的适用性,也为语用推理的形式化工作开辟了新的思路.

  • 作者

    张韧弦 

  • 作者单位

    上海交通大学

  • 刊期

    2008年2期 PKU CSSCI

  • 关键词

    一般会话含义  缺省逻辑  缺省性  可取消性 

参考文献
  • [1] Horn,L.R. Presupposition and implicature. Oxford:Blackwell Scientific Publications, 1996
  • [2] Levinson,S.C. Three levels of meaning. Cambridge:Cambridge University Press, 1995
  • [3] Levinson,S.C. Presumptive Meanings:The Theory of Generalized Conversational Implicature. Cambridge,ma:the Mit Press, 2000
  • [4] Besnard,P. An Introduction to Default Logic. Berlin:Springer-Verlag, 1989
  • [5] Lin,F. A study of nonmonotonic reasoning. Stanford University, 1991
  • [6] Meyer.J.-J.Ch;W.van der Hoek. Epistemic Logic for,A1 and Computer and Science. Cambridge:Cambridge University Press, 1995
  • [7] Reiter,R. A logic for default reasoning. Artificial Intelligence, 1980
  • [8] Wang.X;You J;L.Y.Yuan. Nonmonotonic reasoning by monotonic inferences with priority constraints. Berlin:Springer-Verlag, 1997
  • [9] 用更精确的形式语言来表达,即对于公理系统T和在T中增加一些新断言后得到的公理系统T'.如果某公式A在T中成立,它必在T'中也成立,则此种逻辑称为单调逻辑.如果某公式A在T中成立,但它在T'中未必一定成立,则此种逻辑称为非单调逻辑.
  • [10] 在这个简式表达中,→和^表示用经典逻辑定义的蕴含和合取,/用来分隔逻辑的前件和后件,或经典逻辑定义下的前提和结论.
  • [11] 注意在表达式(1)中,要求各项皆为命题式,因此这里采用了谓词逻辑的表达法,例如IsBird(Tweety)就代表确信的事实:Tweety是一只鸟.
  • [12] 这里的∪是广义并集运算符号,∞代表无穷大,这个表达式相当于E=E0∪E1∪E2∪….
  • [13] D中只有两条规则.每条规则中的前提α都是一个永真式(即α=True),在书写中可以在:前省略.表示在缺省推理时不必考虑特定前提,只需检验缺省假设是否与结论一致.例如只有不存在┐┐CanFly(Polly),即CanFly(Polly)的情况下,才能缺省推得┐CanFly(Polly).
  • [14] 闭包符号内的w也可以是Th(w),不过因为有单调逻辑性的保证,内层的Th可以省略.
  • [15] 按照优先逻辑的惯例,R中的规则标以数字序号,第1条规则←右边空缺表示一个永真的条件,即在任何情况下,sunday都成立.参见注.
  • [16] 这里沿用Levinson(2000)中使用的记号,Q+》表示通过Q原则产生的含义,后文的I+》和M+》分别表示通过I原则和M原则产生的含义.
  • [17] Besnard,P. Default logics. Berlin:Springer-Verlag, 1991
  • [18] 这里利用了实质蕴含等价公式p→q=┐p∨q和DeMorgan定律┐(p∨q)=┐p∧┐q.
  • [19] Gazdar,G. Pragmatics:Implicature,Presupposition,and Logical Form. New York:Academic Press,Inc, 1979
  • [20] Grice,P. Logic and conversation. Oxford:Oxford University Press, 1975
查看更多︾
相似文献 查看更多>>
54.196.208.187