Inproceedings3039: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Emma Dietz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Emmanuelle |ErsterAutorNachname=Dietz }} {{Inproceedings |Referiert=1 |Title=A Computational Logic Approach to S…“) |
Emma Dietz (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
|ErsterAutorVorname=Emmanuelle | |ErsterAutorVorname=Emmanuelle-Anna | ||
|ErsterAutorNachname=Dietz | |ErsterAutorNachname=Dietz | ||
}} | }} | ||
| Zeile 8: | Zeile 8: | ||
|To appear=0 | |To appear=0 | ||
|Year=2015 | |Year=2015 | ||
|Booktitle=Proceedings of the Workshop on Bridging the Gap between Human and Automated 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), CEUR Workshop Proceedings (2015) 17–31. | ||
|Pages=17-31 | |Pages=17-31 | ||
|Editor=Ulrich Furbach, Claudia Schon | |Editor=Ulrich Furbach, Claudia Schon | ||
| Zeile 18: | Zeile 17: | ||
|Link=http://ceur-ws.org/Vol-1412/3o.pdf | |Link=http://ceur-ws.org/Vol-1412/3o.pdf | ||
|Forschungsgruppe=Wissensverarbeitung | |Forschungsgruppe=Wissensverarbeitung | ||
|BibTex=@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} | |||
} | |||
}} | }} | ||
Aktuelle Version vom 8. Mai 2017, 16:22 Uhr
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}
}
