Quantifying means-end reasoning skills in simulation-based training: a logic-based approach.
Audun StolpeJo Erskine HannayPublished in: Simul. (2022)
Keyphrases
- proof theory
- automated reasoning
- computational properties
- deductive reasoning
- intuitionistic logic
- order of magnitude reasoning
- medical students
- proof theoretic
- human reasoning
- logical inference
- default reasoning
- knowledge base
- logical framework
- reasoning engine
- training program
- abductive reasoning
- knowledge representation and reasoning
- training set
- knowledge representation
- classical logic
- predicate logic
- reasoning tasks
- training process
- modal logic
- training examples
- logic programming
- online learning
- supervised learning
- probabilistic logic
- commonsense reasoning
- reasoning process
- training samples