We present practical investigations in a real industrial controls environment
for justifying theoretical DAI (Distributed Artificial Intelligence) results,
and we discuss theoretical aspects of practical investigations for
accelerator control and operation. A generalized hypothesis is introduced,
based on a unified view of control, monitoring, diagnosis, maintenance and
repair tasks leading to a general method of cooperation for expert systems
by exchanging hypotheses. This has been tested for task and result sharing
cooperation scenarios. Generalized hypotheses also allow us to treat the
repetitive diagnosis-recovery cycle as task sharing cooperation. Problems
with such a loop or even recursive calls between the different agents are
discussed
