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

09/19/2012
by   Supriya D'Souza, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/23/2020

Numerical Abstract Persuasion Argumentation for Expressing Concurrent Multi-Agent Negotiations

A negotiation process by 2 agents e1 and e2 can be interleaved by anothe...
research
02/28/2023

Scenarios and branch points to future machine intelligence

We discuss scenarios and branch points to four major possible consequenc...
research
09/18/2019

Memory Management in Resource-Bounded Agents

In artificial intelligence, multi agent systems constitute an interestin...
research
09/18/2019

A Temporal Module for Logical Frameworks

In artificial intelligence, multi agent systems constitute an interestin...
research
09/13/2020

Resolving Resource Incompatibilities in Intelligent Agents

An intelligent agent may in general pursue multiple procedural goals sim...
research
08/19/2022

Scalable Multi-Agent Lab Framework for Lab Optimization

Autonomous materials research systems allow scientists to fail smarter, ...
research
04/30/2021

Coupling purposes with status-functions in artificial institutions

In multi-agent systems, the agents may have goals that depend on a socia...

Please sign up or login with your details

Forgot password? Click here to reset