EduBAI: An Educational Platform for Logic-Based Reasoning

摘要

The field of logic-based Knowledge Representation and Reasoning has produced powerful formalisms for modeling commonsense knowledge in Artificial Intelligence. In this paper, we present EduBAI, an educational platform that helps users familiarize themselves with the main tenets of commonsense reasoning in dynamic, causal domains by means of an interactive entertaining environment. We present the design and implementation of the platform, along with the rationale of sample game tactics of diverse modeling complexity.