In a multi-agent system, each agent is a rational individual with its own specific beliefs and obligations. Different agents may have different percepts of the environment, and what makes this set of agents as a whole entity is the interaction (cooperation, competition, evolution ...) between the agents. The multi agent system laboratory is concerned with development and analysis of

1. Theoretical Multi agent systems. The lab is interested in following topics: multi agent learning, multi agent planning, distributed optimization, social network.
2. Formal methods as game logic, normative systems, epistemic logic to verify multi agent protocols such as political negotiation, social agreements, security protocols and etc.
3. Multi-agent programming in order to study distributed solving problem. Agent oriented programming is a paradigm in programming similar to object oriented programming. We focus on logical approach and platforms as GOAL, 3APL, and METATEM.
4. Multi-agent based simulation to simulate social and economic  decisions and etc. Besides, discrete event and dynmaic systems methods, multi-agent based simulation is  a method in simulation. In our lab, we are ready to simulate actual environment by tools: ANYLOGIC, REPAST.