Modeling the Suppression Task under Weak Completion and Well-Founded Semantics

Emmanuelle-Anna DietzEmmanuelle-Anna Dietz, Steffen HölldoblerSteffen Hölldobler, Christoph WernhardChristoph Wernhard

Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard
Modeling the Suppression Task under Weak Completion and Well-Founded Semantics
Journal of Applied Non-Classsical Logics, 24(1--2):61-85, 2014

Details
Bibtex

KurzfassungAbstract
Formal approaches that aim at representing human reasoning should be evaluated based on how humans actually reason. One way in doing so, is to investigate whether psychological findings of human reasoning patterns are represented in the theoretical model. The computational logic approach discussed here is the so called weak completion semantics which is based on the three-valued Lukasiewicz logic. We explain how this approach adequately models Byrne's suppression task, a psychological study where the experimental results show that participants' conclusions systematically deviate from the classical logically correct answers. As weak completion semantics is a novel technique in the field of Computational Logic, it is important to examine how it corresponds to other already established non-monotonic approaches. For this purpose we investigate the relation of weak completion with respect to completion and three-valued stable model semantics. In particular, we show that well-founded semantics, a widely accepted approach in the field of non-monotonic reasoning, corresponds to weak completion semantics for a specific class of modified programs.
Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@article{DHW2014,
  author  = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler and Christoph
             Wernhard},
  title   = {Modeling the Suppression Task under Weak Completion and
             Well-Founded Semantics},
  journal = {Journal of Applied Non-Classsical Logics},
  volume  = {24},
  number  = {1--2},
  year    = {2014},
  pages   = {61-85}
}