咨询与建议

限定检索结果

文献类型

  • 7 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 8 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 5 篇 哲学
    • 5 篇 哲学
  • 5 篇 工学
    • 5 篇 计算机科学与技术...
    • 3 篇 控制科学与工程
    • 3 篇 软件工程
  • 3 篇 理学
    • 3 篇 数学
  • 3 篇 管理学
    • 3 篇 管理科学与工程(可...

主题

  • 8 篇 标记逻辑
  • 3 篇 蕴涵
  • 3 篇 次协调逻辑
  • 2 篇 非此即彼
  • 2 篇 自然推理
  • 2 篇 应用公理
  • 2 篇 事实的规律层次
  • 2 篇 稳固性
  • 2 篇 重言系统
  • 2 篇 推理
  • 2 篇 事实的现实层次
  • 2 篇 自动推理
  • 2 篇 正则性
  • 2 篇 悖理
  • 2 篇 二极背反
  • 1 篇 可扩展标记语言(x...
  • 1 篇 xml
  • 1 篇 知识库
  • 1 篇 超协调推理
  • 1 篇 认知

机构

  • 2 篇 吉林大学
  • 2 篇 海宁市建设局
  • 2 篇 武汉大学
  • 1 篇 中科院自动化所
  • 1 篇 东北师范大学
  • 1 篇 金华职业技术学院

作者

  • 2 篇 朱福喜
  • 2 篇 陈自立
  • 2 篇 余振坤
  • 1 篇 郭鸿鹤
  • 1 篇 龚昌盛
  • 1 篇 陈荣
  • 1 篇 程晓春
  • 1 篇 刘叙华
  • 1 篇 戴汝为
  • 1 篇 杨凤杰
  • 1 篇 王金艳
  • 1 篇 周生炳
  • 1 篇 谷文祥
  • 1 篇 殷明浩
  • 1 篇 刘日仙

语言

  • 8 篇 中文
检索条件"主题词=标记逻辑"
8 条 记 录,以下是1-10 订阅
排序:
标记逻辑的TABLEAU判定过程
收藏 引用
软件学报 1996年 第11期7卷 698-705页
作者: 程晓春 刘叙华 吉林大学计算机系 吉林大学符号计算与知识工程开放实验室
标记逻辑是一种重要的次协调逻辑,和|≈是标记逻辑中的2种推理关系.二者都是次协调的,可以用统一的方法处理一致的知识与不一致的知识,是单调的,有基于归结的证明论,但不能保持经典逻辑中合理的推理,如三段论.|≈是非单... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
标记逻辑(APC)中蕴涵概念在本体和认知方面的比较及研究
收藏 引用
松辽学刊(自然科学版) 1998年 第2期 9-13页
作者: 杨凤杰 陈荣 吉林大学 长春130023
众所周知 ,维持一个大型知识库的相容性是一件极其困难的事情 ,而一旦知识库中出现了不相容的信念 (belief) ,使用经典逻辑就再也无法有的推理了 ,因为任何结论都是此知识库的逻辑结果 ,这样 ,大量的有用信息就被屏蔽掉 为了解决这个... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于标记逻辑的非单调推理(I)
收藏 引用
计算机学报 1995年 第9期18卷 641-649页
作者: 周生炳 戴汝为 中科院自动化所 北京
我们把标记逻辑定义在一个特殊双格上,通过比较标记选取结论,从而同时捕捉超协调(容错)推理和非单调推理,本文介绍标记逻辑程序的句法与语义构造,提出诱导序列及其极限的概念,给出极限存在的等价条件,并证明一个重要结果,诱导... 详细信息
来源: 维普期刊数据库 维普期刊数据库 评论
正规经典逻辑BFc的次协调性及推理悖论的解决(上)
收藏 引用
河池学院学报 2006年 第3期26卷 11-17页
作者: 陈自立 海宁市建设局 浙江海宁314400
经典逻辑BF是应用最广的一种系统,但存在悖理。本文指出,这仅是“推理”悖理,通过分析提出了解决方法,完成了次协调性的构造。
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
正规经典逻辑BFc的次协调性及推理悖论的解决(下)
收藏 引用
河池学院学报 2006年 第4期26卷 11-20页
作者: 陈自立 海宁市建设局 浙江海宁314400
经典逻辑BF是应用最广的一种系统,但存在悖理。本文指出,这仅是“推理”悖理,通过分析提出了解决方法,完成了次协调性的构造。
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于XML的次协调推理
收藏 引用
武汉大学学报(理学版) 2006年 第1期52卷 64-68页
作者: 朱福喜 龚昌盛 余振坤 武汉大学计算机学院 湖北武汉430072
标记逻辑是一种次协调逻辑系统,将XML用于表示标记逻辑,探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题,并给出了推理实例.实例表明,使用XML能够很方便地表达标记逻辑,并且利用XML的辅助工具能够很方便地实现其推理机制.
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
多值知识编译
收藏 引用
东北师大学报(自然科学版) 2011年 第4期43卷 44-48页
作者: 谷文祥 郭鸿鹤 殷明浩 王金艳 刘日仙 东北师范大学计算机科学与信息技术学院 吉林长春130117 金华职业技术学院信息工程学院 浙江金华321017
定义了一类新的易处理理论:s-EPCCL理论.在此基础上,提出了一种以s-EPCCL理论为目标语言的多值知识编译方法.该方法与现有知识编译方法不同的是,它可以对多值知识库进行编译.经过多值编译后,任意查询都可以在多项式时间内得到应答.
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
用XML进行次协调推理
用XML进行次协调推理
收藏 引用
逻辑与认知学术研讨会
作者: 朱福喜 余振坤 武汉大学计算机学院 武汉大学计算机学院
次协调逻辑能够合理地处理不协调知识的推理。本文研究如何用XML作为一种次协调逻辑系统——标记逻辑的表示和推理的基本工具,探讨了在这种表示之下标记逻辑自动推理推理规则和推理策略的实现问题,并给出了推理实例。
来源: cnki会议 评论