室内移动机器人人机交互的语义实现

摘要

自然语言与机器人远程人机交互的主要困难是语义理解.基于本体的方法建立人机交互的概念体系,用Prolog逻辑编程语言对概念进行定义,形成概念语义事实库;进一步以这些事实库为基础,定义谓词逻辑关系,形成基于概念的谓词逻辑推理机制,从而实现人与机器人在统一的概念内涵和推理逻辑基础上的人机交互.以人与处于室内的远程机器人通过交互完成导航为背景,建立某建筑物内部地名词的概念本体,用Prolog定义了其概念事实;定义了谓词逻辑关系,从事实库中提取出建筑物内部的语义地图;在此基础上,通过逻辑推理的方法实现了机器人室内导航所需的自定位功能和路径规划功能.该内容作为机器人基于本体概念体系的逻辑推理实例,所有的结果均建立在实际数据之上,所有的谓词逻辑均在SWI-Prolog中调试通过,推理结果满足预期.