A Logic Programming Language Designed for the Modeling of Abductive Reasoning in an Educational Context

Abstract

The programming of simulations of real or abstract phenomena is referred to as computational modeling. In the educational sphere, computational modeling is useful for students in learning about a phenomenon via programming activities. Abductive logic programming is a computer modeling activity with considerable educational potential due to the universal nature of logic as formalism for modeling; however, existing languages and frameworks of abductive logic programming require students to have a broad knowledge of logic programming, which prevents the use of these solutions in a general educational context. This work proposes a language referred to as Abd1, which has been designed to facilitate abductive logic programming in school environments. This paper describes the Abd1 language and how it can be used for computational modeling in an educational context.