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

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

获奖情况：
[1]江苏大学 教学成果壹等奖，2007
[2]镇江市优秀科技论文二等奖, 2010

教研成果
科研项目：
[1]虚拟社区中VRML多用户环境的研究与构造。江苏省科技计划项目(BS**)。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]以机器人足球为平台的大学生创新教育模式的研究。江苏大学教学改革研究项目()。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)Yisong Liu, Shan Zhong, Yongzhao Zhan. Reasoning about Action for Behavioral Animation of Intelligent Virtual Agents. The International Journal of Virtual Reality, 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)Yisong Liu, Zhihua Yin, Huijuan Zhu, Lili Wang. Handling Negative Disjunction Constraints (or_not_holds) in FLUX. Proceedings of the 2nd International Conference on Computer and Automation Engineering（ICCAE 2010）,Vol.5, Singapore, 2010:514-518. (in English，EI检索)
2)LIU Yi-song, LIU Hai-mei, ZHAO Jing-bo. On Multi-Agent Based Urban Rail Transport Ridership Forecast System. 2010 International Conference on e-Health Networking, Digital Ecosystems and Technologies (EDT 2010),Vol.1, Shenzhen,China,2010:256-259. (in English，EI检索)
3)Yisong Liu, Shan Zhong. A Predicate/Transition Net Model for Reasoning about Actions. 2008 International Symposium on Computational Intelligence and Design (ISCID 2008),Vol.1, Wuhan, China, 2008:72-75. (in English，EI检索)
4)Yisong Liu, Lili Dong, Yamin Sun. Cooperation Model of Multi-Agent System Based On The Situation Calculus. Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2006 Main Conference Proceedings), IAT’06, Hong Kong, 2006:424-427. (in English，EI检索)
5)Yisong Liu, Gang Wang, Lili Dong, Yamin Sun. The Cooperation Behaviors of Multiple Intelligent Virtual Agents Based On the Situation Calculus. Proceedings of the 16th International Conference on Artificial Reality and Telexistence- Workshops, ICAT 2006, HangZhou China, 2006:83-88. (in English，EI检索)
6)Yisong Liu, Lili Dong, Yamin Sun. Multi-agent System Based on the Extended ConGolog. Proceedings of the Sixth International conference On Intelligent Systems Design and Applications (ISDA 2006), v 2, Jinan, China, 2006:913-918. (in English，EI检索)
7)Liu Yisong, Cheng Tianci. Constructing 3D Human-Human Interaction Interface by VRML Tech. Proceedings of Workshop on CSCW in Design, Compiegne, France, 1999:459-462 (in English)

教学成果：

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

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