Uniform formal modeling of human and non-human agents using CSP and VDM
K. Mosley, Albert Esterline · 2002
The paper focuses on human computer integration and the modeling of agent systems using CSP and the VDM specification language. In order to accomplish goals, agents in a given environment must adhere to the societal rules (norms) associated with that environment. The commitment rules governing a society of agents ensures that goals are accomplished and tasks are performed in an orderly fashion and limits the possibility of rogue agents.