论文标题
条件通过术语重写计算
Situation Calculus by Term Rewriting
论文作者
论文摘要
表明情况表示情况的情况的一种形式，以一阶术语表示。可以从术语结构中计算出流利，并且在情况上的操作对应于对条款的重写规则。在某些情况下，仅取决于或影响流利的子集的动作可以描述为以术语的形式操作的重写规则。如果行动是双向的，则可以使用有效的完成方法来解决计划问题。这种情况和动作的表示形式与Thielscher \ cite {Thielscher98}的流利计算最相似，只是该表示形式更加灵活，并且更多地使用了亚术语结构。给出了一些示例，并提供了一些构建此类重写规则集的一般方法。本文于2019年12月23日提交给FSCD 2020。
A version of the situation calculus in which situations are represented as first-order terms is presented. Fluents can be computed from the term structure, and actions on the situations correspond to rewrite rules on the terms. Actions that only depend on or influence a subset of the fluents can be described as rewrite rules that operate on subterms of the terms in some cases. If actions are bidirectional then efficient completion methods can be used to solve planning problems. This representation for situations and actions is most similar to the fluent calculus of Thielscher \cite{Thielscher98}, except that this representation is more flexible and more use is made of the subterm structure. Some examples are given, and a few general methods for constructing such sets of rewrite rules are presented. This paper was submitted to FSCD 2020 on December 23, 2019.
