Temporal abductive reasoning about biochemical reactions - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Applied Non-Classical Logics Année : 2017

Temporal abductive reasoning about biochemical reactions

Résumé

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 et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More