Modeling and Verification of a Multi-Agent Argumentation System using NuSMV [article]

Supriya D'Souza, Abhishek Rao, Amit Sharma, Sanjay Singh
2012 arXiv   pre-print
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
more » ... erests to the others in the society to gain certain resources.
arXiv:1209.4330v1 fatcat:nhrpxccaxrhzjorutpy3s7r6xu