Modeling the Suppression Task under Three-Valued Lukasiewicz and Well-Founded Semantics

Emmanuelle-Anna DietzEmmanuelle-Anna Dietz, Steffen HölldoblerSteffen Hölldobler

Emmanuelle-Anna Dietz, Steffen Hölldobler
Modeling the Suppression Task under Three-Valued Lukasiewicz and Well-Founded Semantics
In Egré, P. and Ripley, R., eds., Proceedings ESSLLI 2012 workshop on trivalent logics and their applications, 27-38, 2012

Details
Bibtex

KurzfassungAbstract
Two three-valued approaches for modeling human conditional reasoning are presented. The suppression task, a study from psychological reasoning, formalized by Stenning and van Lambalgen, is examined. It is known that the suppression task is adequately solved using logic programs under the three-valued Lukasiewicz semantics. In this paper we examine this approach and compare it with well-founded semantics. We show that, by some modification, both approaches yield to identical results for a specific class of programs.
Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{DH2012,
  author    = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler},
  title     = {Modeling the Suppression Task under Three-Valued  Lukasiewicz and
               Well-Founded Semantics},
  editor    = {Egr{\'{e}} and P. and Ripley and R.},
  booktitle = {Proceedings {ESSLLI} 2012 workshop on trivalent logics and their
               applications},
  year      = {2012},
  pages     = {27-38}
}