In this talk, the DFG funded project Cognitive Reasoning (CoRg) will be introduced. CoRg aims at the construction of a cognitive computing system. 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 utomated 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 mmonsense reasoning has to use a combination of many different techniques. In the context of this presentation the aims, challenges and the next steps in the CoRg project will be presented.
17.05.2018 - 10:15