Past-present temporal programs over finite traces

要約

有限トレース上の時相平衡論理 (TELf) などの時相論理からの言語構造を使用した応答セット プログラミングの拡張は、動的アプリケーションをモデル化するための表現力豊かな計算フレームワークを提供します。
この論文では、いわゆる過去-現在構文サブクラスについて研究します。このサブクラスは、本体が過去を参照し、現在に向かう一連の論理プログラミング ルールで構成されます。
このような制限により、過去が未来から独立した状態を保つことが保証されます。これは、ほとんどの動的ドメインに当てはまります。
完了式とループ式の定義を過去-現在の式の場合に拡張します。これにより、LTLf 式を使用して、過去-現在の時間プログラムのセットの時間的に安定したモデルをキャプチャできるようになります。

要約(オリジナル)

Extensions of Answer Set Programming with language constructs from temporal logics, such as temporal equilibrium logic over finite traces (TELf), provide an expressive computational framework for modeling dynamic applications. In this paper, we study the so-called past-present syntactic subclass, which consists of a set of logic programming rules whose body references to the past and head to the present. Such restriction ensures that the past remains independent of the future, which is the case in most dynamic domains. We extend the definitions of completion and loop formulas to the case of past-present formulas, which allows capturing the temporal stable models of a set of past-present temporal programs by means of an LTLf expression.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google