KIK 2014: Higher-Level Cognition and Computation, Workshop at KI 2014

Beschreibung

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.

This workshop 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. Topics of interest include, but are not limited to the following:

• analogical reasoning
• common sense and defeasible reasoning
• deductive calculi for higher-level cognition
• inductive reasoning and cognition
• preferred mental models and their formalization
• probabilisic approaches of reasoning