Logical Modeling and Verification of a Strength Based Multi-agent Argumentation Scheme Using NuSMV

Shetty, Shravan and Shashi Kiran, H S and Namala, Murali Babu and Singh, Sanjay (2011) Logical Modeling and Verification of a Strength Based Multi-agent Argumentation Scheme Using NuSMV. In: First International Conference on Computer Science and Information Technology , 2-4,Jan,2011, Bangalore.

[img] PDF
2907144.pdf - Published Version
Restricted to Registered users only

Download (554kB) | Request a copy
Official URL: http://dx.doi.org/10.1007/978-3-642-17857-3_38


Software systems have evolved to the age of Artificial Intelligence (AI), consisting of independent autonomous agents interacting with each other in dynamic and unpredictable environments. In this kind of environment it is often very difficult to predict all the interactions between the agents. Hence verification of an interaction between multiple agents has become a key research area in AI. In this paper we model and verify an Automatic Meeting Scheduling (AMS) problem having multiple agent ommunication. The AMS problem helps us to emulate a real life scenario where multiple agents can argue over the defined constraints. A weighted strength based argumentation scheme is proposed, where each argument is weighed against each other to determine the strongest evidence. The argumentation model described in the paper have six agents: Initiator, Scheduler and four Participant agents. We have formalized the agent interactions using Computation Tree Logic (CTL) and verified the scheme by providing suitable specifications (SPEC) in a symbolic model verifier tool called,NuSMV.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: Agent Argumentation, Model Checking, NuSMV
Subjects: Engineering > MIT Manipal > Information and Communication Technology
Depositing User: MIT Library
Date Deposited: 31 Jul 2014 07:13
Last Modified: 31 Jul 2014 07:13
URI: http://eprints.manipal.edu/id/eprint/140279

Actions (login required)

View Item View Item