朱朝晖
- 作品数：22 被引量：27H指数：3
- 供职机构：南京航空航天大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 公文流转系统中工作流分析及其数据库实现
- 根据WMFC给出公文流转系统中工作流的定义,描述了UML中活动图分析工作流的方法,结合UML对公文流转系统中的工作流进行动态建模,在这基础上给出了公文流转系统一个通用关系数据库模型,并基于该模型给出公文流转策略和数据库实...
- 苏静朱朝晖
- 关键词：公文流转工作流UML关系数据库
- 文献传递
- 指标互模拟的模态逻辑特征
- 互模拟的逻辑特征是进程代数研究中的重要内容之一。指标互模拟是最近提出的用于描述进程近似等价的概念。由于指标互模拟在度量ρ不要求为超度量时一般不是等价关系，因而传统的逻辑特征形式不适用于此。本文提出了一种新的逻辑特征的形式...
- 张晋津朱朝晖
- 关键词：模态逻辑进程代数
- 文献传递
- 有缺指派下的信念修正逻辑被引量：1
- 2010年
- 经典的AGM信念修正理论和以D-P假设为代表的迭代信念修正理论都是以完全指派为可能世界而进行的理论研究.把这些研究推广到有缺指派的领域中与完全指派为每个原子命题符号都指派真假值不同,有缺指派是一个三值指派,它可以为每个原子命题符号指派真、假和不确定三值之一.以有缺指派为可能世界,对D-P系统进行了推广,证明了相应的表示定理.
- 肖文洁朱朝晖
- 关键词：信念修正表示定理
- (η,α)-互模拟的分层及判定算法
- 2015年
- 分层刻画是传统的互模拟概念研究中的一个重要内容,它为一些互模拟判定算法提供了理论基石。(η,α)-互模拟是一种带折扣的近似互模拟概念,其定义蕴涵着一种折扣思想:在比较系统差异时,越晚出现的差异越不重要。为(η,α)-互模拟建立分层刻画,将清晰地揭示这种折扣思想。此外,由于(η,α)-互模拟一般不是等价关系,所以传统的互模拟判定算法中常用的最粗划分方法不适用于(η,α)-互模拟的判定,基于(η,α)-互模拟的分层刻画给出一种该互模拟的判定算法。还提供一个简单的例子用于说明(η,α)-互模拟及其判定算法在描述实现与规范之间关系时的应用。
- 张晋津张严朱朝晖
- Vakarelov问题的研究
- 1999年
- 本文在Vakarelov的信息逻辑IL的基础上，通过引入新的模合同以及模态词间的布尔运算建立了BILC系统，研究了系统的语义．提出在布尔模态逻辑语言下解决Vakarelov问题的思想，主要结果表明在BILC语言下要彻底解决Vakarelov问题必须针对三种KR-结构分别构造逻辑系统，IL系统的研究方法对BILC语言框架下的研究是行不通的．
- 朱朝晖毛宇光朱梧
- 关键词：知识表示系统形式语言
- 单可表示类的特征被引量：2
- 2001年
- 择优模型是目前常识推理领域中最常用的语义结构之一 .在择优模型中有一类重要的模型——单射择优模型 ,近年来 ,众多的学者对该模型类从各种角度进行了研究 ,但一个重要而基本的问题 ,即何种类型的择优后承具有单射择优模型 ,虽经多位学者的研究到现在仍然悬而未解 .目前 ,最好的结果是 Freund在有限语言限制下证明了“择优后承具有单射择优模型当且仅当它满足弱析取合理性”.文中提出择优模型的一种转换 ,将此转换应用于 Kraus,L ehm an及 Magidor提出的 KL M模型上 ,在一般语言框架下证明了“满足弱析取合理性的择优后承必具有单射择优模型”。
- 朱朝晖李斌陈世福朱梧檟
- 关键词：表示定理人工智能常识推理
- 基于关系的两维意向结构(英文)被引量：7
- 2004年
- 从建构agent角度出发,提出了一个基于关系结构的包括agent意向、信念以及目标等认知状态的框架.在此框架中,实现目标的意向形成了两维序结构,其中一维表示意向间的时序关系,另一维表示意向间的相干关系,在此基础上,研究了信念、意向和目标的相互关系.因为摒弃了传统的用模态算子来刻画agent的意向的方法,所以在构建agent时,可以直接采用意向库以及意向间的时序、相干关系来表示agent的意向,从而缩小了agent理论模型与实际agent结构之间的差异,为agent结构的建立提供了必要的理论基础.
- 李斌李斌朱朝晖陈韬略吕建
- 关键词：AGENT理论AGENT结构BDI模型
- 行动推理中循环因果关系的研究被引量：1
- 2005年
- 近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法.基于适当修改后的McCain和Turner的因果理论,该文提出了一种能处理循环依赖的理论转化方法.转化后的因果理论消除了循环依赖,而且可以采用单调推理方法.基于因果闭包语义,证明了转化前后的因果理论具有相同的模型.当因果关系不存在循环依赖时,该文方法得到与McCain,Turner方法(1997)相同的结果.
- 骆斌戈也挺朱朝晖陈世福
- 关键词：因果关系非单调推理因果理论
- 中介关系数据库查询语言被引量：2
- 1998年
- 给出了中介关系数据模型，在此基础上构造了两类不同的中介关系数据库查询语言：中介关系演算和中介关系代数。中介关系演算以中介谓词演算ＭＦ＊为基础，通过引入真值程度词、对立否定词ヲ和模糊否定词～扩充了关系演算的表达能力。同样地，中介关系代数以中介集合论ＭＳ为基础，扩充了关系代数的功能。此外，证明了中介关系演算和中介关系代数在语言表达能力上的等价性。中介关系演算和中介关系代数可作为研究模糊数据库理论的工具。
- 毛宇光朱朝晖
- 关键词：关系型数据库查询语言
- 有限语言下占先模型的赋值结构
- 2001年
- 占先语义是知识表示与推理中应用最广的语义结构 ,它有多种定义方式 ,其中以 S.Kraus,D.Lehmann及 M.Magidor提出的 KLM占先结构最为著名。但是对 KLM占先结构本身的模型论性质却缺少系统深入的研究。本文在有限语言框架下 ,对一般 KLM占先模型的赋值结构性质进行了研究 ,给出了占先模型与其赋值结构逻辑等价的充分必要条件 ,证明了有限语言框架下 ,逻辑等价的单射模型在同构意义下的唯一性。这些结果说明 ,KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。
- 朱朝晖李斌
- 关键词：非单调逻辑人工智能
