Latest revision as of 21:19, 23 November 2016

Logic and Human Reasoning/en

Former Members

Dr. Emmanuelle Dietz

Former Research Associate
Knowledge Representation and Reasoning

Dr. Christoph Wernhard

Former Research Associate
Knowledge Representation and Reasoning

Talks and Miscellaneous

Maximilian Marx
SQID 2.0 — A Data Browser for Wikidata
Poster at Wikimania 2019, August 2019
Details Download

@@ Line 1: / Line 1: @@
-{{Forschungsgebiet/en
+{{Forschungsgebiet/en}}
-'''Human Reasoning, Computational Logic, and Connectionism'''<br/>
-The project aims at developing non-classical logics as well as connectionist realizations thereof which are adequate for human reasoning.<br/>
-For further information, please contact [[Christoph_Wernhard/en|Christoph Wernhard]].<br/><br/>
-==== Human Reasoning in Computational Logic ====
-Until now there are no widely accepted theories that give formal representations of sophisticated human reasoning. In our project we address this issue by exploring current results from relevant research areas. The goal is to formalize a framework that allows the expression of reasoning processes which are fundamental in order to explain human behaviour. Conventional formal approaches such as classical logic are not appropriate for this purpose as they cannot deal with the most elementary parts humans are confronted with e.g. incomplete information. Alternatives can be found in formalizations of weaker logics such as non-monotonic logics or three-valued logics. Furthermore, in the field of neurosicence (e.g. connectionist networks) and cognitive science (e.g. studies from psychological reasoning such as the selection and suppression task) a lot of reaserach is going on in understanding and simulating human reasoning processes. Their results are important for our purpose as they deal with similar fundamental questions about human behaviour.<br/>
-For further information, please contact [[Emmanuelle_Dietz/en|Emmanuelle Dietz]].}}

Logic and Human Reasoning/en: Difference between revisions

Latest revision as of 21:19, 23 November 2016

Logic and Human Reasoning/en

Former Members

Talks and Miscellaneous