BriefGPT.xyz
Ask
alpha
关键词
situation calculus
搜索结果 - 6
有限域情境演算理论中的时间可解推理
时间的表示对于网络物理系统至关重要,并在情景演算中进行了广泛研究。最常用的方法是通过添加实值流畅函数 time (a) 来表示时间,该函数将时间点附加到每个动作,从而附加到每个情景。我们证明了在这种方法中,即使领域的论述范围被限制在有限对象
→
PDF
5 months ago
启发式规划的定理证明
本研究介绍了一种利用启发式算法解决定理证明和计划制定问题的方法,并将其应用于 situation calculus 中。该方法通过使用 A * 搜索算法排列一系列情境,并利用删除松弛法控制启发式规划器,获得较短的计划方案,并探索较少的状态。
→
PDF
a year ago
噪声机器人程序抽象化
本文介绍一种应用于概率和动态系统的抽象方法,通过基于概率信念的情境演算定义同类关系可将包含嘈杂执行器和传感器的详细概率基本操作理论抽象为可能的非随机基本操作理论,并得到节省细节的抽象 Golog 程序,简化了嘈杂机器人程序的实现,提供了更易
→
PDF
2 years ago
IJCAI
在分散式 MIMO 情境下,支援數據治理規則遵循的自動化框架
使用基于情境演算法的形式语言模拟数据规则和流程规则,检查数据流图上数据治理规则的自动合规性的逻辑 AI 框架 Dr.Aid ,并使用数据密集型研究中的溯源图来驱动和评估我们的方法。
PDF
3 years ago
MM
基于情境演算的机器人定位估计
在不确定的世界中,使用 Bacchus、Halpern 和 Levesque 的框架和连续领域的扩展,以期望推理的方式进行基于状态的位置估计,并揭示了行为理论下的位置估计问题。此外,本文还表明,虽然行动可能以非标准的方式影响先验分布,但总体
→
PDF
10 years ago
在稳定模型和答案集规划中重构情境演算和事件演算
通过发现究竟为何 circumscription 和 stable model semantics 在某些情况下意义相同,本文利用普通稳定模型理论重新阐述了 situation calculus 和 event calculus,并完成了进
→
PDF
10 years ago
Prev
Next