英文文献:转换任务和灵活的推理情况演算
英文文献作者:Alberto Finzi,Fiora Pirri
英文文献摘要:
在本文中,我们提出了一个新的框架来建模切换任务和自适应,灵活的认知机器人的行为。该框架是在情景演算(TFSC)的适当扩展上构建的,适应了时间间隔、多时间线和并发的情形。我们在宏语言中引入了一种构造方法来定义时态约束的模式规则。宏语言是情境演算公式和时间约束网络之间的中介。TFSC的编程语言是TFGolog,它是Golog家族语言中一种新的Golog解释器,具有灵活的、自适应的切换模式行为,可以对并发计划进行建模。最后,我们展示了一个执行不同任务的认知机器人,同时仔细探索救援环境。


雷达卡


京公网安备 11010802022788号







