Metric Dynamic Equilibrium Logic

要約

線形時間に基づく応答セット プログラミング (ASP) の時間的拡張では、動的システムの動作が状態のシーケンスによってキャプチャされます。
この表現はそれらの相対的な順序を反映していますが、各状態に関連付けられた特定の時間を抽象化しています。
ただし、多くのアプリケーションでは、たとえば計画とスケジュールを連携させる場合など、タイミング制約が重要になります。
私たちは、動的演算子が整数にわたる間隔によって制約される、線形時間動的平衡ロジックの計量拡張を開発することでこれに対処します。
結果として得られるメトリック動的平衡ロジックは、定性的および定量的動的制約を指定するための ASP ベースのアプローチの基礎を提供します。
したがって、それは、平衡論理の時間的拡張の全範囲の中で最も一般的なものを構成します。
詳細には、これが時間的、動的、計量的、および通常の平衡ロジックに加えて、排中律が追加された場合の古典的な対応物を包含することを示します。

要約(オリジナル)

In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states. While this representation reflects their relative order, it abstracts away the specific times associated with each state. In many applications, however, timing constraints are important like, for instance, when planning and scheduling go hand in hand. We address this by developing a metric extension of linear-time Dynamic Equilibrium Logic, in which dynamic operators are constrained by intervals over integers. The resulting Metric Dynamic Equilibrium Logic provides the foundation of an ASP-based approach for specifying qualitative and quantitative dynamic constraints. As such, it constitutes the most general among a whole spectrum of temporal extensions of Equilibrium Logic. In detail, we show that it encompasses Temporal, Dynamic, Metric, and regular Equilibrium Logic, as well as its classic counterparts once the law of the excluded middle is added.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google