.png){kind=icon}
返回
Simple dynamic logic with parallel composition and applications to planning
.png){kind=icon}
PRE
AI
DOI：10.1093/logcom/exaf077.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
尽管命题动态逻辑（PDL）及其与规划的关系已被广泛研究，但迄今为止在如何处理并行性方面尚无共识。本文提出命题赋值动态逻辑（DL-PA）的并行版本，DL-PA是PDL的一个简单片段，其中原子程序是将公式的真值赋给命题变量的赋值。我们为DL-PA引入两个新算子，即并行组合和包容性非确定性组合。对于前者，我们假设两个程序可以在不向同一变量分配不同值的情况下并行执行。我们给出了将由此产生的并行命题赋值动态逻辑（DL-PPA）多项式转换到DL-PA的方法，从而表明其复杂度仍保持在PSPACE。随后我们转向规划问题，展示了如何在DL-PPA中捕捉并行STRIPS类动作的可执行性以及并行规划方案对规划任务的可解性，遵循三种不同的并行语义：一种紧密遵循我们在DL-PPA中的并行性标准，另外两种来自文献基于交错的方法。
Keyword:
Dynamic logic
assignments
parallel composition
inclusive non-deterministic composition
parallel planning
semantics of parallelism
complexity
