By Topic

Uniform formal modeling of human and non-human agents using CSP and VDM

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Mosley, K. ; Dept. of Comput. Sci., North Carolina A&T State Univ., Greensboro, NC, USA ; Esterline, A.

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

Published in:

Southeastcon 2000. Proceedings of the IEEE

Date of Conference:

2000