[PDF][PDF] Weak Completion Semantics and its Applications in Human Reasoning.
S Hölldobler - Bridging@ CADE, 2015 - ceur-ws.org
I present a logic programming approach based on the weak completions semantics to model
human reasoning tasks, and apply the approach to model the suppression task, the …
human reasoning tasks, and apply the approach to model the suppression task, the …
Contextual abductive reasoning with side-effects
The belief bias effect is a phenomenon which occurs when we think that we judge an
argument based on our reasoning, but are actually influenced by our beliefs and prior …
argument based on our reasoning, but are actually influenced by our beliefs and prior …
[PDF][PDF] An abductive reasoning approach to the belief bias effect
The tendency to accept or reject arguments based on own beliefs or prior knowledge rather
than on the reasoning process is called the belief-bias effect. A psychological syllogistic …
than on the reasoning process is called the belief-bias effect. A psychological syllogistic …
The potential of logic programming as a computational tool to model morality
We investigate the potential of logic programming (LP) to computationally model morality
aspects studied in philosophy and psychology. We do so by identifying three morality …
aspects studied in philosophy and psychology. We do so by identifying three morality …
[PDF][PDF] Meta-Level Abduction.
K Inoue - FLAP, 2016 - collegepublications.co.uk
Meta-level abduction (MLA) has been proposed as a method to abduce missing laws in
completing proofs and explaining observations at the meta-level. Based on a simple logic of …
completing proofs and explaining observations at the meta-level. Based on a simple logic of …
[PDF][PDF] Tabled abduction in logic programs
Abduction has been on the back burner in logic programming, as abduction can be too
difficult to implement, and costly to perform, in particular if abductive solutions are not tabled …
difficult to implement, and costly to perform, in particular if abductive solutions are not tabled …
Contextual reasoning: Usually birds can abductively fly
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 …
Completion Semantics (WCS), the latter of which has been successfully applied in the past …
Abduction, unpredictability and Garden of Eden
The notion of unpredictability has been a central theme in both natural and social sciences.
In this article, we first provide a formal account of unpredictability based on abduction. An …
In this article, we first provide a formal account of unpredictability based on abduction. An …
[PDF][PDF] Contextual Abduction and its Complexity Issues.
EAD Saldanha, S Hölldobler, T Philipp - DARe@ LPNMR, 2017 - ceur-ws.org
In everyday life, it seems that we prefer some explanations for an observation over others
because of our contextual background knowledge. Reiter already tried to specify a …
because of our contextual background knowledge. Reiter already tried to specify a …
[PDF][PDF] An abductive counterfactual reasoning approach in logic programming
We construct a counterfactual statement when we reason conjecturally about an event which
did or did not occur in the past: If an event had occurred, what would have happened …
did or did not occur in the past: If an event had occurred, what would have happened …