Beschreibung
Automated deduction aims at formalizing diverse aspects of reasoning and has many application areas from software verification to mathematical theorem proving. It is originally based on algorithmic methods derived from mathematical logics. In contrast, 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 acceptable conclusions. From the very beginning of AI research, there has been a strong emphasis on incorporating mechanisms of human rationality and cognition into reasoning systems.
The workshop aims at bringing together researchers from AI, Automated Deduction, and Cognitive Science to foster a multi-disciplinary exchange and to discuss possibilities to overcome the historic separation. Topics of interest include, but are not limited to the following:
- Non-monotonic, defeasible, and classical reasoning and possible explanations for human reasoning
- Limits and differences between automated and human reasoning
- Application fields of automated reasoning in the interaction with human reasoners (e.g., in spatial knowledge processing)
- Human-computer interaction and cognitive robotics (regarding the relevance for reasoning methods)
This workshop continues a series of successful workshops initiated by the Special Interest Group "Cognition" in the GI.
It will be held in conjcunction with KI 2012.
Programm
Time | Item |
---|
09:00 | Opening and Introduction |
09:10 | Gabriele Kern-Isberner (Invited Talk): Semantical aspects of first-order defeasible reasoning |
09:50 | Emmanuelle-Anna Dietz, Steffen Hölldobler, and Marco Ragni: A simple model for the Wason selection task |
10:10 | Peter Großmann, Michael Siebers, and Ute Schmid: MoralLISA - An extension of the analogy model LISA for moral decision making |
10:30 | Coffee Break (provided by KI 2012) |
11:00 | Gabriele Kern-Isberner and Christian Eichhorn: A structural base for conditional reasoning |
11:20 | Christoph Wernhard: Towards a declarative approach to model human reasoning with nonmonotonic logic |
11:40 | Reinhard Klapfer, Lars Kunze, and Michael Beetz: Pouring and mixing liquids - Understanding the physical effects of everyday robot manipulation actions |
12:00 | Discussion and Closing |
12:30 | Lunch |