Go backward to Action and Transition Go up to Top Go forward to Restrictions

Composite Agents

• Composite Agent A|B

  

  • A ->a A' allows A|B ->a A'|B
  • A' ->c A allows A'|B ->c A|B
  • A' ->c A and B ->c B' allows A'|B ->^tau A|B'
• Completed (perfect) action tau.
  • Simultaneous action of both agents.
  • Internal to composed agent.
  • Act = L U {tau}
• Internal versus external actions
  • Internal actions are ignored.
  • Only external actions are visible.
  • Two systems are equivalent if they exhibit same pattern of external actions.
  • P ->^tau P₁ ->^tau ...->^tau P_n equivalent to P ->^tau P_n