刘一松 作品数:52 被引量:154 H指数:7 供职机构: 江苏大学计算机科学与通信工程学院 更多>> 发文基金: 江苏省高校自然科学研究项目 江苏省社会发展科技计划 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 文化科学 交通运输工程 更多>>
VRML中虚拟人动作描述的研究 被引量:3 2007年 虚拟人是虚拟场景中最为活跃的因素,但是虚拟人的动作却不能由用户灵活的个性化的设计,为此设计了一个基于VRML的虚拟人动作描述语言(VHADL),采用H-Anim标准构建了虚拟人的模型,定义3个参照系使得用户更准确的描述动作、指定参数,使用反向动力学来确定肢体位置,并定义元动作和一些复合算子来合成复杂动作,最后给出了一个送咖啡的例子。 刘一松 王刚 孙亚民关键词:虚拟现实 虚拟人 FCRP网:机器人规划的赋时有色网实现 2011年 针对流演算无法表示动作执行时间和单向搜索动作序列的问题,提出了一种基于流演算的表示机器人规划的赋时有色网实现方法——FCRP网(a representation based on fluent calculus for robot plan);提出了一种双向搜索策略,并将其应用到FCRP网系统的构造方法中。FCRP网系统不仅能对动作、状态以及它们之间的关系进行形式化的描述,而且能动态地规划出机器人实现目标的动作序列,并计算实际执行动作序列所需时间。最后,通过对机器人取咖啡规划实例进行了建模和仿真,证明了FCRP网系统作为一种机器人规划系统可行性以及采用双向搜索策略能提高规划效率。 钟珊 常晋义 刘一松 殷旭东关键词:PETRI网 基于栅格法的虚拟人快速路径规划 被引量:11 2008年 在栅格中使用经典的Dijkstra算法进行路径规划有计算量大、规划时间长、进行扩展判断的节点个数多等缺点。栅格的组织结构决定了栅格中最短路径的特性——组成最短路径的各线段间的最小夹角为90°。根据栅格及最短路径的特性,提出了一种在栅格中使用Dijkstra算法规划路径时减少扩展节点的个数,进而缩短规划时间、降低计算代价的算法,并将其用于虚拟人的路径规划。实验验证了算法的可行性和有效性。 刘一松 魏宁 孙亚民关键词:路径规划 栅格法 虚拟人 虚拟环境 面向主体的状态演算及其在智能虚拟人中应用的研究与实现 主体和多主体系统已经成为人工智能和计算机科学的一个重要的研究方向,并已经广泛应用到很多领域之中。主体的知识表示和推理、心智成分模型以及内部运行机制等是主体研究的重要内容,目前尚存在着诸多理论问题与实现技术上的困难。
... 刘一松关键词:多主体系统 知识表示 智能虚拟人 公理集合论 基于本体的虚拟空间模型的研究 2013年 虚拟空间模型是由空间对象及其之间的空间关系构成,它为虚拟场景的构建提供了重要的语义信息。然而,由于空间对象和空间关系本身的复杂性,构建的虚拟空间模型通常是不全面的、非具体的。针对这种问题,在充分研究本体以及UML的基础上,提出了利用本体标记虚拟空间对象及对象之间的空间关系,从而构建了虚拟空间本体。论文首先提出虚拟空间中方向关系的计算方法,然后使用UML描述虚拟空间本体的空间结构,并使用OCL描述虚拟空间本体中虚拟对象的约束信息。最后通过一个虚拟办公室的实例,证明了该方法的可行性以及有效性。 刘一松 蒋丽 李路路关键词:本体 虚拟环境 UML OCL 基于流演算的智能虚拟人模型研究与实现 被引量:3 2009年 在研究流演算理论及其实现语言FLUX的基础上,将流演算与虚拟现实技术中的虚拟人相结合,提出了一个基于目标驱动的、有自主行动能力的虚拟人模型。设计了动作检测模块,同时使用了动作队列,根据动作检测的结果来决定是否执行下一个动作,使虚拟人可以针对动态变化的虚拟环境进行有效的行动规划。利用此模型可以快速构建出一个在不完全可知的虚拟环境中通过感知到的有限信息进行实时的、自主行动推理的智能虚拟人。最后,实现了办公室场景中智能虚拟人行动推理系统。 刘一松 文占朝关键词:智能虚拟人 基于情景演算的多个智能虚拟人协作行为描述语言 被引量:2 2007年 在情景演算的框架内引入真并发动作和相应的语义,参照FIPA-ACL增加了请求、承诺、结果等通信动作,将ConGolog扩展为CTConGolog,并且基于CTConGolog提出一个请求/服务协作模型及相应语义.在此基础上,引入用于表示复杂行为动画的元动作,提出并且实现了一种多个智能虚拟人协作行为描述语言---CBDL.实验结果表明,CBDL能够较好地描述多个智能虚拟人在动态环境下通过推理和协作而表现出的行为. 刘一松 王刚 詹永照 孙亚民关键词:情景演算 基于流演算和FLUX的办公室机器人控制 被引量:2 2008年 流演算是在经典情景演算的基础上发展起来的一种动作形式化描述理论,为人工智能领域的动作推理提供了强大的表示工具,在此基础上发展起来的逻辑程序设计语言FLUX,利用约束逻辑程序设计方法,具体地实现了动作推理。主要介绍流演算以及FLUX的基本知识,在此基础上对办公室机器人控制的实例进行了研究,并且利用FLUX语言实现了该实例,实验结果表明,流演算及其实现语言可以用来对机器人进行有效控制,具有良好的计算性能。 吴伟华 刘一松关键词:智能体 机器人控制 事件演算在行动推理中的应用 被引量:3 2008年 事件演算是基于一阶谓词演算的行动推理理论。它可作为描述事件的一个工具,在行动推理的应用中显示出其强大的表示能力和实现能力。在事件演算中,可以对行动进行公理化,可以描述行动的时间性、并发性、连续变化及知识,而且还可用Prolog实现。讨论介绍与这些应用相关的基本概念、思想和方法等,并且通过一个送咖啡的例子说明了如何通过事件演算来描述和实现。 杨爱琴 刘一松关键词:知识 基于ALCO~@的ABox知识更新的研究 2012年 以描述逻辑ALCO@为基础研究知识更新。首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算法给出从原知识库得到确定集和冲突集的推演算法。在更新算法执行过程中,首先在原知识库中删除冲突集中的断言,然后把需要添加的断言加入到知识库中,最后修改受更新操作影响的其它断言的约束条件,以使知识库满足开世界假设。 刘一松 王昌海 赵吉庆关键词:描述逻辑 断言