刘一松教师姓名：　刘一松职务职称：　教授所属系部：　软件工程系研究方向：　分布式虚拟环境,多智能虚拟主体，行动推理，语义Web联系电话：　13775370916电子邮箱：　liuyisong@ujs.edu.cn个人简介教育背景：
2009年7月，南京理工大学计算机科学与技术学院计算机应用技术专业博士研究生毕业，获博士学位。
1999年5月，江苏大学（原江苏理工大学计算机工程系）计算机应用技术专业硕士研究生毕业，获硕士学位。
1988年7月，湖南大学计算机系计算机及应用专业本科生毕业，获学士学位。

学术任职：
教授，博士，硕士生导师，中国计算机学会高级会员。

获奖情况：
[1]江苏大学教学成果壹等奖，2007
[2]镇江市优秀科技论文二等奖,2010教研成果科研项目：
[1]虚拟社区中VRML多用户环境的研究与构造。江苏省科技计划项目(BS2001046)。2001.9-2003.9。验收(苏科验字[2003]第617号)。
[2]基于VRML的虚拟现实协同环境的技术研究。江苏省高校自然科学研究计划项目（03kjd520075）。2003.5-2008.5。结题。
[3]Agent理性形式化研究。江苏省高校自然科学研究计划项目(02kjd520004)。2002.12-2005.12。鉴定(苏科鉴字[2005]第37号)。
[4]动态序列图像的快速检测及理解。上海市教育委员会科研项目(05XPYQ02)。2005.12-2007.12。结题。
[5]面向主体的状态验算及其应用研究.江苏大学高级专业人才科研启动基金项目(10JDG063).2010.5
[6]以机器人足球为平台的大学生创新教育模式的研究。江苏大学教学改革研究项目(1293000216)。2005.9-2007.12。结题。获江苏大学教学成果一等奖。

论文、著作：

著作
程显毅,刘一松,晏立.面向智能体的知识工程.科学出版社,2008智能科学技术著作丛书

主要期刊论文
1)刘一松,李倩倩.一种最优规划程序设计语言OPPLFC.计算机应用研究.2011.8,28(8):3007-3039
2)刘一松,钟珊,詹永照.一种基于有色网的行动推理表示模型.江苏大学学报（自然科学版）,2010,31(3)：334-338（EI检索）
3)刘一松,万军朋.基于区域伸缩的空间关系的研究与实现.计算机工程,2010,36(4):241-243
4)刘一松,桑丘,刘朗宇.智能体行动推理中的信念修正.计算机应用,2010,30(7):1892-1895
5)刘一松,李明月,朱芒.一种基于流演算的动态规划程序设计语言.计算机应用研究,2010,27(7):2591-2593
6)刘一松,文占朝.基于流演算的智能虚拟人模型研究与实现.计算机应用研究.2009,26(8):2968-2970
7)YisongLiu,ShanZhong,YongzhaoZhan.ReasoningaboutActionforBehavioralAnimationofIntelligentVirtualAgents.TheInternationalJournalofVirtualReality,2008,7(3):37-42.
8)刘一松,詹永照,孙亚民.基于区域伸缩的空间关系表示.计算机科学,2008,35(4):211-215
9)刘一松,王刚,詹永照,孙亚民.基于情景演算的多个智能虚拟人协作行为描述语言.计算机辅助设计与图形学学报,2007,19(12):1629-1634（EI检索，镇江市优秀科技论文二等奖）
10)刘一松,魏宁.一种虚拟人导航运动的路径规划算法.计算机工程与应用,2007,43(33):89-91
11)刘一松,王刚,孙亚民.VRML中虚拟人动作描述的研究.计算机工程与设计,2007,28(14):3446-3448
12)刘一松.VRML虚拟空间协同生成原型系统的研究与开发.计算机应用研究,2000,17(1):26-28（镇江市优秀科技论文三等奖）
13)刘一松.多用户VRML技术在构造3D人-人交互界面的应用.计算机工程,1999,25(11):49-51（EI检索）

主要会议论文
1)YisongLiu,ZhihuaYin,HuijuanZhu,LiliWang.HandlingNegativeDisjunctionConstraints(or_not_holds)inFLUX.Proceedingsofthe2ndInternationalConferenceonComputerandAutomationEngineering（ICCAE2010）,Vol.5,Singapore,2010:514-518.(inEnglish，EI检索)
2)LIUYi-song,LIUHai-mei,ZHAOJing-bo.OnMulti-AgentBasedUrbanRailTransportRidershipForecastSystem.2010InternationalConferenceone-HealthNetworking,DigitalEcosystemsandTechnologies(EDT2010),Vol.1,Shenzhen,China,2010:256-259.(inEnglish，EI检索)
3)YisongLiu,ShanZhong.APredicate/TransitionNetModelforReasoningaboutActions.2008InternationalSymposiumonComputationalIntelligenceandDesign(ISCID2008),Vol.1,Wuhan,China,2008:72-75.(inEnglish，EI检索)
4)YisongLiu,LiliDong,YaminSun.CooperationModelofMulti-AgentSystemBasedOnTheSituationCalculus.Proceedingsofthe2006IEEE/WIC/ACMInternationalConferenceonIntelligentAgentTechnology(IAT2006MainConferenceProceedings),IAT’06,HongKong,2006:424-427.(inEnglish，EI检索)
5)YisongLiu,GangWang,LiliDong,YaminSun.TheCooperationBehaviorsofMultipleIntelligentVirtualAgentsBasedOntheSituationCalculus.Proceedingsofthe16thInternationalConferenceonArtificialRealityandTelexistence-Workshops,ICAT2006,HangZhouChina,2006:83-88.(inEnglish，EI检索)
6)YisongLiu,LiliDong,YaminSun.Multi-agentSystemBasedontheExtendedConGolog.ProceedingsoftheSixthInternationalconferenceOnIntelligentSystemsDesignandApplications(ISDA2006),v2,Jinan,China,2006:913-918.(inEnglish，EI检索)
7)LiuYisong,ChengTianci.Constructing3DHuman-HumanInteractionInterfacebyVRMLTech.ProceedingsofWorkshoponCSCWinDesign,Compiegne,France,1999:459-462(inEnglish)

教学成果：

课程
1)分布式虚拟现实,面向硕士研究生
2)J2EE导论,面向本科生
3)软件项目管理,面向本科生
4)编译技术,面向本科生
5)C语言程序设计,面向本科生

获奖
1)2007，江苏大学教学成果壹等奖。
2)2007，中国机器人大赛RoboCup仿真组(2D)项目二等奖，中国自动化协会、科技部高科技研究发展中心。
3)2010，江苏大学第四届优秀教学质量三等奖。