Strategic Reasoning: Building Cognitive Models from Logical Formulas.
Sujata GhoshBen MeijeringRineke VerbruggePublished in: J. Log. Lang. Inf. (2014)
Keyphrases
- logical formulas
- cognitive models
- knowledge base
- predicate logic
- cognitive processes
- causal inferences
- cognitive model
- cognitive modeling
- cognitive architecture
- cognitive science
- partial order
- first order logic
- computational models
- reasoning systems
- knowledge representation and reasoning
- temporal logic
- artificial intelligence
- vision system