News & Events
Knowledge Intensive Automated Reasoning
Prof. Dr. Ulrich Furbach, University of Koblenz
Starting with a short discussion of human deduction, this talk gives an overview of different types of formal logic-based knowledge representation. In particular we focus on those reasoning techniques which are used for processing large amounts of knowledge. By describing the work flow within the natural language query answering system Loganswer (and the follow-up project Ratiolog) it is demonstrated that automated reasoning by itself is not able to the job. It has to be combined with techniques from information retrieval and from Artificial Intelligence, like machine learning, case-based reasoning and non-monotonic reasoning.
Date: 12.07.2013
Time: 15:30 h
Location: Cartesium, Bremen
- Files:
- Ulrich_Furbach.pdf118 K