Creativity, Cognitive Mechanisms, and Logic.
Ahmed M. H. Abdel-FattahTarek R. BesoldKai-Uwe KühnbergerPublished in: AGI (2012)
Keyphrases
- modal logic
- classical logic
- logic programming
- data sets
- multi valued
- sound and complete axiomatization
- automated reasoning
- neural network
- user interface
- natural language
- probabilistic logic
- computational properties
- set theory
- digital circuits
- truth values
- abductive reasoning
- natural deduction
- creative thinking
- real time