Kennedy E Ehimwenma

Work place: Sheffield Hallam University, Department of Computing, Sheffield, S1 1WB, United Kingdom



Research Interests: Computer systems and computational processes, Computer Architecture and Organization, Decision Support System, Data Structures and Algorithms


Kennedy E. Ehimwenma completed his PhD in multi-agent systems and knowledge representation for eLearning application development in 2017 at the Sheffield Hallam University, United Kingdom. His research interests include intelligent agents, semantic ontology and decision systems. Dr. Ehimwenma is a member of the BCS and the IEEE.

Author Articles
Formalizing Logic Based Rules for Skills Classification and Recommendation of Learning Materials

By Kennedy E Ehimwenma Paul Crowther Martin Beer

DOI:, Pub. Date: 8 Sep. 2018

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.

[...] Read more.
Other Articles