An Abductive Model for Human Reasoning (Poster Paper)

Steffen HölldoblerSteffen Hölldobler, Tobias PhilippTobias Philipp, Christoph WernhardChristoph Wernhard

Steffen Hölldobler, Tobias Philipp, Christoph Wernhard
An Abductive Model for Human Reasoning (Poster Paper)
Logical Formalizations of Commonsense Reasoning, Papers from the AAAI 2011 Spring Symposium, AAAI Spring Symposium Series Technical Reports, 135-138, 2011. AAAI Press

Details
Bibtex

KurzfassungAbstract
In this paper we contribute to bridging the gap between human reasoning as studied in Cognitive Science and commonsense reasoning based on formal logics and formal theories. In particular, the suppression task studied in Cognitive Science provides an interesting challenge problem for human reasoning based on logic. The work presented in the paper is founded on the recent approach by Stenning and van Lambalgen to model human reasoning by means of logic programs with a specific three-valued completion semantics and a semantic fixpoint operator that yields a least model, as well as abduction. Their approach has been subsequently made more precise and technically accurate by switching to three-valued {L}ukasiewicz logic. In this paper, we extend this refined approach by abduction. We show that the inclusion of abduction permits to adequately model additional empiric results reported from Cognitive Science. For the arising abductive reasoning tasks we give complexity results. Finally, we outline several open research issues that emerge from the application of logic to model human reasoning.
Bemerkung: Note: (Extended version: http://www.wv.inf.tu-dresden.de/Publications/2010/HoelldoblerPhilippWernhard.pdf)
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{HPW2011,
  author    = {Steffen H{\"{o}}lldobler and Tobias Philipp and Christoph
               Wernhard},
  title     = {An Abductive Model for Human Reasoning (Poster Paper)},
  booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the
               {AAAI} 2011 Spring Symposium},
  series    = {AAAI Spring Symposium Series Technical Reports},
  publisher = {AAAI Press},
  year      = {2011},
  pages     = {135-138}
}