您的位置： 专家智库 > >

江苏省社会发展科技计划(BS2001046)

作品数：28 被引量：65H指数：4
相关作者：刘一松孙亚民魏宁詹永照钟珊更多>>
相关机构：江苏大学南京理工大学常熟理工学院更多>>
发文基金：江苏省社会发展科技计划江苏省高校自然科学研究项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 28篇中文期刊文章

领域

  • 28篇自动化与计算...

主题

  • 6篇虚拟人
  • 4篇本体
  • 4篇VRML
  • 3篇虚拟环境
  • 3篇有色
  • 3篇智能体
  • 3篇情景演算
  • 3篇路径规划
  • 3篇机器人
  • 2篇虚拟现实
  • 2篇语义相似
  • 2篇语义相似度
  • 2篇栅格
  • 2篇栅格法
  • 2篇执行器
  • 2篇智能虚拟人
  • 2篇设计语言
  • 2篇相似度
  • 2篇机器人规划
  • 2篇分布式

机构

  • 25篇江苏大学
  • 6篇南京理工大学
  • 2篇常熟理工学院
  • 1篇东南大学
  • 1篇南阳理工学院
  • 1篇苏州大学
  • 1篇江苏食品职业...
  • 1篇镇江高等专科...
  • 1篇中铁六局集团...

作者

  • 26篇刘一松
  • 6篇孙亚民
  • 3篇魏宁
  • 3篇詹永照
  • 3篇钟珊
  • 2篇徐东辉
  • 2篇常晋义
  • 2篇王昌海
  • 2篇赵吉庆
  • 2篇李倩倩
  • 2篇王刚
  • 1篇桑丘
  • 1篇万军朋
  • 1篇朱会娟
  • 1篇文占朝
  • 1篇胡庆丰
  • 1篇张杰
  • 1篇李明月
  • 1篇陈梅
  • 1篇徐艳群

传媒

  • 6篇计算机应用研...
  • 6篇计算机工程与...
  • 4篇计算机科学
  • 2篇计算机工程
  • 2篇计算机工程与...
  • 1篇计算机应用与...
  • 1篇微型电脑应用
  • 1篇计算机应用
  • 1篇计算机辅助设...
  • 1篇计算机仿真
  • 1篇微计算机信息
  • 1篇苏州大学学报...
  • 1篇江苏大学学报...

年份

  • 1篇2014
  • 1篇2013
  • 4篇2012
  • 5篇2011
  • 5篇2010
  • 2篇2009
  • 4篇2008
  • 3篇2007
  • 1篇2005
  • 2篇2004
共 28 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
FLUX中负析取约束的研究与实现
2010年
FLUX是基于流演算的逻辑程序语言,实现agents在不完全状态下对其动作和感知信息进行逻辑推理。FLUX利用不同的约束来编码不完全状态,但现有的约束并不能覆盖所有流演算状态公式,这势必影响FLUX的应用范围。针对以上问题,在FLUX中引入负析取约束,利用约束处理规则集(CHRs)加以实现,并基于流演算基础语义分析了负析取约束的正确性,从而提高了FLUX对不完全状态的表达能力。
刘一松朱会娟朱芒徐艳群
关键词：FLUX
BSCRP网:机器人规划的赋时有色网实现方法
2011年
为了解决情景演算无法解决框架问题和生成动作序列效率底的问题,提出了一种基于情景演算推理规则的表示机器人规划的赋时有色网实现方法——BSCRP网(representation based on situation calculus for robot plan),并提出了一种基于双向搜索策略的BSCRP网系统的构造方法。实验结果表明了机器人规划的BSCRP网系统不仅能形式化地描述动作、状态以及动作和状态之间的关系,而且能动态地规划出实现目标的动作序列并计算执行动作序列所需时间。
钟珊刘一松常晋义
关键词：情景演算
基于请求/服务协作模型的多Agent建模方法
2012年
为了实现多Agent环境中主体之间的交互特性,在情景演算理论框架下研究了多Agent的通信动作,基于情景演算理论和Golog语言,介绍了ConGolog的语法和语义,并对ConGolog进行扩展。增加了并发处理,优先级的并发以及中断处理。在此基础上,提出一种基于请求/服务协作的多Agent模型,从而实现多Agent程序的并发交互执行。最后,通过对送咖啡例子的仿真,证明上述方法在实现虚拟场景中的多Agent协作行为方面是正确有效的。
宋昌统王辉
关键词：情景演算请求智能体
智能体行动推理中的信念修正被引量：1
2010年
信念修正中的加强修正算法在保留低秩协调信念时存在不足,流演算由于其表示公式的局限,无法较好地与信念修正结合来进行行动推理。针对以上不足,提出了依赖信念修正算法和Strategy-Axiom-Reasoning(SAR)模型。该算法满足Ind假设并且较好地保留了条件信念和低秩非矛盾信念,SAR模型继承并改进了流演算的公理系统,用公式集表示信念集,较好地实现了与信念修正的结合。最后将依赖信念修正算法运用到SAR模型中,用实验证明了其可行性。
刘一松桑丘刘朗宇
关键词：信念修正
VRML中虚拟人动作描述的研究被引量：3
2007年
虚拟人是虚拟场景中最为活跃的因素,但是虚拟人的动作却不能由用户灵活的个性化的设计,为此设计了一个基于VRML的虚拟人动作描述语言(VHADL),采用H-Anim标准构建了虚拟人的模型,定义3个参照系使得用户更准确的描述动作、指定参数,使用反向动力学来确定肢体位置,并定义元动作和一些复合算子来合成复杂动作,最后给出了一个送咖啡的例子。
刘一松王刚孙亚民
关键词：虚拟现实虚拟人
FCRP网:机器人规划的赋时有色网实现
2011年
针对流演算无法表示动作执行时间和单向搜索动作序列的问题,提出了一种基于流演算的表示机器人规划的赋时有色网实现方法——FCRP网(a representation based on fluent calculus for robot plan);提出了一种双向搜索策略,并将其应用到FCRP网系统的构造方法中。FCRP网系统不仅能对动作、状态以及它们之间的关系进行形式化的描述,而且能动态地规划出机器人实现目标的动作序列,并计算实际执行动作序列所需时间。最后,通过对机器人取咖啡规划实例进行了建模和仿真,证明了FCRP网系统作为一种机器人规划系统可行性以及采用双向搜索策略能提高规划效率。
钟珊常晋义刘一松殷旭东
关键词：PETRI网
基于栅格法的虚拟人快速路径规划被引量：10
2008年
在栅格中使用经典的Dijkstra算法进行路径规划有计算量大、规划时间长、进行扩展判断的节点个数多等缺点。栅格的组织结构决定了栅格中最短路径的特性——组成最短路径的各线段间的最小夹角为90°。根据栅格及最短路径的特性,提出了一种在栅格中使用Dijkstra算法规划路径时减少扩展节点的个数,进而缩短规划时间、降低计算代价的算法,并将其用于虚拟人的路径规划。实验验证了算法的可行性和有效性。
刘一松魏宁孙亚民
关键词：路径规划栅格法虚拟人虚拟环境
基于流演算的智能虚拟人模型研究与实现被引量：3
2009年
在研究流演算理论及其实现语言FLUX的基础上,将流演算与虚拟现实技术中的虚拟人相结合,提出了一个基于目标驱动的、有自主行动能力的虚拟人模型。设计了动作检测模块,同时使用了动作队列,根据动作检测的结果来决定是否执行下一个动作,使虚拟人可以针对动态变化的虚拟环境进行有效的行动规划。利用此模型可以快速构建出一个在不完全可知的虚拟环境中通过感知到的有限信息进行实时的、自主行动推理的智能虚拟人。最后,实现了办公室场景中智能虚拟人行动推理系统。
刘一松文占朝
关键词：智能虚拟人
基于情景演算的多个智能虚拟人协作行为描述语言被引量：2
2007年
在情景演算的框架内引入真并发动作和相应的语义,参照FIPA-ACL增加了请求、承诺、结果等通信动作,将ConGolog扩展为CTConGolog,并且基于CTConGolog提出一个请求/服务协作模型及相应语义.在此基础上,引入用于表示复杂行为动画的元动作,提出并且实现了一种多个智能虚拟人协作行为描述语言---CBDL.实验结果表明,CBDL能够较好地描述多个智能虚拟人在动态环境下通过推理和协作而表现出的行为.
刘一松王刚詹永照孙亚民
关键词：情景演算
基于ALCO~@的ABox知识更新的研究
2012年
以描述逻辑ALCO@为基础研究知识更新。首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算法给出从原知识库得到确定集和冲突集的推演算法。在更新算法执行过程中,首先在原知识库中删除冲突集中的断言,然后把需要添加的断言加入到知识库中,最后修改受更新操作影响的其它断言的约束条件,以使知识库满足开世界假设。
刘一松王昌海赵吉庆
关键词：描述逻辑断言
全选 清除 导出
共3页<123>
聚类工具0