The complexity of contextual abduction in human reasoning tasks

Abstract

In everyday life, it seems that when we observe something, then, while searching for explanations, we assume some explanation more plausible to others, simply because of our contextual background. Recently, a contextual reasoning approach has been presented, which takes into account this contextual background and allows us to specify context within the logic. This approach is embedded into the Weak Completion Semantics, a Logic Programming approach that aims at adequately modeling human reasoning tasks. As this approach extends the underlying three-valued £ukasiewicz logic, some formal properties of the Weak Completion Semantics do not hold anymore. In this paper, we investigate the effects of this extension with respect to former results. In particular, we present some interesting results about the complexity of contextual abduction