资源论文Reasoning about Normative Update Natasha Alechina Mehdi Dastani Brian Logan

Reasoning about Normative Update Natasha Alechina Mehdi Dastani Brian Logan

2019-11-08 | |  66 |   64 |   0
Abstract We consider the problem of updating a multi-agent system with a set of conditional norms. A norm comes into effect when its condition becomes true, and imposes either an obligation or a prohibition on an agent which remains in force until a state satisfying a deadline condition is reached. If the norm is violated, a sanction is imposed on the agent. We define a notion of a normative update of a multi-agent system by a set of conditional norms, and study the problem of checking whether the agent(s) can bring about a state satisfying a property without incurring a specified number of sanctions.

上一篇:Computational Disaster Management Pascal Van Hentenryck

下一篇:Undecidability in Epistemic Planning Guillaume Aucher Thomas Bolander

用户评价
全部评价

热门资源

  • 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...