Learning Deductive Reasoning
Ana Lucia Vargas Sandoval

Abstract:
In this thesis we study the phenomenon of learning deductive reasoning by presenting a formal learning theory model for a class of possible proof systems which are built by misinterpretations of the rules in natural deduction system of classical logic. We will address this learning problem with an abstract computational procedure representation at the level of formulas and proofs. That said, we can point out that the main goal for our model is to propose a learner who: (1) is able to effectively learn a deductive system, and (2) within the learning process, the learner is expected to disambiguate, i.e., choose one deductive system over other possibilities. With these goals in mind, we evaluate and analyze different methods of presenting data to a learning function. One of the main observations is that the way in which information is presented; by means of positive data only or by means of mixed data with teacher's intervention, plays a crucial role in the learning process.