Multi-agent Coordination as Distributed Logic Programming
 |
 |
abstract = {A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of multi-agent system design is that coordination is achieved via an interaction model in which participating agents assume roles constrained by the social norms of their shared task; the state of the interaction reflecting the ways these constraints are mutually satisfied within some system for synchronisation that is open and distributed. We show how to harness a process calculus; constraint solving; unfolding and meta-variables for this purpose and discuss the advantages of these methods over traditional approaches.},
apice = {MascoordasdlpIclp2004},
author = {David Robertson},
booktitle = {Logic Programming. 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings},
doi = {10.1007/978-3-540-27775-0_29},
editor = {Bart Demoen and Vladimir Lifschitz},
eissn = {1611-3349},
isbn = {978-3-540-22671-0},
isbn13 = {978-3-540-27775-0},
issn = {0302-9743},
numpages = 15,
openalex = {W1565704525},
pages = {416--430},
publisher = {Springer},
title = {Multi-agent Coordination as Distributed Logic Programming},
url = {https://link.springer.com/10.1007/978-3-540-27775-0_29},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-540-27775-0_29.pdf},
volume = 3132,
year = 2004
}