Automatic formative assessment of exercises on knowledge representation in first-order logic.
Angelo KyrilovDavid C. NoellePublished in: ITiCSE (2013)
Keyphrases
- first order logic
- knowledge representation
- expressive power
- probabilistic reasoning
- representation language
- theorem proving
- propositional logic
- formative assessment
- theorem prover
- markov networks
- inductive logic programming
- artificial intelligence
- probabilistic graphical models
- logic programming
- transitive closure
- inference rules
- description logics
- expert systems
- knowledge base
- student learning
- machine learning
- natural language
- knowledge structures
- open ended
- semi automatic
- knowledge acquisition
- horn clauses
- natural language processing
- highly expressive
- graphical models
- active learning
- quantifier elimination