Paul Crowther

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



Research Interests: Computer systems and computational processes, Operating Systems, Database Management System


Paul Crowther has a PhD in Computer Science. He is the Deputy Head of the Department of Computing, Sheffield Hallam University, United Kingdom. His expertise is in database systems with research interest in knowledge base systems, agents, and mobile learning. Dr. Crowther is a Fellow of the British Computer Society (BCS) and SFHEA.

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