23 September 2014, KIK Workshop on "Higher-level cognition and computation", Stuttgart, Germany

This workshop, held in conjunction with KI 2014, aims at bringing together researchers from Artificial Intelligence, Automated Deduction, Computer Science, Cognitive Psychology, Philosophy, and related areas to foster a multi-disciplinary exchange between research in higher-level cognition and computation.

Human higher-level cognition is a multi-faceted and complex area of thinking which includes the mental processes of reasoning, decision making, creativity, and learning among others. Logic, understood as a normative theory of thinking, has a widespread and pervasive effect on the foundations of cognitive science. However, human reasoning cannot be completely described by logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Still, humans have an impressive ability to derive satisficing, acceptable conclusions. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning.

For more information, see http://imodspace.iig.uni-freiburg.de/kik-ws/