A Logic Framework for Reasoning towards Better Learning Outcomes in Education

Abstract

In this paper, we present a logic framework intended to be used by intelligent agents in online education to formalise the relationships among all involved objects, including all parties, learning contents, the interests and personalities of learners, learning goals and career goals of learners, and other elements involved, and most importantly, to reason for each specific learner to develop and present the most useful learning curriculum and learning contents in the most appropriate style, in order to achieve the best possible learning outcomes. We will identify the objects and relationships among these objects, as well as some rules that can be used for reasoning.