Contextual reasoning: Usually birds can abductively fly

Emmanuelle Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Citations (Scopus)

Abstract

We present a new logic programming approach to contextual reasoning, based on the Weak Completion Semantics (WCS), the latter of which has been successfully applied in the past to adequately model various human reasoning tasks. One of the properties of WCS is the open world assumption with respect to undefined atoms. This is a characteristic that is different to other common Logic Programming semantics, a property that seems suitable when modeling human reasoning. Notwithstanding, we have noticed that the famous Tweety default reasoning example, originally introduced by Reiter, cannot be modeled straightforwardly under WCS. Hence, to address the issue and taking Pereira and Pinto’s inspection points as inspiration, we develop a notion of contextual reasoning for which we introduce contextual logic programs. We reconsider the formal properties of WCS with respect to these and verify whether they still hold. Finally, we set forth contextual abduction and show that not only the original Tweety example can be nicely modeled within the new approach, but more sophisticated examples as well, where context plays an important role.

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings
EditorsM. Balduccini , T. Janhunen
Place of PublicationCham
PublisherSpringer Verlag
Pages64-77
Number of pages14
ISBN (Electronic)978-3-319-61660-5
ISBN (Print)978-3-319-61659-9
DOIs
Publication statusPublished - 2017
Event14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017 - Espoo, Finland
Duration: 3 Jul 20176 Jul 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Volume10377 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017
CountryFinland
CityEspoo
Period3/07/176/07/17

Keywords

  • WELL-FOUNDED SEMANTICS
  • LOGIC PROGRAMS

Fingerprint Dive into the research topics of 'Contextual reasoning: Usually birds can abductively fly'. Together they form a unique fingerprint.

Cite this