Edinburgh Research Explorer

Multi-agent Coordination as Distributed Logic Programming

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationLogic Programming
Subtitle of host publication20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
PublisherSpringer Berlin Heidelberg
Pages416-430
Number of pages15
ISBN (Electronic)978-3-540-27775-0
ISBN (Print)978-3-540-22671-0
DOIs
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume3132
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

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.

ID: 3508536