江苏省高校自然科学研究项目(03kjd520075)
- 作品数：17 被引量：31H指数：3
- 相关作者：刘一松李路路蒋丽王辉宋昌统更多>>
- 相关机构：江苏大学镇江高等专科学校中铁六局集团有限公司更多>>
- 发文基金：江苏省高校自然科学研究项目江苏省社会发展科技计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程更多>>
- FLUX中负析取约束的研究与实现
- 2010年
- FLUX是基于流演算的逻辑程序语言,实现agents在不完全状态下对其动作和感知信息进行逻辑推理。FLUX利用不同的约束来编码不完全状态,但现有的约束并不能覆盖所有流演算状态公式,这势必影响FLUX的应用范围。针对以上问题,在FLUX中引入负析取约束,利用约束处理规则集(CHRs)加以实现,并基于流演算基础语义分析了负析取约束的正确性,从而提高了FLUX对不完全状态的表达能力。
- 刘一松朱会娟朱芒徐艳群
- 关键词：FLUX
- 基于本体的虚拟空间模型的研究
- 2013年
- 虚拟空间模型是由空间对象及其之间的空间关系构成,它为虚拟场景的构建提供了重要的语义信息。然而,由于空间对象和空间关系本身的复杂性,构建的虚拟空间模型通常是不全面的、非具体的。针对这种问题,在充分研究本体以及UML的基础上,提出了利用本体标记虚拟空间对象及对象之间的空间关系,从而构建了虚拟空间本体。论文首先提出虚拟空间中方向关系的计算方法,然后使用UML描述虚拟空间本体的空间结构,并使用OCL描述虚拟空间本体中虚拟对象的约束信息。最后通过一个虚拟办公室的实例,证明了该方法的可行性以及有效性。
- 刘一松蒋丽李路路
- 关键词：本体虚拟环境UMLOCL
- 基于ALCO~@的ABox知识更新的研究
- 2012年
- 以描述逻辑ALCO@为基础研究知识更新。首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算法给出从原知识库得到确定集和冲突集的推演算法。在更新算法执行过程中,首先在原知识库中删除冲突集中的断言,然后把需要添加的断言加入到知识库中,最后修改受更新操作影响的其它断言的约束条件,以使知识库满足开世界假设。
- 刘一松王昌海赵吉庆
- 关键词：描述逻辑断言
- 基于流演算的智能体行动推理模型设计与实现被引量：1
- 2009年
- 并发约束程序设计在人工智能程序设计领域中占据越来越重要的位置,约束处理规则作为新一代的并发程序设计正倍受关注。对约束处理规则和流演算理论及其实现语言FLUX进行了研究,结合流演算和JCHR推理模型优点,设计了一种基于Java的流演算解释器JFLUX,同时提出了一个基于目标驱动的,在不完全可知的虚拟环境中通过感知到的有限信息进行自主行动推理能力的智能体模型,实现了办公室场景中智能体行动推理系统。
- 刘一松韦茂林朱芒
- 关键词：智能体
- 智能体行动推理中的信念修正被引量：1
- 2010年
- 信念修正中的加强修正算法在保留低秩协调信念时存在不足,流演算由于其表示公式的局限,无法较好地与信念修正结合来进行行动推理。针对以上不足,提出了依赖信念修正算法和Strategy-Axiom-Reasoning(SAR)模型。该算法满足Ind假设并且较好地保留了条件信念和低秩非矛盾信念,SAR模型继承并改进了流演算的公理系统,用公式集表示信念集,较好地实现了与信念修正的结合。最后将依赖信念修正算法运用到SAR模型中,用实验证明了其可行性。
- 刘一松桑丘刘朗宇
- 关键词：信念修正
- 基于领域本体的个性化信息检索模型研究
- 2013年
- 为了突破传统信息检索模型的性能瓶颈,更好地为用户提供满足个性化需求的信息服务,基于领域本体建立并维护了本体用户个性模型,提出了一种基于领域本体的个性化信息检索模型,分析了模型的运行流程。在详细分析模型运行的关键技术和算法之后,阐明了模型个性化信息处理运行机制。最后,试验验证了算法的可行性,较传统的检索系统,提升了查全率和查准率。结果表明,模型能有效的提高检索的性能。
- 刘一松潘超
- 关键词：信息检索模型个性化领域本体信息处理
- 一种基于流演算的动态规划程序设计语言被引量：1
- 2010年
- 提出了一种基于流演算的动态规划程序设计语言DPPLFC(dynamic planningprogramminglanguage basedon fluent calculus)。通过定义动作表达式来描述顺序、并发、非确定选择等复杂动作,解决了FLUX不方便用户编程的问题。DPPLFC的动态规划算子是当在线执行的状态与前一次离线执行相对应的状态不同时才进行再次离线执行,改进了基于情景演算的动态规划算子。采用了一种新颖的离/在线执行方式,能够及时处理外部动作;并给出了DPPLFC语言的组成,程序语义及其实现。最后,通过电梯实例验证了DPPLFC语言的可行性和高效性。
- 刘一松李明月朱芒
- 关键词：程序设计语言
- 语义虚拟环境本体可视化模型的研究被引量：4
- 2012年
- 当前信息可视化所面临的一个瓶颈就是,需要一种模型来把场景图形内容和特定领域的语义信息进行有效集成,使用户可以有效地解释个性化可视化信息。基于X3D标准以及本体用本体描述语言OWL描述X3D标准,构建了一个X3D标准本体和一个映射本体来实现X3D标准本体和其他具体领域本体之间类和属性的映射,以达到丰富虚拟场景语义的目的。基于X3D标准本体和映射本体设计了语义虚拟环境本体可视化模型,从而为具体领域本体实现可视化提供了一种方法。实验结果证明了该模型的可行性。
- 刘一松赵吉庆许祥虎王昌海
- 关键词：X3D本体OWL本体映射
- 基于模糊距离和DS证据融合的清洁机器人定位设计被引量：2
- 2014年
- 针对现有清洁机器人定位算法具有的定位精度不高且难以保证在线定位的实时性问题,设计了一种基于模糊距离和DS(DEMPSTER-SHAFER)证据融合的清洁机器人自定位算法;首先,对清洁机器人的总体结构进行了建模和分析,并对其进行硬件设计,为了实现清洁机器人的实时精确定位,采用DS证据数据融合方法对多传感器采集的数据进行有效数据融合,为了进一步提高其精确性,引入了模糊距离,定义当前传感器采集数据与理想结果之间的距离,根据距模糊距离的大小自适应地调大或减少传感器采集数据分配信度的权重,将加权信度作为新的信度进行融合得到最终的融合结果;在不同的场地中进行实际试验,对文中设计的清洁机器人进行实际定位,实验结果表明文中方法能有效地进行定位,较经典的DS证据融合和其它方法具有较高的定位精度,且具有较小的时间复杂度和空间复杂度,具有较大的优越性。
- 宋昌统王辉
- 关键词：清洁机器人证据理论
- 基于文本聚类和概念相似度的语义Web服务发现被引量：7
- 2013年
- 语义Web服务在进行服务发现时,需要按顺序依次匹配注册库中的服务,这将大量时间浪费在不相干的服务上,从而造成服务发现效率低下。针对该问题,提出了一种新的基于文本聚类和概念相似度的语义Web服务发现方法。该方法主要分为两个阶段,第一阶段根据服务源文件中的描述性文本信息将类别一致的服务聚类到一起,在此过程中利用了向量空间模型对文本进行表示和处理,并在前人的基础上提出了一种多重混合聚类算法MHC;第二阶段进行服务间的功能属性匹配,结合本体概念层次树中有向边的深度、强度以及概念的继承度等因素计算概念间的语义相似度。最后,实验结果表明,提出的方法在兼顾匹配准确率的基础上,大大提高了匹配效率。
- 刘一松杨玉成
- 关键词：语义WEB服务文本聚类本体语义相似度
