New! You can now keep track of new articles from Logic Journal of the IGPL on your personalized homepage!
This paper presents and illustrates a formal logic for the abduction of singular hypotheses. The logic has a semantics and a dynamic proof theory that is sound and complete with respect to the semantics. The logic presupposes that, with respect to a specific application, the set of explananda and...
The main aim of this paper is to present a way to improve the e.ciency of an intelligent alarm correlation module by means of an abductive reasoner. The alarm correlation module is integrated in a more complex system (SAMOT) that performs monitoring and control tasks over a tract of a highway. On...
In this paper we maintain that abductive inferential processes should be embedded to a more general outlook on human cognition. Abduction has clear a.nities to the so-called interrogative model of inquiry in which inquiry and reasoning are conceptualized as a dialogue. We think, in addition, that...
The paper begins by focusing the basic idea that Gestalt phenomena belong not only to the realm of perception but to the realm of inference. It is shown that Gestalt effects (i.e. the derivability of incompatible indifferent conclusions on the basis of the same background information) often occur...