A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Formalizing Logic Based Rules for Skills Classification and Recommendation of Learning Materials
2018
International Journal of Information Technology and Computer Science
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
doi:10.5815/ijitcs.2018.09.01
fatcat:a3n6igd4zvci3nicpjqnjsvp7q