Role Based Multi-Agent System for E-Learning (MASeL)
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2016, Vol 7, Issue 3
Abstract
Software agents are autonomous entities that can interact intelligently with other agents as well as their environment in order to carry out a specific task. We have proposed a role-based multi-agent system for e-learning. This multi-agent system is based on Agent-Group-Role (AGR) method. As a multi-agent system is distributed, ensuring correctness is an important issue. We have formally modeled our role-based multi-agent system. The correctness properties of liveness and safety are specified as well as verified. Timed-automata based model checker UPPAAL is used for the specification as well as verification of the e-learning system. This results in a formally specified and verified model of the role-based multi-agent system.
Authors and Affiliations
Mustafa Hameed, Nadeem Akhtar, Malik Missen
Keywords
Related Articles
- EP ID EP128220
- DOI 10.14569/IJACSA.2016.070327
- Views 112
- Downloads 0
A Serious Game for Improving Inferencing in the Presence of Foreign Language Unknown Words
This study presents the design of a serious game for improving inferencing for foreign language students. The design of the game is grounded in research on reading theory, motivation and game design. The game contains tr...
Autonomous Monitoring System using Wi-Fi Economic
In this project, it is presented the implementation of an autonomous monitoring system using solar panels and connecting to the network through Wi-Fi. The system will collect meteorological data and transmit in real-time...
FPGA-Based Design of High-Speed CIC Decimator for Wireless Applications
In this paper an efficient multiplier-less technique is presented to design and implement a high speed CIC decimator for wireless applications like SDR and GSM. The Cascaded Integrator Comb is a commonly used decimation...
Role of Requirements Elicitation & Prioritization to Optimize Quality in Scrum Agile Development
One of most common aspect with traditional software development is managing requirements. As requirements emerge throughout the software development process and thus are needed to be addressed through proper communicatio...
Palm Vein Verification System based on Nonsubsampled Contourlet Transform
This document presents a new approach in verification system to verify the identity of person by his intrinsic characteristics “Palm vein” which is unique, universal and easy to captured. The first step in this system is...