Logic Meets Cognition: Empirical Reasoning in Games.
Sujata GhoshBen MeijeringRineke VerbruggePublished in: MALLOW (2010)
Keyphrases
- automated reasoning
- proof theory
- multi agent decision making
- deductive reasoning
- computational properties
- order of magnitude reasoning
- intuitionistic logic
- logical framework
- logical inference
- human reasoning
- reasoning systems
- proof theoretic
- logical rules
- reasoning engine
- probabilistic logic
- cognitive abilities
- logic programming
- cognitive processes
- reasoning tasks
- classical logic
- cognitive agents
- defeasible logic
- knowledge representation
- commonsense reasoning
- horn logic
- artificial intelligence
- machine learning
- cognitive architecture
- qualitative reasoning
- information processing
- knowledge representation and reasoning
- cognitive science
- knowledge representation formalisms
- default reasoning
- cognitive architectures
- cognitive psychology
- reasoning about actions
- nash equilibria
- probabilistic reasoning
- nash equilibrium
- computer games
- video games
- proof procedure
- reasoning process
- cognitive systems
- abductive reasoning
- reasoning problems
- educational games
- computational models
- modal logic
- derivation rules