Elaborating heuristic reasoning and rigor with mathematical games.
David GinatPublished in: ACM SIGCSE Bull. (2007)
Keyphrases
- multi agent decision making
- game tree search
- optimal solution
- human reasoning
- game tree
- video games
- reasoning tasks
- two player games
- mathematical proofs
- knowledge representation
- automated reasoning
- reasoning process
- game theory
- nash equilibria
- nash equilibrium
- computer games
- minimax search
- game development
- computer algebra systems
- knowledge base
- game design
- evaluation function
- constraint satisfaction
- search algorithm
- qualitative reasoning
- tree search
- mathematical models
- uncertain information
- legal reasoning
- reasoning systems
- monte carlo
- monte carlo tree search
- tabu search
- simulated annealing
- multi agent systems
- bayesian networks