Spark, one of the products offered by MyQ (formerly Plethora), is a game-based platform meticulously designed to introduce students to the foundational concepts of computer science. By navigating through logical challenges, users delve into topics like abstraction, loops, and graph patterns. Setting itself apart from its counterparts, Spark boasts…

This paper addresses the problem of probabilistic reasoning as it applies to Truth Maintenance Systems (TMS). A computer-based Belief Maintenance System (BMS) has been constructed which manages a current set of probabilistic beliefs in much the same way that a TMS manages a set of true/false beliefs. It may be thought of as a generalization of a…

This article argues that, if creativity is measured by outcomes, then basic forms of reasoning (deduction, induction, abduction, specialization/generalization, and elementary memory associations) can be considered mildly creative. The claim is backed by references to computer programs that have generated creative outcomes. Limitations of this…