A Computational Logic Approach to Syllogisms in Human Reasoning

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

A Computational Logic Approach to Syllogisms in Human Reasoning

Emmanuelle-Anna DietzEmmanuelle-Anna Dietz
A Computational Logic Approach to Syllogisms in Human Reasoning


Emmanuelle-Anna 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 on the 25th International Conference on Automated Deduction (CADE-25), CEUR Workshop Proceedings (2015) 17–31., 17-31, 2015
  • 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{,
    AUTHOR = {E.-A. Dietz},
    TITLE= {A Computational Logic Approach to Syllogisms in Human Reasoning},
    BOOKTITLE= {Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning
on the 25th International Conference on Automated Deduction (CADE-25)},
    YEAR= {2015},
    editor = {U. Furbach and Claudia Schon},
    PAGES= {17--31},
    PUBLISHER= {CEUR Workshop Proceedings}
}