使用CSP和VDM对人类和非人类代理进行统一的形式化建模

Proceedings of the IEEE SoutheastCon 2000. 'Preparing for The New Millennium' (Cat. No.00CH37105) Pub Date : 2000-04-07 DOI:10.1109/SECON.2000.845606

Kevin Mosley, A. Esterline

{"title":"使用CSP和VDM对人类和非人类代理进行统一的形式化建模","authors":"Kevin Mosley, A. Esterline","doi":"10.1109/SECON.2000.845606","DOIUrl":null,"url":null,"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.","PeriodicalId":206022,"journal":{"name":"Proceedings of the IEEE SoutheastCon 2000. 'Preparing for The New Millennium' (Cat. No.00CH37105)","volume":"88 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Uniform formal modeling of human and non-human agents using CSP and VDM\",\"authors\":\"Kevin Mosley, A. Esterline\",\"doi\":\"10.1109/SECON.2000.845606\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":206022,\"journal\":{\"name\":\"Proceedings of the IEEE SoutheastCon 2000. 'Preparing for The New Millennium' (Cat. No.00CH37105)\",\"volume\":\"88 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-04-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the IEEE SoutheastCon 2000. 'Preparing for The New Millennium' (Cat. No.00CH37105)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SECON.2000.845606\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the IEEE SoutheastCon 2000. 'Preparing for The New Millennium' (Cat. No.00CH37105)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SECON.2000.845606","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文主要研究了基于CSP和VDM规范语言的智能体系统的人机集成和建模。为了完成目标，给定环境中的主体必须遵守与该环境相关的社会规则(规范)。管理代理社会的承诺规则确保了目标的完成和任务的有序执行，并限制了流氓代理的可能性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the IEEE SoutheastCon 2000. 'Preparing for The New Millennium' (Cat. No.00CH37105)

自引率

0.00%

发文量