Zobrazeno 1 - 10
of 597
pro vyhledávání: '"Logan, Brian"'
Reward machines allow the definition of rewards for temporally extended tasks and behaviors. Specifying "informative" reward machines can be challenging. One way to address this is to generate reward machines from a high-level abstract description of
Externí odkaz:
http://arxiv.org/abs/2408.08059
Autor:
Dell'Anna, Davide, Alechina, Natasha, Logan, Brian, Löffler, Maarten, Dalpiaz, Fabiano, Dastani, Mehdi
Norms have been widely proposed as a way of coordinating and controlling the activities of agents in a multi-agent system (MAS). A norm specifies the behaviour an agent should follow in order to achieve the objective of the MAS. However, designing no
Externí odkaz:
http://arxiv.org/abs/2112.02626
Many objectives can be achieved (or may be achieved more effectively) only by a group of agents executing a team plan. If a team plan fails, it is often of interest to determine what caused the failure, the degree of responsibility of each agent for
Externí odkaz:
http://arxiv.org/abs/2005.10297
Manufacturing is transitioning from a mass production model to a manufacturing as a service model in which manufacturing facilities 'bid' to produce products. To decide whether to bid for a complex, previously unseen product, a manufacturing facility
Externí odkaz:
http://arxiv.org/abs/1807.04561
Autor:
Alechina, Natasha, Logan, Brian
Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We introduce a simple and realistic assumption that there is at least one diminishing resource, that is, a resource t
Externí odkaz:
http://arxiv.org/abs/1806.11559
Publikováno v:
In Artificial Intelligence January 2022 302
In this short note we address the issue of expressing norms (such as obligations and prohibitions) in temporal logic. In particular, we address the argument from [Governatori 2015] that norms cannot be expressed in Linear Time Temporal Logic (LTL).
Externí odkaz:
http://arxiv.org/abs/1608.06787
We consider the problem of detecting norm violations in open multi-agent systems (MAS). We show how, using ideas from scrip systems, we can design mechanisms where the agents comprising the MAS are incentivised to monitor the actions of other agents
Externí odkaz:
http://arxiv.org/abs/1602.06731