With the rapid growth of technology, computer learning has become increasingly integrated with artificial intelligence techniques in order to develop more personalized educational systems. These systems are known as Intelligent Tutoring systems (ITSs). This paper focused on the variant characteristics of ITSs developed across different educational…

Using a computerized logic course employing the Carnegie Mellon Proof Tutor problem-solving environment, crucial features of computer environments were isolated and relative pedagogical effectiveness was assessed. Students used computerized environments to construct proofs and were presented with identical course materials on sentential logic. The…