In a real world multiagent system, where the
agents are faced with partial, incomplete and
intrinsically dynamic knowledge, conflicts are
inevitable. Frequently, different agents have
goals or beliefs that cannot hold simultaneously.
Conflict resolution methodologies have to be
adopted to overcome such undesirable occurrences.
In this paper we investigate the application of
distributed belief revision techniques as the support
for conflict resolution in the analysis of the
validity of the candidate beams to be produced
in the CERN particle accelerators.
This CERN multiagent system contains a higher
hierarchy agent, the Specialist agent, which
makes use of meta-knowledge (on how the con-
flicting beliefs have been produced by the other
agents) in order to detect which beliefs should be
abandoned. Upon solving a conflict, the Specialist
instructs the involved agents to revise their
beliefs accordingly.
Conflicts in the problem domain are mapped into
conflicting beliefs of the distributed belief revision
system, where they can be handled by
proven formal methods. This technique builds
on well established concepts and combines them
in a new way to solve important problems. We
find this approach generally applicable in several
domains
