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