A Computational Logic Approach to Syllogisms in Human Reasoning
Aus International Center for Computational Logic
A Computational Logic Approach to Syllogisms in Human Reasoning
Emmanuelle-Anna DietzEmmanuelle-Anna Dietz
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
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}
}
