Contextual Reasoning: Usually Birds Can Abductively Fly
| Autor: | Luís Moniz Pereira, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Property (philosophy)
Semantics (computer science) Computer science business.industry 010102 general mathematics Context (language use) 0102 computer and information sciences Contextual reasoning 01 natural sciences 010201 computation theory & mathematics Artificial intelligence 0101 mathematics Common logic Set (psychology) Open-world assumption business Logic programming |
| Zdroj: | Logic Programming and Nonmonotonic Reasoning ISBN: 9783319616599 LPNMR |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|