Corpus ID: 51761616

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

@inproceedings{Kola2017BridgingTG,
  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 L. Pereira},
  year={2017}
}
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… Expand

Figures and Tables from this paper

References

SHOWING 1-10 OF 44 REFERENCES
Story Comprehension through Argumentation
  • 18
  • Highly Influential
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games
  • 3,915
  • PDF
Computational Logic and Human Thinking: How to Be Artificially Intelligent
  • 107
  • Highly Influential
  • PDF
On Argumentation Logic and Propositional Logic
  • 7
  • Highly Influential
  • PDF
A Dissociation Between Moral Judgments and Justifications
  • 523
  • PDF
Some Empirical Criteria for Attributing Creativity to a Computer Program
  • G. Ritchie
  • Psychology, Computer Science
  • Minds and Machines
  • 2007
  • 262
  • PDF
Counterfactual thinking in moral judgment: an experimental study
  • 31
  • PDF
Understanding Counterfactuals, Understanding Causation: Issues in Philosophy and Psychology
  • 35
  • Highly Influential
Towards a classification framework for social machines
  • 84
  • PDF
...
1
2
3
4
5
...