首页 | 综合通知 | 教务教学 | 学术交流 | 留学信息 | 科研管理 | 文献服务 | 招标信息 | 网络服务 
当前位置: 校园公告>>学术交流>>正文
【学术讲座】111引智基地系列讲座-An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning
2018-07-20 16:41   审核人:   (点击: )

报 告 人:董天石,博士

报告题目: An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning

报告人简介:董天石博士系苏州太仓人,1993年就读南京大学计算机系,1997年进上海交通大学计算机系研究生院。2000年10月赴德国汉堡大学计算机系攻读博士学位,方向是空间认知(人工智能)。2003年12月指出现有区域空间逻辑的缺陷,提出统一的 区域空间逻辑,建立相应的“认知棱镜理论”(The Theory of Cognitive Prism)。2005年12月获德国理学博士学位。2008年成果发表于著名刊物《Journal of Philosophical Logical》。之后,被欧洲数学会邀请为Zentralblatt MATH的评委。2012年学术专著《Recognizing Variable Environment -- The Theory of Cognitive Prism》 由Springer出版。2010-2012参与DFG LogAnswer II项目;2014-2018与南京大学计 算机系的计算机软件新技术国家重点实验室合作,以海外独立科学家身份参与国家自然科学基金项目“自适应软件系统的无缝演化与环境感知技术研究”。2015-2017参加欧盟Horizon2020项目OpenBudgets.eu,主管数据挖掘和数据分析。现为波恩-亚琛国际计算中心研究员。

报告内容简介:Assertions are intensively used to facilitate correctness reasoning and error detection in daily programming. However, composing assertions for mobile robotic programs can be painfully inconvenient, because classic Hoare logic lacks the expressing power on spatial knowledge, which is crucial when robots interact with their physical environments. The problem is especially evident for Behavior-Based Robotics (BBR) where the world is not explicitly represented with program variables. In this paper, we propose to incorporate spatial reasoning capability in the assertion framework of Hoare logic. The proposed framework features a two-dimensional region calculus and additional axioms for robot movements. The calculus makes the world representation and the specification of mobile robotic program natural and intuitive, and the axioms enable the reasoning about program correctness. We illustrate the use of the framework with a typical behavior-based robotic program. In addition, we present a runtime error detection and recovery mechanism for BBR programs based on the assertion framework. Preliminary experiments with NAO robots demonstrate the effectivene.

报告时间:2018年8月5日上午11:00~12:00

报告地点:航海学院204会议室

主办单位:海洋信息感知学科创新引智基地

关闭窗口
最新公告
材料学院陕西省材料分析研究中心关于...
驻校艺术家计划——学生书画作品展及...
【通知公告】Haiyan Su副教授 “Stati...
关于学习贯彻《新时代高校教师职业行...
关于申报“2019年度西北工业大学在华...
驻校艺术家计划《书画名家工作坊》开...
国家审计走进西北工业大学 财经法治...
关于高雅艺术进校园——国家京剧院赴...
【会议通知】2018年仿真学术交流会
西北工业大学2018迎新文艺晚会预告
西工大主页  招聘信息  就业信息  本科招生  研招信息
版权所有©西北工业大学  地址:西安市友谊西路127号 邮编:710072