基于NuSMV的多Agent论证系统建模与验证
Modeling and Verification of a Multi-Agent Argumentation System using NuSMV
摘要：
自主智能体研究是人工智能的前沿领域。基于报价的谈判（IBN）是一种谈判形式，其中代理人交换有关其潜在目标的信息，以期提高报价的可能性和质量。在本文中，我们建模和验证的多智能体的资源共享机制，使资源共享在分布式系统的论证方案。我们在模型中使用IBN，其中代理人向社会中的其他人表达他们的利益，以获得某些资源。
英文摘要：
Autonomous intelligent agent research is a domain situated at the forefront of artificial intelligence. Interest-based negotiation (IBN) is a form of negotiation in which agents exchange information about their underlying goals, with a view to improve the likelihood and quality of a offer. In this paper we model and verify a multi-agent argumentation scenario of resource sharing mechanism to enable resource sharing in a distributed system. We use IBN in our model wherein agents express their interests to the others in the society to gain certain resources.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
