A Computational Logic Approach to the Abstract and the Social Case of the Selection Task

Emmanuelle-Anna DietzEmmanuelle-Anna Dietz, Steffen HölldoblerSteffen Hölldobler, Marco RagniMarco Ragni

Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task
Proceedings of the 11th International Symposium on Logical Formalizations of Commonsense Reasoning, 2013

Details
Bibtex

KurzfassungAbstract
Previous results have shown that weak completion semantics based on three-valued Łukasiewicz logic can adequately represent and explain human behavior in the suppression task. This approach corresponds to well-founded semantics for tight logic programs. In this paper we apply both semantics to the selection task – probably the most famous and best investigated psychological study about human reasoning with conditionals. In its abstract version, cards are shown to some people and they have to check if a conditional statement about the cards holds true. Numerous psychological studies show that most people do not solve this task correctly in terms of classical propositional logic and tend to make similar reasoning errors. Once the same reasoning problem is framed within a social setting, most people solve the task correctly. By distinguishing between belief and social constraints, we apply the abstract and the social case within the weak completion and the well-founded semantics and show that when reasoning towards the corresponding representations, our computational approach adequately reflects the psychological results. Finally, we present a psychological study testing different predictions of the weak completion and the well-founded semantics on programs which are not tight.
Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{DHR2013,
  author    = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler and Marco
               Ragni},
  title     = {A Computational Logic Approach to the Abstract and the Social
               Case of the Selection Task},
  booktitle = {Proceedings of the 11th International Symposium on Logical
               Formalizations of Commonsense Reasoning},
  year      = {2013}
}