搜索到207篇“ 非单调推理“的相关文章
- 为了支持非单调推理而组织知识库的方法和应用
- 本发明公开了一种为了支持非单调推理而组织知识库的方法和应用，属于逻辑推理技术领域。包括：在增加规则r时，获取r的直接前驱后继关联关系集preAndPostPairSet；判断|preAndPostPairSet|是否为0...
- 胡启平 胡煜州
- 非单调推理在逻辑动作语言系统刻画中的知识表示方法
- 本发明公开了一种非单调推理在逻辑动作语言系统刻画中的知识表示方法。该方法对多种经典逻辑动作语言进行抽象刻画与性质表示，在统一的特性空间下，给出这些语言的最小特征集。该方法包括逻辑动作语言在回答集逻辑程序语法下的系统化自动...
- 张昊迪伍楷舜陈振浩
- 因果关系非单调推理的研究与应用
- 随着计算机性能的提升和算法的优化,从大量的数据间发现某些事物的因果关系逐渐引起了人们的兴趣,尤其是从数据中自动分析出因果关系的算法,更是成为了研究的热点。然而从数据中挖掘因果关系的一系列理论仍然缺乏与之匹配的逻辑系统,进...
- 王彧
- 关键词：非单调逻辑因果理论等价性
- 非单调推理在逻辑动作语言系统刻画中的知识表示方法
- 本发明公开了一种非单调推理在逻辑动作语言系统刻画中的知识表示方法。该方法对多种经典逻辑动作语言进行抽象刻画与性质表示，在统一的特性空间下，给出这些语言的最小特征集。该方法包括逻辑动作语言在回答集逻辑程序语法下的系统化自动...
- 张昊迪伍楷舜陈振浩
- 基于满足系统的带有猜想的知识集的非单调推理建模研究
- 本文在传统的知识库的经典逻辑模型的基础上，通过引入假设、猜想与一些实际的推理实例，构造了一种非经典的非单调的逻辑模型，该模型具有知识增加与无知保持的特点。明显地提高了知识库的利用范围，为知识创新提供了一种逻辑基础。所提出...
- 杨晓璐
- 以可推翻论证为基点的非单调推理研究被引量：1
- 2017年
- 可推翻论证[1]系统是非单调推理研究领域近年来最为活跃的分支之一。与其他分支相比,可推翻论证系统更侧重于推理结构的研究,它的研究基点是论证,即以单个论证作为最小研究单位,而不是像其他的分支及经典逻辑那样从命题或命题中的成分开始研究。在这一研究视角下,新的前提不会使论证变成无效,而只会引起反面的论证。本文梳理了可推翻论证研究的基本框架和内容,比较其不同结果,辨析了可推翻论证系统和其他非单调推理研究分支的关系,并指出以论证为基点是研究非单调推理的恰当切入点,可推翻论证在非单调推理领域有很好的发展前景和广泛应用空间。
- 张立英
- 关键词：非单调推理
- 航天器在轨故障诊断的非单调推理方法初探
- 本文提出了一种在地面进行航天器在轨故障诊断的非单调推理方法。首先,对关注的问题建立串行的故障传递模型,然后建立故障与数据特征的逻辑关联,最后根据获取的观测数据进行辩证辩论确定故障源。以某型光学卫星对焦系统的故障分析为案例...
- 韩大鹏王炎娟项军华李志军
- 关键词：故障诊断辩论航天器非单调推理辩证推理
- 航天器在轨故障诊断的非单调推理方法初探
- 本文提出了一种在地面进行航天器在轨故障诊断的非单调推理方法。首先,对关注的问题建立串行的故障传递模型,然后建立故障与数据特征的逻辑关联,最后根据获取的观测数据进行辩证辩论确定故障源。以某型光学卫星对焦系统的故障分析为案例...
- 韩大鹏王炎娟项军华李志军
- 关键词：故障诊断辩论航天器非单调推理辩证推理
- 航天器在轨故障诊断的非单调推理方法初探
- 本文提出了一种在地面进行航天器在轨故障诊断的非单调推理方法。首先，对关注的问题建立串行的故障传递模型，然后建立故障与数据特征的逻辑关联，最后根据获取的观测数据进行辩证辩论确定故障源。以某型光学卫星对焦系统的故障分析为案例...
- 韩大鹏王炎娟项军华李志军
- 关键词：故障诊断辩论航天器非单调推理辩证推理
- 计划中的时序偏好表示和非单调推理
- 2014年
- 针对行动序列计划中的时序偏好问题开展研究,重点关注时序偏好集合内部存在不一致性时完成行动计划的方法。论文的难点和创新点体现在两个方面。针对时序偏好的表示问题,建立了一种二元描述结构,能够实现对时序约束和时序偏好的归一化描述。使用计算辩论技术建立推理框架,用以排除约束/偏好集合中的冲突关系,获得具有最大一致性的约束/偏好子集。在此基础上建立了一种新的计划生成策略,通过映射的方法得到行动序列片段,组合这些片段后形成完整的行动序列计划。通过实例验证了方法的可行性。
- 王炎娟郝智勇姚莉
- 关键词：偏好时序逻辑
相关作者
- 张立英
- 作品数：24被引量：31H指数：3
- 供职机构：中央财经大学文化与传媒学院现代逻辑研究所
- 研究主题：非单调推理 三段论 语义解释 逻辑 现代逻辑
- 廖备水
- 作品数：48被引量：209H指数：8
- 供职机构：浙江大学
- 研究主题：论辩 人工智能 AGENT 非单调推理 对齐
- 怀进鹏
- 作品数：334被引量：1,845H指数：28
- 供职机构：中国科学院
- 研究主题：虚拟机 WEB服务 网格环境 数据库 网格
- 王献昌
- 作品数：16被引量：99H指数：3
- 供职机构：国防科学技术大学计算机学院计算机科学与技术系
- 研究主题：人工智能 非单调推理 逻辑 并行计算 多AGENT系统
- 王炎娟
- 作品数：40被引量：43H指数：5
- 供职机构：北京航天飞行控制中心
- 研究主题：测控 航天器 成像卫星 辩论 非单调推理
