您的位置： 专家智库 > >

毛翊

作品数：2 被引量：2H指数：1
供职机构：美国德州大学更多>>
发文基金：教育部人文社会科学研究基金更多>>
相关领域：哲学宗教更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 2篇哲学宗教

主题

  • 2篇常识推理
  • 1篇优先序
  • 1篇语义
  • 1篇逻辑系统
  • 1篇常识
  • 1篇M

机构

  • 2篇美国德州大学
  • 1篇北京大学
  • 1篇中山大学

作者

  • 2篇毛翊
  • 1篇周北海

传媒

  • 1篇西南师范大学...

年份

  • 1篇2006
  • 1篇2004
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
常识推演——常识推理的形式刻画
在形式化方法下,经典逻辑通过严格概念推演表达正确推理形式的直观概念。推演概念的建立基于两个因素:逻辑和推演的定义方式。常识推理是非单调推理,具有前提的整体性,结论的层次性等特点。经典逻辑现有的定义方式只适于定义单调推理的...
周北海毛翊
关键词：常识推理优先序
文献传递
常识推理基础逻辑系统M的完全性被引量：2
2006年
对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性。Γ-典范模型方法是有穷方法。如果Γ有穷,得到的典范模型有穷。这不仅可以证明M的完全性,还可证明M的有穷模型性,因此M是可判定的。
周北海毛翊
全选 清除 导出
共1页<1>
聚类工具0