开放逻辑相关论文
对于软件系统的需求工程,需求演化至关重要。目前,对此问题已有不少基于逻辑的解决方法。但我们认为,它们并没有提供足够丰富的元逻辑......
邓小平留学思想是邓小平顺应历史发展趋势,把握时代发展脉搏,在个人长期的革命实践和深入思考的基础上,为谋求中国的改革开放和现......
该文提出了基于路径的继承理论-路径信任理论.这一理论将一般与特殊原则和抽象与具体原则作为基本继承直觉,能够解释直接冲突、例......
开放逻辑旨在描述形式系统与外界的交互作用,它为常识推理研究开辟了一条新途径,并在机器学习、知识获取、故障诊断以及知识库维护......
开放逻辑同基于论证的推理是两种各自独立的、重要的常识推理方法。该文研究了二者的联系。该文的主要结果是在命题情形下证明了,假......
基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义,分析了三者之间的内在联......
开放逻辑是用于刻画知识的增长,更新及假说进化的一个引人注目的形式逻辑理论。文中描述了在开放逻辑中什么是典型的证明论问题,并......
文中介绍了一个程序规范自动检测与修正系统ADRS的理论模型.在开放逻辑的思想基础上,文中提出了一种自动修正模型,并试图对李未提......
人们对现实世界的知识总是不完备的.当人们进行推理的时候,往往要进行种种假设,或者就把已有的一部分知识作为假说(即假设的集合),这种基......
<正> 一、引言人类在智能上同动物的主要区别是他们具有高级思维过程,即包括创造性思维、灵感或顿悟、和直觉等。然而,迄今为止的......
本文给出开放逻辑中合理事实反驳模型类的概念,讨论了它们的重要性质。通过给定一假说中名子的线性序关系,得到了假说的最大前节重构......
In this paper, a novel ATMS-based knowledge base maintenance system is proposed. Itenhances functions of the tranditiona......
本文建立了一个可以刻画知识的增长、更新以及假说的进化的逻辑理论;给出了新假设、事实反驳、假说的重构及认识进程等概念的定义,......
本文对开放逻辑的一个重要概念认识进程进行了研究。给出了认识进程有极限的几个充分必要条件,刻画了一个类永远有极限的认识进程即......
本文基于开放逻辑理论,给出了缺省理论T=<D,W>扩充E的新假设,事实反驳、e-重构、e-认识进程及其极限等概念的意义,讨论了W变化时新扩充的变化规律,并......
开放逻辑是一个可以刻画知识的增长、更新以及假说的进化的逻辑理论,它开辟了常识推理研究一条新途径,并在机器学习、知识获取、故......
策略精化是解决分布式应用访问控制策略配置复杂性的重要方法,现有精化技术给出了策略分层描述和逐层精化的方法,但处理策略之间关联......
在开放逻辑中,令Γ为一假说,A为一句子,对任何Γ到Γ的幂集合的一个映射f本文定义了如下算子△f,对任何,且.我们讨论了算子△f的不动点的一些......
读《20世纪最后一搏──中国开放备忘录》董建才自党的十一届三中全会以来,中国社会最鲜明的特色是改革开放。而自1992年以来,对外开放有......
当前是否开放我国地方债券市场,引起了经济学界的关注。有的学者认为现在开放地方债券市场的时机已成熟,有的则认为某些制度条件尚未......
在开放逻辑中,R-重构作为一知识库或信念集修正的结果并不唯一,有时甚至太多而难于明确计算和表示,为此,文中给出了基于一优先序的R-重构的......
研究了基于全序划分模型的开放逻辑的计算复杂性.证明了:在考虑一般公式的情形下判定一个公式是否被重构所蕴涵是∏p2完全的;如果......
本文基于开放逻辑理论,建立了一阶谓词限制理论的知识增长、更新及理论进化的开放的限制理论,给出了谓词限制理论中新假设、事实反驳......
Open logic (OL) is a noticeable logic theory dealing with the description of knowledge growth and updating, as well as t......
基于全序划分结构给出了信念修正理论中的信念修正操作,信念基修正操作及开放逻辑中的重构操作的统一定义,分析了三者之间的内在联系......
介绍新东直流输电直流保护配置及直流线路纵差保护原理,以一起本站发生的IdLH测量故障事件为例,分析直流线路纵差保护未自动退出的......
给出了开放逻辑中形成新的假说的一个方法即子结构扩充法,并讨论了相应的认识进程的极限问题。......
互联网图像信息数据量的增长迫使我们要开发出更有效率的图像检索技术。目前,最简单和便利的网上检索方式是通过提供文本语义信息,......