级差含义推导的缺省逻辑方案

张韧弦

上海交通大学,上海200240

摘  要:

级差含义是一类典型的一般会话含义,在推理的逻辑本质上属于缺省逻辑并具有系统形式化的可能。本文介绍了缺省逻辑的定义和扩展式,并具体规定了产生级差含义的词项对条件,最后在两者的基础上建立了级差含义推导的缺省逻辑方案,对级差含义的成功形式化具有开创性的意义,将成为各类一般会话含义推理形式化的先导。 (共9页)

相关文章:

主题相关
相关期刊+更多
    中国业务群个人门户,免费下载!
    征稿启事
    社区热帖+更多
    天元数据 维普资讯 版权所有 Copyright © 2001-2008 cqvip.com Inc. All rights reserved.
    渝ICP证 B2-20050021  违法和不良信息举报中心
    建议使用:1024x768分辨率,16位以上颜色