CoRg - Cognitive Reasoning

DFG Project

some neurons brain
Some alt text

Project

Some alt text Cognitive computing addresses problems characterized by ambiguity and uncertainty, meaning that it is used to handle problems humans are confronted with in everyday life. When developing a cognitive computing system which is supposed to act human-like one cannot rely on automated theorem proving techniques alone, since humans performing commonsense reasoning do not obey the rules of classical logics. This causes humans to be susceptible to logical fallacies, but on the other hand to draw useful conclusions automated reasoning systems are incapable of. Humans naturally reason in the presence of incomplete and inconsistent knowledge, are able to reason in the presence of norms as well as conflicting norms and are able to quickly reconsider their conclusions when being confronted with additional information. The versatility of human reasoning illustrates that any attempt to model the way humans perform commonsense reasoning has to use a combination of many different techniques. This project aims at the construction of a cognitive computing system by modeling aspects of human reasoning like emotions and human interactions. For this, we will extend classical logical reasoning with non-monotonic reasoning like defeasible logic and normative reasoning and combine it with machine learning techniques. This will not only be carried out on a theoretical level. Different components important to model the commonsense reasoning process will be developed and combined to a cognitive computing system which will be tested using benchmarks from commonsense reasoning.

Operational time: März 2018 - Feburar 2021
Some alt text
Some alt text
Some alt text
Some alt text

Team

Some alt text

Prof. Dr. Frieder Stolzenburg

Project leader

Hochschule Harz

Fachbereich Automatisierung und Informatik

Tel.: +49 (0) 39 43 / 659 333

Fax: +49 (0) 39 43 / 659 333

E-mail: fstolzenburg@hs-harz.de

Web: http://www.hs-harz.de/fstolzenburg

Some alt text

Sophie Siebert

Hochschule Harz

Fachbereich Automatisierung und Informatik

Tel.: +49 (0) 39 43 / 659 391

E-mail: ssiebert@hs-harz.de

Some alt text

Prof. Dr. Ulrich Furbach

Project leader

Universität Koblenz-Landau

Fachbereich 4: Informatik

Tel.: +49 (0) 261 / 287 2728

E-mail: uli@uni-koblenz.de

Web: http://www.uni-koblenz.de/~uli

Some alt text

Dr. Claudia Schon

Project leader

Universität Koblenz-Landau

Fachbereich 4: Informatik

Tel.: +49 (0) 261 / 287 2773

E-mail: schon@uni-koblenz.de

Web: https://userpages.uni-koblenz.de/~obermaie/

Partners

The DFG is the self-governing organisation for science and research in Germany. It serves all branches of science and the humanities. In organisational terms, the DFG is an association under private law. Its membership consists of German research universities, non-university research institutions, scientific associations and the Academies of Science and the Humanities.

Harz University of Applied Sciences. Meet an innovative university with state-of-the-art, market-aligned degree programmes, dedicated teaching staff in step with actual practice, helpful fellow students and first-class technical equipment. Students and teaching staff alike use our wireless LAN campus, the modern language and media centre, the library, the large AudiMax lecture hall as well as superbly equipped laboratories, where practically oriented teaching and research takes place.

The University of Koblenz-Landau is a young, medium-sized university. In 1990 the university emerged from the former teacher training college. In the meantime research and teaching are organised in three linked interdisciplinary subject areas entitled "Learning", "Society" and "Environment".

Publications

A video contribution by Ulrich Furbach:
http://momarnd.moma.org/salons/salon-24-ai-artificial-imperfection-2/
to Artificial Imperfection – with Paola Antonelli | R&D Salon 24 | The Museum of Modern Art | 03.04.2018

U. Furbach, C. Schon. Reasoning and Consciousness. Teaching a Theorem Prover to let its Mind Wander AITP 2018 - Proc. of The Third Conference on Articial Intelligence and Theorem Proving. Abstracts


Other Projects

The predecessor project RatioLog aims at establishing a common model for deduction and behavior. To this end logical deduction and modeling continuous systems are to be combined, based on preceding work on non-monotonous calculi and hybrid automata. Deduction in classical logic is to be extended with several non-monotonous aspects, for example abduction or refutable argumentation. The extensions will not only be made on a theoretical level, but will also be implemented into the automated theorem prover E-KR-Hyper. LogAnswer, an open-domain question answering system that uses E-KRHyper and Wikipedia to answer natural-language questions (in German), will be expanded to a rational question answering system, providing an excellent testing field for evaluating the rational deduction.

Workshop on KI & Kognition:
http://www.fernuni-hagen.de/wbs/dkbkik2018


Workshop on Bridging the Gap between Human and Automated Reasoning:
http://ratiolog.uni-koblenz.de/bridging2018.html


Künstliche Intelligenz Journal - Special Issue on "Cognitive Reasoning" - Call for Papers
http://corg.hs-harz.de/corg/KIJCall.html