Formalizing logic based rules for skills classification and recommendation of learning materials

Abstract

First-order logic based data structure have knowledge representations in Prolog-like syntax. In an agent based system where beliefs or knowledge are in FOL ground fact notation, such representation can form the basis of agent beliefs and inter-agent communication. This paper presents a formal model of classification rules in first-order logic syntax. In the paper, we show how the conjunction of boolean [Passed, Failed] decision predicates are modelled as Passed(N) or Failed(N) formulas as well as their implementation as knowledge in agent oriented programming for the classification of students’ skills and recommendation of learning materials. The paper emphasizes logic based contextual reasoning for accurate diagnosis of students’ skills after a number of prior skills assessment. The essence is to ensure that students attain requisite skill competences before progressing to a higher level of learning.