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 123
- Downloads 0
PEDAGOGY: INSTRUCTIVISM TO SOCIO-CONSTRUCTIVISM THROUGH VIRTUAL REALITY
Learning theories evolved with time, beginning with instructivism, constructivism, to social constructivism. These theories no doubt were applied in education and they had their effects on learners. Technology advanced,...
Credible Fuzzy Classification based Technique on Self Organized Features Maps and FRANT IC-RL
Handling uncertainty and vagueness in real world becomes a necessity for developing intelligent and efficient systems. Based on the credibility theory, a fuzzy clustering approach that improves the classification accurac...
Techniques used to Improve Spatial Visualization Skills of Students in Engineering Graphics Course: A Survey
Spatial visualization skills are crucial in engineering fields and are required to support the spatial abilities of engineering students. Instructors in engineering colleges indicated that freshmen students faced difficu...
QoS Parameters Investigations and Load Intensity Analysis, (A Case for Reengineered DCN)
This paper presents the simulation results on Reengineered DCN model considering Quality of Service (QoS) parameters in a homogeneous network for enterprise web application support. To make it feasible for the comp...
Acoustic Emotion Recognition Using Linear and Nonlinear Cepstral Coefficients
Recognizing human emotions through vocal channel has gained increased attention recently. In this paper, we study how used features, and classifiers impact recognition accuracy of emotions present in speech. Four emotion...