This project aims at establishing a joint model for reasoning and behavior. For this, we will combine logical reasoning with the modeling of continuous systems by building on previous works on non-monotonic calculi and hybrid automata.We will extend classical logical reasoning by various forms of non-monotonic aspects, e.g. abduction or defeasible argumentation. This will not be done on a theoretical level only, but these extensions will be incorporated into the existing reasoning system E-KRHyper. The open domain question answering (QA) system LogAnswer that uses E-KRHyper and the free encyclopedia Wikipedia for answering natural-language questions will be turned into a system for rational question answering, which offers an excellent testbed for evaluating rational reasoning.
Project leader: Prof. Dr. Frieder Stolzenburg
Assistant: Dr. Claus-Peter Wirth
Duration: June 4, 2013 to December 3, 2015
Third-Party Funding: Deutsche Forschungsgemeinschaft (DFG)
Partner: Working Group Sr. Prof. Dr. Furbach, Inst. für Informatik, Universität Koblenz-Landau