2016
DOI: 10.1111/exsy.12182
|View full text |Cite
|
Sign up to set email alerts
|

Automatic estimation of exercises' difficulty levels in a tutoring system for teaching the conversion of natural language into first‐order logic

Abstract: The estimation of the difficulty level of exercises is a fundamental aspect of intelligent tutoring systems, and it is necessary in order to achieve better adaptation to the students' needs and maximize learning efficiency. In this article, we present an approach to automatically estimates the difficulty level of exercises in natural language (NL) to first‐order of logic (FOL). The estimation of an exercise's difficulty level is based on the complexity of the corresponding answer, that is the FOL formula, as w… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

1
24
0

Year Published

2017
2017
2023
2023

Publication Types

Select...
4
2
1

Relationship

0
7

Authors

Journals

citations
Cited by 11 publications
(25 citation statements)
references
References 18 publications
1
24
0
Order By: Relevance
“…They also conclude that combining both syntactic and semantic features allow more flexibility and generally gives better performance. (Perikos et al 2016 ) estimates the difficulty level of different exercises in natural language (NL) to the first order of logic (FOL). The difficulty is based on different parameters which is the FOL formula and it is also based on the semantics of exercise which is the Natural Language sentence.…”
Section: Literature Surveymentioning
confidence: 99%
“…They also conclude that combining both syntactic and semantic features allow more flexibility and generally gives better performance. (Perikos et al 2016 ) estimates the difficulty level of different exercises in natural language (NL) to the first order of logic (FOL). The difficulty is based on different parameters which is the FOL formula and it is also based on the semantics of exercise which is the Natural Language sentence.…”
Section: Literature Surveymentioning
confidence: 99%
“…Early knowledge representation that uses modern notation is Classical logic, one of Formal Logical Systems. Some members of classical logic which are still being used up until now are Propositional Logic [22,23,24], First-Order Logic [25,26,27,28], and Second-Order Logics [29,30,31] among others. These logical systems are still being used and developed because their capability in knowledge reasoning.…”
Section: Knowledge Representationmentioning
confidence: 99%
“…Conversion" (Perikos, Grivokostopoulou, Kovas, & Hatzilygeroudis, 2016), the authors present an intelligent tutoring systems (ITS) to assisting students in converting natural language sentences into firstorder logic. The assistance consists on an estimation of difficulty based on several factors involving the complexity of the formula, such as number, type and order of quantifiers, number of implications and connectives, among others.…”
Section: "Automatic Estimation Of Difficulty Level Of Exercises In a mentioning
confidence: 99%
“…By means of this framework, it is possible to develop multimodal interfaces that are a useful alternative to graphic user interfaces for mobile devices usually based in tapping through different menus. In “Automatic Estimation of Difficulty Level of Exercises in a Tutoring System for Teaching Natural Language into First Order Logic Conversion” (Perikos, Grivokostopoulou, Kovas, & Hatzilygeroudis, ), the authors present an intelligent tutoring systems (ITS) to assisting students in converting natural language sentences into first‐order logic. The assistance consists on an estimation of difficulty based on several factors involving the complexity of the formula, such as number, type and order of quantifiers, number of implications and connectives, among others.…”
mentioning
confidence: 99%