• Corpus ID: 51761616

Bridging the Gap between Human and Automated Reasoning Is Logic and Automated Reasoning a Foundation for Human Reasoning? Bridging-2017

  title={Bridging the Gap between Human and Automated Reasoning Is Logic and Automated Reasoning a Foundation for Human Reasoning? Bridging-2017},
  author={Ilir Kola and Marco Ragni and Emmanuelle-Anna Dietz Saldanha and Steffen H{\"o}lldobler and Lu{\'i}s Moniz Pereira},
A syllogism consists of two premises each containing one of four quantifiers (All, Some, Some not, None) and two out of three objects totaling in 64 reasoning problems. The task of the participants is to draw or evaluate a conclusion, given the premise information. Most, if not all cognitive theories for syllogistic reasoning, focus on explaining and sometimes predicting the aggregated response pattern for participants of a whole psychological experiment. While only few theories focus on the… 

Figures and Tables from this paper



Story Comprehension through Argumentation

A novel application of argumentation for automated Story Comprehension is presented, using argumentation to develop a computational approach for SC as this is understood and studied in psychology.

Computational Logic and Human Thinking: How to Be Artificially Intelligent

This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic and will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills.

On Argumentation Logic and Propositional Logic

It is shown that AL and PL are logically equivalent in that they have the same entailment relation from any given classically consistent theory.

A Dissociation Between Moral Judgments and Justifications

To what extent do moral judgments depend on conscious reasoning from explicitly understood principles? We address this question by investigating one particular moral principle, the principle of the

Some Empirical Criteria for Attributing Creativity to a Computer Program

This work sketches out, in general abstract terms, what goes on when a potentially creative program is constructed and run, and list some of the relationships which might contribute to a decision about creativity.

Towards Modeling Morality Computationally with Logic Programming

The research aims at developing an LP-based system with features needed in modeling moral settings, putting emphasis on modeling three morality aspects: dual-process model (reactive and deliberative) in moral judgments; justification of moral judgments by contractualism; and intention in moral permissibility.

Counterfactual thinking in moral judgment: an experimental study

It is suggested that gender and perspective have a critical role in counterfactual thinking in the context of moral reasoning, and may have implications for the understanding of gender-related inclinations as well as differences in moral judgment.

Understanding Counterfactuals, Understanding Causation: Issues in Philosophy and Psychology

How are causal judgements such as 'The ice on the road caused the traffic accident' connected with counterfactual judgements such as 'If there had not been any ice on the road, the traffic accident

Towards a classification framework for social machines

This paper explores the landscape of social machines, both past and present, with the aim of defining an initial classificatory framework and presents an initial characterisation of some of the most popular social machines.