Title :
Uniform formal modeling of human and non-human agents using CSP and VDM
Author :
Mosley, Kevin ; Esterline, Albert
Author_Institution :
Dept. of Comput. Sci., North Carolina A&T State Univ., Greensboro, NC, USA
Abstract :
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
Keywords :
Vienna development method; communicating sequential processes; interactive systems; software agents; user modelling; CSP; VDM specification language; Vienna development method; agent systems modeling; commitment rules; communicating sequential processes; human agents; human computer integration; non-human agents; rogue agents; societal rules; uniform formal modeling; Collaboration; Computer science; Humans; Intelligent systems; Mobile communication; Multiagent systems; NASA; Problem-solving; Protocols; Specification languages;
Conference_Titel :
Southeastcon 2000. Proceedings of the IEEE
Conference_Location :
Nasville, TN
Print_ISBN :
0-7803-6312-4
DOI :
10.1109/SECON.2000.845606
