Deontic Logic for Human Reasoning

04/28/2014
by   Ulrich Furbach, et al.
0

Deontic logic is shown to be applicable for modelling human reasoning. For this the Wason selection task and the suppression task are discussed in detail. Different versions of modelling norms with deontic logic are introduced and in the case of the Wason selection task it is demonstrated how differences in the performance of humans in the abstract and in the social contract case can be explained. Furthermore it is shown that an automated theorem prover can be used as a reasoning tool for deontic logic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/14/2023

Neuro-symbolic Commonsense Social Reasoning

Social norms underlie all human social interactions, yet formalizing and...
research
04/03/2014

A Resolution Prover for Coalition Logic

We present a prototype tool for automated reasoning for Coalition Logic,...
research
04/30/2023

Automated reasoning support for Standpoint-OWL 2

We present a tool for modelling and reasoning with knowledge from variou...
research
08/06/2019

Logic could be learned from images

Logic reasoning is a significant ability of human intelligence and also ...
research
09/16/2015

Quantum Look at two Common Logics: the Logic of Primitive Thinking and the Logic of Everyday Human Reasoning

Based on ideas of quantum theory of open systems and psychological dual ...
research
07/15/2019

Logic Conditionals, Supervenience, and Selection Tasks

Principles of cognitive economy would require that concepts about object...
research
08/21/2023

Normative Conditional Reasoning as a Fragment of HOL

We report some results regarding the mechanization of normative (prefere...

Please sign up or login with your details

Forgot password? Click here to reset