Skip to Main content Skip to Navigation
Journal articles

Temporal abductive reasoning about biochemical reactions

Abstract : 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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01764395
Contributor : Frédéric Davesne <>
Submitted on : Wednesday, April 11, 2018 - 8:21:42 PM
Last modification on : Wednesday, June 9, 2021 - 10:00:12 AM

Links full text

Identifiers

Citation

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

Share

Metrics

Record views

493