Zobrazeno 1 - 4
of 4
pro vyhledávání: '"68T27, 68T42"'
Autor:
Maximov, Dmitry
Publikováno v:
Advances in Systems Science and Applications. 2019. Vol. 19, No 4. P. 79-86 https://ijassa.ipu.ru/index.php/ijassa/article/view/829/513
A group of intelligent agents which fulfill a set of tasks in parallel is represented first by the tensor multiplication of corresponding processes in a linear logic game category. An optimal itinerary in the configuration space of the group states i
Externí odkaz:
http://arxiv.org/abs/1811.02216
A mixed group of manned and unmanned aerial vehicles is considered as a distributed system. A lattice of tasks which may be fulfilled by the system matches to it. An external multiplication operation is defined at the lattice, which defines correspon
Externí odkaz:
http://arxiv.org/abs/1809.10441
We present a new strategic logic NCHATL that allows for reasoning about norm compliance on concurrent game structures that satisfy anonymity. We represent such game structures compactly, avoiding models that have exponential size in the number of age
Externí odkaz:
http://arxiv.org/abs/1405.6899
In the following paper we present a new semantics for the well-known strategic logic ATL. It is based on adding roles to concurrent game structures, that is at every state, each agent belongs to exactly one role, and the role specifies what actions a
Externí odkaz:
http://arxiv.org/abs/1204.3495