The aim of this article is to verify two predictions resulting from the mental models theory of conditional reasoning. First, the denial of antecedent (DA) and modus tollens (MT) inferences should take longer to verify than modus ponens (MP) and af®rmation of consequent (AC) because the former require subjects to ̄esh out the initial model whereas the latter do not. This prediction was con®rmed...

Now welcome, the most inspiring book today from a very professional writer in the world, default reasoning casual and conditional theories. This is the book that many people in the world waiting for to publish. After the announced of this book, the book lovers are really curious to see how this book is actually. Are you one of them? That's very proper. You may not be regret now to seek for this...

Social commitments provide a powerful representation for modeling multi-agent interactions without relinquishing part of agents autonomy and flexibility. However, distinguishing between different but related types of conditional commitments, a natural frame of social commitments, is not considered yet. In this paper, we define a new logical language, CTL, which extends CTL with modalities to re...

In two experiments, we explore whether logical reasoning abilities are affected by emotion. In both experiments, we compared participants’ performance on a conditional reasoning task when the content was emotional and neutral. In Experiment 1, conditional statements included either emotional words or neutral words. In Experiment 2, we manipulated the emotional connotation of initially neutral w...

'If' is a puzzle. No consensus has existed about its meaning for over two thousand years. Here, we show how the main psychological theories deal with the seven crucial problems that it raises. These competing explanations treat 'if' as though it was a term in a formal logic, or as eliciting the construction of a mental model of the world, or as an instruction to suppose that a proposition holds...

Deontic reasoning is thinking about whether actions are forbidden or allowed, obligatory or not obligatory. It is proposed that social norms, imposing constraints on individual actions, constitute the fundamental concept for the system of these four deontic modalities, and that people reason from such norms flexibly according to deontic core principles. Two experiments are presented, one on deo...

We consider the connections between belief revision, conditional logic and nonmonotonic reasoning, using as a foundation the approach to theory change developed by Alchourrón, Gärdenfors and Makinson (the AGM approach). This is first generalized to allow the iteration of theory change operations to capture the dynamics of epistemic states according to a principle of minimal change of entrenchme...

We investigate the relevance of conditional reasoning and belief formation for the occurrence of the winner’s curse with the help of two experimental manipulations. First, we compare results from a very simple common-value auction game with results from a transformed version of this game that does not require any conditioning on future events. In human opponent settings, we observe significant ...

A series of recent studies showed that facilitation on the Wason Selection Task could be produced by perceived utilities. The present work was aimed at testing whether a similar factor could also be involved in human reasoning performance in the context of responsibility. We supposed that the motivation of the subject assuming responsibility is affected by normative goals. These goals prescribe...

Conditional independence provides an essential framework to deal with knowledge and uncertainty in Artificial Intelligence, and is fundamental in probability and multivariate statistics. Its associated implication problem is paramount for building Bayesian networks. Unfortunately, the problem does not enjoy a finite ground axiomatization and is already coNP-complete to decide for restricted sub...