检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

知识库维护的结构操作语义方法

软件学报 2000年第6期11卷 758-766页

作者：苏开乐李未中山大学计算机科学系北京航空航天大学计算机科学与工程系北京100083

关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库 ,该文给出了一个维护和更新的形式转换系统 ,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中 .作为一种特殊情形 ,也得到了一个 R-重构的能行... 详细信息

关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库 ,该文给出了一个维护和更新的形式转换系统 ,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中 .作为一种特殊情形 ,也得到了一个 R-重构的能行产生机制 .该文给出的转换系统不仅具有可靠性 ,而且也具有完备性 .

关键词：知识库逻辑系统命题逻辑 R-重构信念修正

在线全文

学校读者我要写书评

暂无评论

SAT问题中局部搜索法的改进

计算机研究与发展 2005年第1期42卷 60-65页

作者：杨晋吉苏开乐中山大学信息科学与技术学院计算机科学系华南师范大学计算机科学系广州 510631 河南科技大学电子信息工程学院洛阳 471003

局部搜索方法在求解SAT问题的高效率使其成为一研究热点.提出用初始概率的方法对局部搜索算法中变量的初始随机指派进行适当的约束.使在局部搜索的开始阶段,可满足的子句数大大增加,减少了翻转的次数,加快了求解的速度.用该方法对目前... 详细信息

局部搜索方法在求解SAT问题的高效率使其成为一研究热点.提出用初始概率的方法对局部搜索算法中变量的初始随机指派进行适当的约束.使在局部搜索的开始阶段,可满足的子句数大大增加,减少了翻转的次数,加快了求解的速度.用该方法对目前的一些重要的SAT问题的局部搜索算法(如WSAT,TSAT,NSAT,SDF等)进行改进,通过对不同规模的随机3-SAT问题的实例和一些不同规模的结构性SAT问题的实例,以及利用相变现象构造的难解SAT实例测试表明,改进后的这些局部搜索算法的求解效率有了很大的提高.该方法对其他局部搜索法的改进具有参考价值。

关键词： SAT问题局部搜索概率

在线全文

学校读者我要写书评

暂无评论

一个基于智能的MAS模型及其方法论

计算机研究与发展 2007年第6期44卷 980-989页

作者：李超明苏开乐中山大学计算机科学与技术系广州510275

为了得到好的体系结构模式来将模式驱动的方法用于多智能体系统(MAS)的设计,必须有形式上抽象但是技术上细化的方法论.基于智能思想的提出,使得以智能作桥梁将AO,PO和OO的优点融合,并以此提出一种覆盖了从事务分析到Agent组织系统实现... 详细信息

为了得到好的体系结构模式来将模式驱动的方法用于多智能体系统(MAS)的设计,必须有形式上抽象但是技术上细化的方法论.基于智能思想的提出,使得以智能作桥梁将AO,PO和OO的优点融合,并以此提出一种覆盖了从事务分析到Agent组织系统实现全过程而又比较技术化的方法论IB.同时提出一个基于智能的智能系统模型(MIBIS),通过模型的构造过程来叙述方法论.因为模型以及构造过程的形式化和整个过程的技术化,所以使得该模型和方法论能够被用于体系结构模式的归纳,也能用于工程的实用.而且该模型所表达的结构有良好动态组织性、实用性、实时性、扩展性和重用性.

关键词：基于智能 AO 体系结构方法论 MAS

在线全文

学校读者我要写书评

暂无评论

开放逻辑中的R-重构

科学通报 1994年第5期39卷 385-387页

作者：苏开乐南京大学数学系南京210008

为了刻画知识的增长,更新以及假说的进化,Li最近建立了一个开放的逻辑理论.开放逻辑的一个基本概念就是R-重构,R-重构不具有唯一性,文献中指出了这一点.对任意给定的假说Γ和语句A使得Γ=A且.A有事实反驳,我们给出了Γ关于A的事实反驳... 详细信息

为了刻画知识的增长,更新以及假说的进化,Li最近建立了一个开放的逻辑理论.开放逻辑的一个基本概念就是R-重构,R-重构不具有唯一性,文献中指出了这一点.对任意给定的假说Γ和语句A使得Γ=A且.A有事实反驳,我们给出了Γ关于A的事实反驳的R-重构唯一的充要条件.令R-recons(Γ,A)为所有Γ关于A的事实反驳的R-重构的集合,我们讨论了当Γ,A变化时,R-recons(Γ,A)的基数的可能变化范围.

关键词：事实反驳开放逻辑 R重构一阶逻辑

在线全文

学校读者我要写书评

暂无评论

开放逻辑中基于一优先序的R-重构

计算机研究与发展 1999年第5期36卷 523-527页

作者：苏开乐汕头大学科学院

在开放逻辑中，Ｒ－重构作为一知识库或信念集修正的结果并不唯一，有时甚至太多而难于明确计算和表示．为此，文中给出了基于一优先序的Ｒ－重构的概念．基于一优先序的Ｒ－重构往往要比Ｒ－重构少得多，不存在上述Ｒ－重构的问题，在... 详细信息

在开放逻辑中，Ｒ－重构作为一知识库或信念集修正的结果并不唯一，有时甚至太多而难于明确计算和表示．为此，文中给出了基于一优先序的Ｒ－重构的概念．基于一优先序的Ｒ－重构往往要比Ｒ－重构少得多，不存在上述Ｒ－重构的问题，在用户给出的关于一知识库中知识的优先序时，基于该优先序的Ｒ－重构可以用来刻画对该知识库的合理维护．文中从开放逻辑中的模型论概念——事实反驳出发，给出了基于优先序的重构的定义，刻画了这类重构的一系列重要性质，如可靠性，存在性，相对于优先序关系的单调性，以及连续性等．

关键词：信念修正优先序 R-重构人工智能开放逻辑

在线全文

学校读者我要写书评

暂无评论

关于一度的上升序列的上界

南京大学学报（数学半年刊） 1993年第2期10卷 153-162页

作者：苏开乐

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

开放逻辑中的认识进程

南京大学学报（数学半年刊） 1995年第2期12卷 175-178页

作者：苏开乐

本文对开放逻辑的一个重要概念认识进程进行了研究。给出了认识进程有极限的几个充分必要条件，刻画了一个类永远有极限的认识进程即所谓的有序认识进程。

关键词：开放逻辑认识进程重构有序认识进程

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

有界模型检测的优化

软件学报 2009年第8期20卷 2005-2014页

作者：杨晋吉苏开乐骆翔宇林瀚肖茵茵华南师范大学计算机学院广东广州510631 中山大学信息科学与技术学院广东广州510275 北京大学信息科学技术学院北京100871 桂林电子科技大学计算机与控制学院广西桂林541004

G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-... 详细信息

G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-time temporal logic,简称LTL)的语义特征.在现有的编码公式的基础上,给出了简洁、高效的递推公式,该公式有利于高效编码成SAT(satisfiability)实例;证明了递推公式和原转换公式的逻辑关系.通过实验比较分析,在生成SAT实例规模和易求解方面都优于BMC中求解这些模态算子的现有的两种重要方法AA_BMC和Timo_BMC.所给出的方法和思想对于BMC中验证其他模态算子时的编码优化也有参考价值.

关键词：模型检测有界模型检测可满足性问题模态算子递推公式

Constraints on Extensions of a Default Theory

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2001年第4期16卷 329-340页

作者：苏开乐 Department of Computer Science Zhongshan University Guangzhou P.R. China State Key Laboratory for Novel Software Technology Nanjing University Nanjing P.R. China

In this paper, the representability of a family of theories as the set of extensions of a default theory is studied. First, a new necessary condition is given for the representability by means of general default theories; then a sufficient one is presented. The families of theories represented by default theories are also fully characterized. Finally, the paper gives an example of denumerable families of mutually inconsistent theories that are represented by a default theory but not by normal ones.

关键词： default logic extension representability