PPT Slide
Proving Agent’s Behavior by Milner’s Axioms
- Modelling agents behaviors in concurrent computation by CCS
- Derivation tree to represent the entire behavior of any agent
- Axioms of Action, Communication, relabelling, restriction, etc.
can be used to infer an agent behavior in a specific system
- Complex behaviors in concurrent computation could be
simulated by simple algebraic laws in CCS
An agent’s behavior could repeat itself (?)