情境演算作用理论上的一阶微积分
本文考虑了文献中引入的用于验证数据软件过程的μ-演算的两种变体μLa和μLp,并利用有限信度抽象证明了有界作用理论上μLa性质验证的可判定性。 不确定性情境演算作用理论的抽象——扩展版
研究表明,如果代理具有在抽象级别实现目标/完成任务的(强FOND)计划/策略,并且它始终可以执行不确定的抽象操作以在具体级别完成,那么存在一个(强FOND)对其进行细化,以在具体级实现目标/任务的细化。 有限域情形演算理论中关于时间的判定推理
这项工作提出了一种基于时间自动机理论的成熟结果的替代方法,通过引入时钟作为具有限制后继状态公理和仅允许与固定理性进行比较的比较运算符的实值fluents。 不确定性情境演算
本文对标准情境演算提出了一个简单的扩展,它可以容纳不确定性行为,并保留了Reiter对框架问题的解决方案以及通过回归回答投影查询,并提供了FOND规划的形式化。 情境演算并发博弈结构的抽象
我们提出了一个在情境演算中抽象多智能体同步游戏中智能体行为的通用框架,它提供了状态的一阶表示,并允许我们…
情境演算中生命属性的自动验证
本文提出了一种简单的识别潜在特征的方法,即通过生成动作理论的小模型并调用经典规划器来实现目标,这些潜在特征是满足一定公式的对象数量,并通过数学归纳证明,对于特征的任何值,目标都是可以实现的。 情境演算中的优化投影
本文介绍了一种新的技术,通过对独立动作进行重新排序和删除支配动作来缩短动作序列的长度;保持与原始动作理论的语义对等。 情境演算博弈结构与GDL
通过将GDL规范翻译为SCSGS并显示其正确性,展示了如何在类Golog编程语言中指定玩家的可能动作。