江苏省社会发展科技计划(BS2001046) 作品数:28 被引量:65 H指数:4 相关作者: 刘一松 孙亚民 魏宁 詹永照 钟珊 更多>> 相关机构: 江苏大学 南京理工大学 常熟理工学院 更多>> 发文基金: 江苏省社会发展科技计划 江苏省高校自然科学研究项目 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 更多>>
FLUX中负析取约束的研究与实现 2010年 FLUX是基于流演算的逻辑程序语言,实现agents在不完全状态下对其动作和感知信息进行逻辑推理。FLUX利用不同的约束来编码不完全状态,但现有的约束并不能覆盖所有流演算状态公式,这势必影响FLUX的应用范围。针对以上问题,在FLUX中引入负析取约束,利用约束处理规则集(CHRs)加以实现,并基于流演算基础语义分析了负析取约束的正确性,从而提高了FLUX对不完全状态的表达能力。 刘一松 朱会娟 朱芒 徐艳群关键词:FLUX BSCRP网:机器人规划的赋时有色网实现方法 2011年 为了解决情景演算无法解决框架问题和生成动作序列效率底的问题,提出了一种基于情景演算推理规则的表示机器人规划的赋时有色网实现方法——BSCRP网(representation based on situation calculus for robot plan),并提出了一种基于双向搜索策略的BSCRP网系统的构造方法。实验结果表明了机器人规划的BSCRP网系统不仅能形式化地描述动作、状态以及动作和状态之间的关系,而且能动态地规划出实现目标的动作序列并计算执行动作序列所需时间。 钟珊 刘一松 常晋义关键词:情景演算 基于情景演算的多个智能虚拟人协作行为描述语言 被引量:2 2007年 在情景演算的框架内引入真并发动作和相应的语义,参照FIPA-ACL增加了请求、承诺、结果等通信动作,将ConGolog扩展为CTConGolog,并且基于CTConGolog提出一个请求/服务协作模型及相应语义.在此基础上,引入用于表示复杂行为动画的元动作,提出并且实现了一种多个智能虚拟人协作行为描述语言---CBDL.实验结果表明,CBDL能够较好地描述多个智能虚拟人在动态环境下通过推理和协作而表现出的行为. 刘一松 王刚 詹永照 孙亚民关键词:情景演算 基于请求/服务协作模型的多Agent建模方法 2012年 为了实现多Agent环境中主体之间的交互特性,在情景演算理论框架下研究了多Agent的通信动作,基于情景演算理论和Golog语言,介绍了ConGolog的语法和语义,并对ConGolog进行扩展。增加了并发处理,优先级的并发以及中断处理。在此基础上,提出一种基于请求/服务协作的多Agent模型,从而实现多Agent程序的并发交互执行。最后,通过对送咖啡例子的仿真,证明上述方法在实现虚拟场景中的多Agent协作行为方面是正确有效的。 宋昌统 王辉关键词:情景演算 请求 智能体 智能体行动推理中的信念修正 被引量:1 2010年 信念修正中的加强修正算法在保留低秩协调信念时存在不足,流演算由于其表示公式的局限,无法较好地与信念修正结合来进行行动推理。针对以上不足,提出了依赖信念修正算法和Strategy-Axiom-Reasoning(SAR)模型。该算法满足Ind假设并且较好地保留了条件信念和低秩非矛盾信念,SAR模型继承并改进了流演算的公理系统,用公式集表示信念集,较好地实现了与信念修正的结合。最后将依赖信念修正算法运用到SAR模型中,用实验证明了其可行性。 刘一松 桑丘 刘朗宇关键词:信念修正 基于文本聚类和概念相似度的语义Web服务发现 被引量:7 2013年 语义Web服务在进行服务发现时,需要按顺序依次匹配注册库中的服务,这将大量时间浪费在不相干的服务上,从而造成服务发现效率低下。针对该问题,提出了一种新的基于文本聚类和概念相似度的语义Web服务发现方法。该方法主要分为两个阶段,第一阶段根据服务源文件中的描述性文本信息将类别一致的服务聚类到一起,在此过程中利用了向量空间模型对文本进行表示和处理,并在前人的基础上提出了一种多重混合聚类算法MHC;第二阶段进行服务间的功能属性匹配,结合本体概念层次树中有向边的深度、强度以及概念的继承度等因素计算概念间的语义相似度。最后,实验结果表明,提出的方法在兼顾匹配准确率的基础上,大大提高了匹配效率。 刘一松 杨玉成关键词:语义WEB服务 文本聚类 本体 语义相似度 虚拟社区中VRML多用户环境的研究与构造 被引量:3 2004年 本文在虚拟社区中VRML多用户环境关键技术研究的基础上 ,论述了虚拟空间生成 ,系统和用户间通信数据包的构造方法 ,实现了用户的交互感知 ,行为共享和持续性。 徐东辉 刘一松 孙亚民关键词:多用户环境 VRML 数据包 共享 虚拟社区 持续性 VRML中虚拟人动作描述的研究 被引量:3 2007年 虚拟人是虚拟场景中最为活跃的因素,但是虚拟人的动作却不能由用户灵活的个性化的设计,为此设计了一个基于VRML的虚拟人动作描述语言(VHADL),采用H-Anim标准构建了虚拟人的模型,定义3个参照系使得用户更准确的描述动作、指定参数,使用反向动力学来确定肢体位置,并定义元动作和一些复合算子来合成复杂动作,最后给出了一个送咖啡的例子。 刘一松 王刚 孙亚民关键词:虚拟现实 虚拟人 FCRP网:机器人规划的赋时有色网实现 2011年 针对流演算无法表示动作执行时间和单向搜索动作序列的问题,提出了一种基于流演算的表示机器人规划的赋时有色网实现方法——FCRP网(a representation based on fluent calculus for robot plan);提出了一种双向搜索策略,并将其应用到FCRP网系统的构造方法中。FCRP网系统不仅能对动作、状态以及它们之间的关系进行形式化的描述,而且能动态地规划出机器人实现目标的动作序列,并计算实际执行动作序列所需时间。最后,通过对机器人取咖啡规划实例进行了建模和仿真,证明了FCRP网系统作为一种机器人规划系统可行性以及采用双向搜索策略能提高规划效率。 钟珊 常晋义 刘一松 殷旭东关键词:PETRI网 基于栅格法的虚拟人快速路径规划 被引量:12 2008年 在栅格中使用经典的Dijkstra算法进行路径规划有计算量大、规划时间长、进行扩展判断的节点个数多等缺点。栅格的组织结构决定了栅格中最短路径的特性——组成最短路径的各线段间的最小夹角为90°。根据栅格及最短路径的特性,提出了一种在栅格中使用Dijkstra算法规划路径时减少扩展节点的个数,进而缩短规划时间、降低计算代价的算法,并将其用于虚拟人的路径规划。实验验证了算法的可行性和有效性。 刘一松 魏宁 孙亚民关键词:路径规划 栅格法 虚拟人 虚拟环境