资源分类
》 资源 》论文》Using Strategic Logics to Reason about Agent Programs

Using Strategic Logics to Reason about Agent Programs

2019-11-11 | |  58 |   42 |   0

Abstract We propose a variant of Alternating-time Temporal Logic (ATL) grounded in the agents’ operational know-how, as defined by their libraries of abstract plans. In our logic, it is possible to refer to “rational” strategies for agents developed under the Belief-Desire-Intention agent paradigm. This allows us to express and verify properties of BDI systems using ATL-type logical frameworks.

上一篇：Socioscope: Spatio-Temporal Signal Recovery from Social Media (Extended Abstract)

下一篇：User-Centered Programming by Demonstration: Stylistic Elements of Behavior*

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

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

  • Rating-Boosted La...

    The performance of a recommendation system reli...