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