Deep Thought is a logic tutor where students practice constructing deductive logic proofs. Within Deep Thought is a data-driven mastery learning system (DDML), which calculates student proficiency based on rule scores weighted by expert-decided weights in order to assign problem sets of appropriate difficulty. In this study, we designed and tested a data-driven proficiency profiler (DDPP) metho...

We describe the “Deep Thought” algorithm, which can, among other things, take a commutator presentation for a finitely generated torsion-free nilpotent group G, and produce explicit polynomials for the multiplication of elements of G. These polynomials were first shown to exist by Philip Hall, and allow for “symbolic collection” in finitely generated nilpotent groups. We discuss various practic...

We propose a novel extension of the encoder-decoder framework, called a review network. The review network is generic and can enhance any existing encoderdecoder model: in this paper, we consider RNN decoders with both CNN and RNN encoders. The review network performs a number of review steps with attention mechanism on the encoder hidden states, and outputs a thought vector after each review s...

When developing an intelligent tutoring system, it is necessary to have a significant number of highly varied problems that adapt to a student’s individual learning style. In developing an intelligent tutor for logic proof construction, selecting problems for individual students that effectively aid their progress can be difficult, since logic proofs require knowledge of a number of concepts an...

objective: the present study aimed to investigate the metacognitive model of obsessive-compulsive disorder (ocd), through a comparative study of thought fusion beliefs and thought control strategies between patients with ocd, depression, and normal people. methods: this is a causal-comparative study. about 20 patients were selected with ocd, and 20 patients with major depression disorder (mdd),...

according to leading authorities in the training system of islam, the reason for man's creation is the achievement of absolute perfection. given that on the one hand the wise creator must not have any impossibility in his purpose and the purpose from the wise must be possible and attainable and on the other hand man is a thinking creature and he never sets the impossible as his goal, the a...