Temporal abductive reasoning about biochemical reactions - Archive ouverte HAL Access content directly
Journal Articles Journal of Applied Non-Classical Logics Year : 2017

Temporal abductive reasoning about biochemical reactions


The interactions among the components of a biological system can be given a logical representation that is useful for reasoning about them. One of the relevant problems that may be raised in this context is finding what would explain a given behaviour of some component; in other terms, generating hypotheses that, when added to the logical theory modelling the system, imply that behaviour. Temporal aspects have to be taken into account, in order to model the causality relationship that may link the behaviour of a given component to that of another one. This paper presents a hypothesis generation method for linear temporal logic theories whose formulae have a restricted syntactic form, which is however sufficient to model cellular and molecular interactions, as they are often represented by biologists. The method exploits the duality between hypothesis generation and consequence finding, and can therefore be also used to infer the consequences of a given fact. It is based on a resolution system proposed by Cavalli and Fariñas del Cerro in 1984.

Dates and versions

hal-01764395 , version 1 (11-04-2018)



Serenella Cerrito, Marta Cialdea Mayer, Robert Demolombe. Temporal abductive reasoning about biochemical reactions. Journal of Applied Non-Classical Logics, 2017, 27 (3-4), pp.269--291. ⟨10.1080/11663081.2018.1427986⟩. ⟨hal-01764395⟩
102 View
0 Download



Gmail Facebook X LinkedIn More