A Computational Logic Approach to the Suppression Task

From International Center for Computational Logic

Toggle side column

A Computational Logic Approach to the Suppression Task

Emmanuelle-Anna DietzEmmanuelle-Anna Dietz,  Steffen HölldoblerSteffen Hölldobler,  Marco RagniMarco Ragni
A Computational Logic Approach to the Suppression Task


Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Suppression Task
In N. Miyake D. Peebles and R. P. Cooper, eds., Proceedings of the 34th Annual Conference of the Cognitive Science Society, 1500-1505, 2012. Cognitive Science Society
  • KurzfassungAbstract
    A novel approach to human conditional reasoning based on the three-valued Łukasiewicz logic is presented. We will demonstrate that the Łukasiewicz logic overcomes problems the so far proposed Fitting logic has in reasoning with the suppression task. While adequately solving the suppression task, the approach gives rise to a number of open questions concerning the use of Łukasiewicz logic, unique fixed points, completion versus weak completion, explanations, negation, and sceptical versus credulous approaches in human reasoning.
  • Weitere Informationen unter:Further Information: Link
  • Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@inproceedings{DHR2012,
  author    = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler and Marco
               Ragni},
  title     = {A Computational Logic Approach to the Suppression Task},
  editor    = {N. Miyake D. Peebles and R. P. Cooper},
  booktitle = {Proceedings of the 34th Annual Conference of the Cognitive
               Science Society},
  publisher = {Cognitive Science Society},
  year      = {2012},
  pages     = {1500-1505}
}