MoL-2015-27: Learning Deductive Reasoning

MoL-2015-27: Sandoval, Ana Lucia Vargas (2015) Learning Deductive Reasoning. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (564kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (1kB)


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.

Item Type: Report
Report Nr: MoL-2015-27
Series Name: Master of Logic Thesis (MoL) Series
Year: 2015
Uncontrolled Keywords: logic, language
Subjects: Logic
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:39

Actions (login required)

View Item View Item