首页 | 综合通知 | 教务教学 | 学术交流 | 留学信息 | 科研管理 | 文献服务 | 招标信息 | 网络服务 
当前位置: 校园公告>>学术交流>>正文
【学术讲座】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会议室

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

关闭窗口
最新公告
关于高雅艺术进校园——国家京剧院赴...
【会议通知】2018年仿真学术交流会
西北工业大学2018迎新文艺晚会预告
校历(2018-2019)
外国语学院“一带一路”跨文化研究所...
关于2019年创新型人才国际合作培养项...
2018年水下无人系统技术高峰论坛”—...
关于研究生教育综合管理系统(学位部...
关于举办陕西省第一届大学生工程制图...
“乘风破浪,扬帆启航”2018西北工业...
西工大主页  招聘信息  就业信息  本科招生  研招信息
版权所有©西北工业大学  地址:西安市友谊西路127号 邮编:710072