|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 9 van 10 gevonden artikelen
| Titel: |
Symbolic Verification of a Strength Based Multi-Agent Argumentation Scheme |
| Auteur: |
Shravan Shetty Shashi Kiran H.S Murali Babu Namala Sanjay Singh |
| Verschenen in: |
International journal of artificial intelligence & applications |
| Paginering: | Jaargang 2 (2011) nr. 2 pagina's 129-139 |
| Jaar: |
2011 |
| Inhoud: |
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. |
| Uitgever: |
Academy & Industry Research Collaboration Center (AIRCC) (provided by DOAJ) |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 9 van 10 gevonden artikelen
| << vorige | volgende >> |