SSP Group Meeting

11am, 21 February, 2006
Room 4.03, Appleton Tower
CISA, School of Informatics
University of Edinburgh

Managing Finite-Domain Constraints in Multi-Agent Interactions for Cooperative Distributed Problem Solving

Fadzil Hassan

Over-constrained problems, that are formalised as CSPs, to be solved among distributed agents can cause the interaction protocol employed by the agents to coordinate their communicative and problem solving acts to fail. Therefore, in this talk, the problem is further discussed and a possible solution combining the Partial CSP scheme of Freuder & Wallace and LCC framework is presented. This talk will also give a quick overview on problem formalisation (i.e. CSP & DCSP), agent interaction protocol to provide means of coordination (i.e. LCC) and one of the approaches used to address over-constrained problems within the CSP community (i.e. Partial CSP & Distributed Partial CSP). One important aspect of the talk is how the latter could be realised as an interaction protocol encoded using LCC.