Temporal abductive reasoning about biochemical reactions
| Autor: | Serenella Cerrito, Marta Cialdea Mayer, Robert Demolombe |
|---|---|
| Přispěvatelé: | Informatique, Biologie Intégrative et Systèmes Complexes (IBISC), Université d'Évry-Val-d'Essonne (UEVE), Dipartimento di Informatica e Automazione, Università degli Studi Roma Tre, Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Cerrito, Serenella, Cialdea Mayer, Marta, Demolombe, Robert, Università degli Studi Roma Tre = Roma Tre University (ROMA TRE), Logique, Interaction, Langue et Calcul (IRIT-LILaC), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT) |
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
Theoretical computer science
Logic Computer science 010102 general mathematics Duality (mathematics) abduction [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] Context (language use) hypothesis generation 0102 computer and information sciences Resolution (logic) 01 natural sciences consequence finding Abductive reasoning [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] Linear temporal logicreasoning about biological systems Causality (physics) Philosophy Linear temporal logic 010201 computation theory & mathematics Component (UML) Linear temporal logic abduction hypothesis generation consequence finding reasoning about biological systems 0101 mathematics Link (knot theory) |
| Zdroj: | Journal of Applied Non-Classical Logics Journal of Applied Non-Classical Logics, Taylor & Francis, 2017, 27 (3-4), pp.269--291. ⟨10.1080/11663081.2018.1427986⟩ Journal of Applied Non-Classical Logics, 2017, 27 (3-4), pp.269--291. ⟨10.1080/11663081.2018.1427986⟩ |
| ISSN: | 1958-5780 1166-3081 |
| DOI: | 10.1080/11663081.2018.1427986⟩ |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|