开放逻辑

作品数：30被引量：34H指数：3
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：苏开乐李未丁德成张东摩王淞昕更多>>
相关机构：北京航空航天大学南京大学南京航空航天大学吉林大学更多>>
相关期刊：《北京航空航天大学学报》《南京大学学报（自然科学版）》《模式识别与人工智能》《东岳论丛》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金中国航空科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
邓小平留学思想演变的四重逻辑
《西南交通大学学报（社会科学版）》2021年第4期9-22,共14页祁小平 
欧美同学会项目“中国留学报国史”(2016)。
邓小平留学思想是邓小平顺应历史发展趋势,把握时代发展脉搏,在个人长期的革命实践和深入思考的基础上,为谋求中国的改革开放和现代化发展,在留学教育工作方面形成的理论结晶,是历史、实践、开放和发展四重逻辑演变的必然结果。邓小平...
关键词：邓小平 留学思想 历史逻辑 实践逻辑 开放逻辑 发展逻辑 
特高压直流输电纵差保护分析及逻辑优化
《电工技术》2019年第9期93-95,共3页何海欢 陆锐 
介绍新东直流输电直流保护配置及直流线路纵差保护原理,以一起本站发生的IdLH测量故障事件为例,分析直流线路纵差保护未自动退出的原因,暴露出新东直流纵差保护在测量故障时的风险,并提出优化建议。结合软件仿真,改进后纵差保护能在测...
关键词：特高压直流工程 直流纵差保护 开放逻辑 测量故障 
基于开放逻辑R反驳计算的访问控制策略精化被引量：7
《软件学报》2015年第6期1534-1556,共23页吴迎红 黄皓 吕庆伟 曾庆凯 张迪明 
国家高技术研究发展计划(863)(2011AA01A202)
策略精化是解决分布式应用访问控制策略配置复杂性的重要方法,现有精化技术给出了策略分层描述和逐层精化的方法,但处理策略之间关联问题的能力不足.基于精化树描述策略和策略关联,基于叶结点策略冲突判断,采用开放逻辑R反驳计算分析精...
关键词：访问控制 SAAS 策略精化 策略冲突分析 开放逻辑 R反驳计算 
关于开放逻辑的可判定性
《中国科学（F辑:信息科学）》2009年第7期715-722,共8页张伟 
开放逻辑是用于刻画知识的增长,更新及假说进化的一个引人注目的形式逻辑理论。文中描述了在开放逻辑中什么是典型的证明论问题,并形式地定义了开放证明的概念。关于开放逻辑中的判定性问题,得到的结论是:(1)一致的开放逻辑系统的开放...
关键词：开放逻辑 认识进程 可判定性 
关于开放逻辑与ATMS的关系研究
《仪器仪表用户》2007年第2期109-110,共2页李昕 刘伟信 
人们对现实世界的知识总是不完备的,当人们进行推理的时候,往往要进行种种假设,或者就把已有的一部分知识作为假说(即假设的集合),这种基于假设的推理具有非单调性的特点。而ATMS是由de Kleer在1986年提出的一种基于假设的正确性维护系...
关键词：开放逻辑 ATMS 
我国地方债券市场的开放逻辑探析被引量：1
《北方经贸》2006年第3期90-92,共3页陈文府 
当前是否开放我国地方债券市场,引起了经济学界的关注。有的学者认为现在开放地方债券市场的时机已成熟,有的则认为某些制度条件尚未成熟,应当暂缓开放地方债券市场。本文认为,是否开放地方债券市场,并不单纯是制度条件使然,往往具有深...
关键词：地方债券市场 中央政府 地方政府 开放逻辑 
基于完备拟序的开放逻辑
《计算机学报》2002年第12期1441-1444,共4页刘大有 王淞昕 王飞 
国家自然科学基金 ( 6 0 1730 0 6 );国家"八六三"高技术研究发展计划项目 ( 2 0 0 1AA115 16 0 )资助
开放逻辑是一个可以刻画知识的增长、更新以及假说的进化的逻辑理论 ,它开辟了常识推理研究一条新途径 ,并在机器学习、知识获取、故障诊断及知识库维护等领域有广泛的应用 .基本的开放逻辑不能体现认知主体对所拥有的知识在相信程度上...
关键词：完备拟序 开放逻辑 重构 认识进程 收敛性 
基于全序划分模型的开放逻辑的计算复杂性被引量：3
《计算机研究与发展》2002年第10期1244-1247,共4页王淞昕 刘大有 
国家自然科学基金 ( 6 0 1 730 0 6 );国家"八六三"高技术研究发展计划基金 ( 2 0 0 1 AA1 1 51 6 0 )资助
研究了基于全序划分模型的开放逻辑的计算复杂性 .证明了 :在考虑一般公式的情形下判定一个公式是否被重构所蕴涵是Π p2 完全的 ;如果限制到考虑 Horn公式的情形 ,则为 co-NP完全的 .由此表明 ,从计算复杂性角度来说 ,该判定问题在一...
关键词：全序划分模型 开放逻辑 计算复杂性 
开放逻辑中基于一优先序的R-重构被引量：2
《计算机研究与发展》1999年第5期523-527,共5页苏开乐 
国家"八六三"高技术计划;国家自然科学基金;广东省自然科学基金
在开放逻辑中，Ｒ－重构作为一知识库或信念集修正的结果并不唯一，有时甚至太多而难于明确计算和表示．为此，文中给出了基于一优先序的Ｒ－重构的概念．基于一优先序的Ｒ－重构往往要比Ｒ－重构少得多，不存在上述Ｒ－重构的问题，在...
关键词：信念修正 优先序 R-重构 人工智能 开放逻辑 
信念修正与开放逻辑之间的关系被引量：1
《航空学报》1999年第2期118-121,共4页张东摩 顾红芳 陈世福 
航空科学基金
基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义，分析了三者之间的内在联系及本质差别，证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下，３种运算的操...
关键词：信念修正 信念基修正 开放逻辑 重构 人工智能 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部