An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games

要約

時間は、インテリジェント エージェントの動的な動作をモデル化する際に重要な要素です。現実世界の環境では、アクティビティには一定の時間的持続時間があり、以前のアクションはエージェントの動作に影響を与えます。
この論文では、特定のアクションが発生する時間間隔の指定も可能にする、エージェント間の同時対話をモデル化するための言語を提案します。
このような言語は、抽象議論フレームワークの時間指定バージョンを利用して、エージェントが通信し、特定の時間間隔に関して信念の受け入れ可能性を推論するために使用する共有メモリを実現します。
基本的な計算ステップには、単一プロセッサ上のインターリーブ モデルが使用され、時間の経過に対して最大限の並列処理が行われます。
このアプローチに従って、有効なエージェントのうち 1 つだけが各瞬間に実行されます。
言語の機能を実証するために、知的エージェント間で行われる討論や対話ゲームなどの対話をモデル化するために言語を使用する方法も示します。
最後に、Web インターフェイス経由でアクセスできる言語の実装を紹介します。
論理プログラミングの理論と実践 (TPLP) で検討中。

要約(オリジナル)

Time is a crucial factor in modelling dynamic behaviours of intelligent agents: activities have a determined temporal duration in a real-world environment, and previous actions influence agents’ behaviour. In this paper, we propose a language for modelling concurrent interaction between agents that also allows the specification of temporal intervals in which particular actions occur. Such a language exploits a timed version of Abstract Argumentation Frameworks to realise a shared memory used by the agents to communicate and reason on the acceptability of their beliefs with respect to a given time interval. An interleaving model on a single processor is used for basic computation steps, with maximum parallelism for time elapsing. Following this approach, only one of the enabled agents is executed at each moment. To demonstrate the capabilities of language, we also show how it can be used to model interactions such as debates and dialogue games taking place between intelligent agents. Lastly, we present an implementation of the language that can be accessed via a web interface. Under consideration in Theory and Practice of Logic Programming (TPLP).

arxiv情報

提供元, 利用サービス

arxiv.jp, Google