An Empirical Study of Errors in Translating Natural Language into Logic


Every teacher of logic knows that the ease with which a student can translate a natural language sentence into formal logic depends, amongst other things, on just how that natural language sentence is phrased. This paper reports findings from a pilot study of a large scale corpus in the area of formal logic education, where we used a very large dataset to… (More)


4 Figures and Tables

Slides referencing similar topics