[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 …

Contextual abductive reasoning with side-effects

LM Pereira, EA Dietz, S Hölldobler - Theory and practice of logic …, 2014 - cambridge.org
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 …

[PDF][PDF] An abductive reasoning approach to the belief bias effect

LM Pereira, EA Dietz, S Hölldobler - … international conference on the …, 2014 - cdn.aaai.org
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 …

The potential of logic programming as a computational tool to model morality

A Saptawijaya, LM Pereira - A Construction Manual for Robots' Ethical …, 2015 - Springer
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 …

[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 …

[PDF][PDF] Tabled abduction in logic programs

A Saptawijaya, LM Pereira - Theory and Practice of Logic Programming, 2013 - Citeseer
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 …

Contextual reasoning: Usually birds can abductively fly

EA Dietz Saldanha, S Hölldobler… - Logic Programming and …, 2017 - Springer
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 …

Abduction, unpredictability and Garden of Eden

C Sakama, K Inoue - Logic Journal of IGPL, 2013 - academic.oup.com
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 …

[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 …

[PDF][PDF] An abductive counterfactual reasoning approach in logic programming

LM Pereira, EA Dietz, S Hölldobler - 2015 - userweb.fct.unl.pt
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 …