A Computational Logic Approach to Syllogisms in Human Reasoning

Emmanuelle DietzEmmanuelle Dietz

Emmanuelle Dietz
A Computational Logic Approach to Syllogisms in Human Reasoning
In Ulrich Furbach, Claudia Schon, eds., Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015., 17-31, 2015

Details
Bibtex

KurzfassungAbstract
Psychological experiments on syllogistic reasoning have shown that participants did not always deduce the classical logically valid conclusions. In particular, the results show that they had difficulties to reason with syllogistic statements that contradicted their own beliefs. This paper discusses syllogisms in human reasoning and proposes a formalization under the weak completion semantics.
Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{D2015,
  author    = {Emmanuelle Dietz},
  title     = {A Computational Logic Approach to Syllogisms in Human Reasoning},
  editor    = {Ulrich Furbach and Claudia Schon},
  booktitle = {Proceedings of the Workshop on Bridging the Gap between Human and
               Automated {Reasoning\nA} workshop of the 25th International
               Conference on Automated Deduction (CADE-25), Berlin, Germany,
               August 1, 2015.},
  year      = {2015},
  pages     = {17-31}
}