Right Here. Wright State. This Spring.

COVID-19 information and resources. Visit our Coronavirus website.


Department Talk "Human Reasoning, Logic Programs and Connectionist Systems" by Prof Steffen Holldobler

Abstract strings as an illustration for the event
Thursday, October 1, 2015, 10:30 am to Noon
Campus: 
Dayton
339 Russ Engineering Center
Audience: 
Current Students
Faculty

Abstract: The suppression task, the selection task, the belief bias effect, spatial reasoning and reasoning about conditionals are just some examples of human reasoning tasks which have received a lot of attention in the field of cognitive science and which cannot be adequately modeled using classical two-valued logic. I will present an approach using logic programs, weak completion, three-valued Łukasiewicz logic, abduction and revision to model these tasks. In this setting, logic programs admit a least model and reasoning is performed with respect to these least models. For a given program, the least model can be computed as the least fixed point of an appropriate semantic operator and, by adapting the Core-method, can be computed by a recurrent connectionist network with a feed-forward core.

For information, contact
Dr. Pascal Hitzler
Log in to submit a correction for this event (subject to moderation).

Related Events