资源分类
》 资源 》论文》Commitment Tracking via the Reactive Event Calculus

Commitment Tracking via the Reactive Event Calculus

2019-11-14 | |  112 |   55 |   0

Abstract

Runtime commitment verification is an important,open issue in multiagent research. To address it, we build on Yolum and Singh’s formalization of com-mitment operations, on Chittaro and Montanari’s cached event calculus, and on the SCIFF abductive logic programming proof-procedure. We propose a framework consisting of a declarative and compact language to express the domain knowledge, and a reactive and complete procedure to track the sta-tus of commitments effectively, producing provably sound and irrevocable answers.


上一篇：Simple Coalitional Games with Beliefs

下一篇：Compiling the Votes of a Subelectorate

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...