| Tuesday, 16
September |
|
| 14:00-14:30 |
Helmar Gust: Algebraic Models of Reasoning |
| 14:30-15:00 | Peter Struss: Automated Abstraction of Numerical Simulation Models - Theory and Practical Experience |
| 15:00-15:30 | Peter Geibel and Fritz Wysotzki: On the Graph Based Induction of Spatial Relations in Mental Models |
| 15:30-16:00 |
Diedrich Wolter, Jan-Hinnerk Reichert: Automated Computation of Composition Tables for Qualitative Spatial Calculi |
| 16:00-16:30 |
Coffee Break |
| 16:30-17:00 |
Stephan Kepser, Uwe Moennich: A Note on the Complexity of Optimality Theory |
| 17:00-17:30 |
Kai-Uwe Kühnberger: Coalgebras and Reasoning |
| 17:30-18:00 |
Final Discussion |
In many areas of reasoning - such as analogical, inductive, case-based, or qualitative reasoning - rule-based/procedural approaches are dominating the field. Alternatively, algebraic approaches can be used. Such approaches focus on structural representations and provide a powerful and formally sound foundation for inference algorithms. Examples are the use of anti-unification in analogy and induction, coalgebraic models for analogical reasoning, and relational algebras for qualitative reasoning.
The aim of the workshop is to bring together researchers from different areas of reasoning who develop and apply algebraic methods: existing formalisms shall be compared and evaluated, open problems shall be identified, transfer to other areas and application perspectives shall be discussed. Special focus will be on possible contributions of algebraic approaches to model cognitive aspects of reasoning. Some promising work in this direction exists in the domain of analogical reasoning.
Additionally to AI researchers working on algebraic methods, the workshop should be of interest to students and researchers interested in the subject fields named above and in relations between AI and cognition. An introductory talk will be presented giving an overview of the different approaches of algebraic methods intended to provide a common basis for the participants of this workshop. The workshop will be organized in cooperation with two special interest groups of the GI Fachbereich KI, namely the special interest groups "Knowledge Representation and Reasoning" and "Cognition".
Organizers:Helmar Gust,
Kai-Uwe Kühnberger,
Claus Rollinger,
Ute Schmid
Kai-Uwe Kühnberger
Institute of Cognitive Science
University of Osnabrück
Phone: +49-541-969-6228
Fax: +49-541-969-6210
kkuehnbe@uos.de