Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning?
Ulrich FurbachSteffen HölldoblerMarco RagniClaudia SchonPublished in: CogSci (2017)
Keyphrases
- automated reasoning
- human reasoning
- knowledge representation
- scientific discovery
- fuzzy logic
- artificial intelligence
- probabilistic reasoning
- machine learning
- theorem proving
- theorem prover
- reasoning tasks
- causal relationships
- proof theory
- logic programming
- description logics
- cognitive psychology
- expert systems
- knowledge base
- first order logic
- contextual knowledge