Logical modeling and verification of a strength based multi-agent argumentation scheme using NuSMV

Shravan Shetty, H. S. Shashi Kiran, Murali Babu Namala, Sanjay Singh

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

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 communication. 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.

Original languageEnglish
Title of host publicationAdvances in Computer Science and Information Technology - First International Conference on Computer Science and Information Technology, CCSIT 2011, Proceedings
Pages378-387
Number of pages10
EditionPART 1
DOIs
Publication statusPublished - 01-12-2011
Event1st International Conference on Computer Science and Information Technology, CCSIT 2011 - Bangalore, India
Duration: 02-01-201104-01-2011

Publication series

NameCommunications in Computer and Information Science
NumberPART 1
Volume131 CCIS
ISSN (Print)1865-0929

Conference

Conference1st International Conference on Computer Science and Information Technology, CCSIT 2011
CountryIndia
CityBangalore
Period02-01-1104-01-11

Fingerprint

Argumentation
Artificial intelligence
Initiators (chemical)
Scheduling
Modeling
Autonomous agents
Scheduling Problem
Artificial Intelligence
Specifications
Interaction
Communication
Autonomous Agents
Scheduler
Software System
Model
Logic
Specification
Verify
Predict
Scenarios

All Science Journal Classification (ASJC) codes

  • Computer Science(all)
  • Mathematics(all)

Cite this

Shetty, S., Shashi Kiran, H. S., Namala, M. B., & Singh, S. (2011). Logical modeling and verification of a strength based multi-agent argumentation scheme using NuSMV. In Advances in Computer Science and Information Technology - First International Conference on Computer Science and Information Technology, CCSIT 2011, Proceedings (PART 1 ed., pp. 378-387). (Communications in Computer and Information Science; Vol. 131 CCIS, No. PART 1). https://doi.org/10.1007/978-3-642-17857-3_38
Shetty, Shravan ; Shashi Kiran, H. S. ; Namala, Murali Babu ; Singh, Sanjay. / Logical modeling and verification of a strength based multi-agent argumentation scheme using NuSMV. Advances in Computer Science and Information Technology - First International Conference on Computer Science and Information Technology, CCSIT 2011, Proceedings. PART 1. ed. 2011. pp. 378-387 (Communications in Computer and Information Science; PART 1).
@inproceedings{cbc5d108321d4212a13a38e55b03e980,
title = "Logical modeling and verification of a strength based multi-agent argumentation scheme using NuSMV",
abstract = "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 communication. 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.",
author = "Shravan Shetty and {Shashi Kiran}, {H. S.} and Namala, {Murali Babu} and Sanjay Singh",
year = "2011",
month = "12",
day = "1",
doi = "10.1007/978-3-642-17857-3_38",
language = "English",
isbn = "9783642178566",
series = "Communications in Computer and Information Science",
number = "PART 1",
pages = "378--387",
booktitle = "Advances in Computer Science and Information Technology - First International Conference on Computer Science and Information Technology, CCSIT 2011, Proceedings",
edition = "PART 1",

}

Shetty, S, Shashi Kiran, HS, Namala, MB & Singh, S 2011, Logical modeling and verification of a strength based multi-agent argumentation scheme using NuSMV. in Advances in Computer Science and Information Technology - First International Conference on Computer Science and Information Technology, CCSIT 2011, Proceedings. PART 1 edn, Communications in Computer and Information Science, no. PART 1, vol. 131 CCIS, pp. 378-387, 1st International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, 02-01-11. https://doi.org/10.1007/978-3-642-17857-3_38

Logical modeling and verification of a strength based multi-agent argumentation scheme using NuSMV. / Shetty, Shravan; Shashi Kiran, H. S.; Namala, Murali Babu; Singh, Sanjay.

Advances in Computer Science and Information Technology - First International Conference on Computer Science and Information Technology, CCSIT 2011, Proceedings. PART 1. ed. 2011. p. 378-387 (Communications in Computer and Information Science; Vol. 131 CCIS, No. PART 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Logical modeling and verification of a strength based multi-agent argumentation scheme using NuSMV

AU - Shetty, Shravan

AU - Shashi Kiran, H. S.

AU - Namala, Murali Babu

AU - Singh, Sanjay

PY - 2011/12/1

Y1 - 2011/12/1

N2 - 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 communication. 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.

AB - 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 communication. 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.

UR - http://www.scopus.com/inward/record.url?scp=84874671574&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84874671574&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-17857-3_38

DO - 10.1007/978-3-642-17857-3_38

M3 - Conference contribution

SN - 9783642178566

T3 - Communications in Computer and Information Science

SP - 378

EP - 387

BT - Advances in Computer Science and Information Technology - First International Conference on Computer Science and Information Technology, CCSIT 2011, Proceedings

ER -

Shetty S, Shashi Kiran HS, Namala MB, Singh S. Logical modeling and verification of a strength based multi-agent argumentation scheme using NuSMV. In Advances in Computer Science and Information Technology - First International Conference on Computer Science and Information Technology, CCSIT 2011, Proceedings. PART 1 ed. 2011. p. 378-387. (Communications in Computer and Information Science; PART 1). https://doi.org/10.1007/978-3-642-17857-3_38