|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 9 of 10 found articles
| Title: |
Symbolic Verification of a Strength Based Multi-Agent Argumentation Scheme |
| Author: |
Shravan Shetty Shashi Kiran H.S Murali Babu Namala Sanjay Singh |
| Appeared in: |
International journal of artificial intelligence & applications |
| Paging: | Volume 2 (2011) nr. 2 pages 129-139 |
| Year: |
2011 |
| Contents: |
Software systems have evolved to the age of Artificial Intelligence (AI), consist- ing of independentautonomous agents interacting with each other in dynamic and unpredictable environments. In this kindof environment it is often very difficult to predict all the interactions between the agents. Henceverification of an interaction between multiple agents has become a key research area in AI. In this paperwe model and verify an Automatic Meeting Scheduling (AMS) problem having multiple agentcommunication.The AMS problem helps us to emulate a real life scenario where multiple agents can argue over thedefined constraints. A weighted strength based argu- mentation scheme is proposed, where eachargument is weighed against each other to determine the strongest evidence. The argumentation modeldescribed in the paper have six agents: Initiator, Scheduler and four Participant agents. We haveformalized the agent interactions using Computation Tree Logic (CTL) and verified the scheme byproviding suitable specifications (SPEC) in a symbolic model verifier tool called, NuSMV. |
| Publisher: |
Academy & Industry Research Collaboration Center (AIRCC) (provided by DOAJ) |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 9 of 10 found articles
| << previous | next >> |