Searching Over Search Trees for Human-AI Collaboration in Exploratory Problem Solving: A Case Study in Algebra.
Benjamin T. JonesSteven L. TanimotoPublished in: VL/HCC (2018)
Keyphrases
- cognitive model
- search tree
- cognitive processes
- artificial intelligence
- search space
- search algorithm
- case based reasoning
- symmetry breaking
- b tree
- tree search
- binary search trees
- branching factor
- human cognition
- ai systems
- collaborative problem solving
- cognitive science
- branch and bound algorithm
- sat solvers
- collaborative learning
- data model
- human level