Key scientific contribution I: Agent development theories
Agent definition and agent programs defined in Year 1.
In year 2, we developed:
- Meta agent programs: allow agents to reason about other agents states (what does the other agent know?) and actions (what is the other agent going to do?)
- Temporal agent programs: allow agents to make commitments over time.
- Probabilistic agent programs: allow agents to make decisions in the presence of uncertainty.
- Secure agent programs: provide methods by which agents may provide data/services only to those authorized for that data/services.
Defined formal languages and theories for all the above.
Web Accessibility