一对多协商多智能体系统的组合设计与验证

Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160) Pub Date : 1998-07-03 DOI:10.1109/ICMAS.1998.699031

F. Brazier, Frank Cornelissen, R. Gustavsson, C. Jonker, O. Lindeberg, B. Polak, Jan Treur

{"title":"一对多协商多智能体系统的组合设计与验证","authors":"F. Brazier, Frank Cornelissen, R. Gustavsson, C. Jonker, O. Lindeberg, B. Polak, Jan Treur","doi":"10.1109/ICMAS.1998.699031","DOIUrl":null,"url":null,"abstract":"A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that parts of the proofs can be reused in relation to reuse of components.","PeriodicalId":244857,"journal":{"name":"Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"24","resultStr":"{\"title\":\"Compositional design and verification of a multi-agent system for one-to-many negotiation\",\"authors\":\"F. Brazier, Frank Cornelissen, R. Gustavsson, C. Jonker, O. Lindeberg, B. Polak, Jan Treur\",\"doi\":\"10.1109/ICMAS.1998.699031\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that parts of the proofs can be reused in relation to reuse of components.\",\"PeriodicalId\":244857,\"journal\":{\"name\":\"Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160)\",\"volume\":\"19 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-07-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"24\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICMAS.1998.699031\",\"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 International Conference on Multi Agent Systems (Cat. No.98EX160)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICMAS.1998.699031","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 24

摘要

提出了一种多智能体系统的组合验证方法，并将其应用于用电负荷平衡领域一对多协商的多智能体系统。该方法的优点是验证过程的复杂性是通过组合性来管理的，并且证明的部分可以与组件的重用相关而被重用。

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

查看原文本刊更多论文

Compositional design and verification of a multi-agent system for one-to-many negotiation

A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that parts of the proofs can be reused in relation to reuse of components.

求助全文

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

来源期刊

Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160)

自引率

0.00%

发文量