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

TL;DR

This paper models and verifies a multi-agent argumentation system for resource sharing using NuSMV, focusing on interest-based negotiation to improve distributed resource allocation.

Contribution

It introduces a formal model of multi-agent argumentation with verification using NuSMV, advancing the formal analysis of negotiation mechanisms.

Findings

Successful modeling of resource sharing negotiation

Verification of system properties using NuSMV

Enhanced understanding of multi-agent argumentation dynamics

Abstract

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.