Joining Formal and Cognitive Reasoning.
Christoph BeierleMarco RagniFrieder StolzenburgMatthias ThimmPublished in: FLAP (2023)
Keyphrases
- logical reasoning
- formal models
- cognitive abilities
- meta level
- knowledge base
- information processing
- formal model
- cognitive architectures
- model based reasoning
- reasoning process
- reasoning systems
- cognitive science
- cognitive agents
- spatial reasoning
- reasoning processes
- analogical reasoning
- legal argument
- decision making
- cognitive processing
- cognitive systems
- cognitive processes
- knowledge processing
- automated reasoning
- mental models
- mathematical theory
- learning mechanisms
- cognitive models
- uncertain information
- individual differences
- reasoning mechanisms
- formal semantics
- formal specification