Automatic estimation of exercises' difficulty levels in a tutoring system for teaching the conversion of natural language into first-order logic.
Isidoros PerikosFoteini GrivokostopoulouKonstantinos KovasIoannis HatzilygeroudisPublished in: Expert Syst. J. Knowl. Eng. (2016)
Keyphrases
- first order logic
- tutoring system
- knowledge representation
- natural language
- problem based learning
- expressive power
- propositional logic
- student modelling
- probabilistic reasoning
- theorem proving
- intelligent tutoring systems
- inference rules
- inductive logic programming
- representation language
- probabilistic graphical models
- theorem prover
- learning environment
- transitive closure
- horn clauses
- student model
- relational algebra
- logical formulas
- quantifier elimination
- machine learning
- learning systems
- markov logic networks
- knowledge base
- markov logic
- e learning
- natural language processing
- information extraction
- markov networks
- query language
- learning process
- anti unification