Journal of Applied Non-Classical Logics 27 (3-4):269-291 (2017)

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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2017, 2018
DOI 10.1080/11663081.2018.1427986
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,827
Through your library

References found in this work BETA

Propositional Abduction in Modal Logic.Marta Cialdea Mayer & Fiora Pirri - 1995 - Logic Journal of the IGPL 3 (6):907-919.
Linear Resolution for Consequence Finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Did He Jump or Was He Pushed?: Abductive Practical Reasoning.Katie Atkinson - 2009 - Artificial Intelligence and Law 17 (2):79-99.
Abduction is Not Deduction-in-Reverse.Marta Cialdea Mayer & Fiora Pirri - 1996 - Logic Journal of the IGPL 4 (1):95-108.
Abductive Reasoning.Douglas Walton - 2004 - University Alabama Press.
Diagrams, Iconicity, and Abductive Discovery.Sami Paavola - 2011 - Semiotica 2011 (186):297-314.
Abductive Reasoning Over Temporal Specifications of Objects.Paula Gouveia & Cristina Sernadas - 2000 - In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2. CSLI Publications. pp. 293-318.
Structural Rules for Abduction.Ilka Niiniluoto - 2009 - Theoria : An International Journal for Theory, History and Fundations of Science 22 (3):325-329.
Visual Abductive Reasoning in Archaeology.Cameron Shelley - 1996 - Philosophy of Science 63 (2):278-301.


Added to PP index

Total views
11 ( #810,132 of 2,432,717 )

Recent downloads (6 months)
1 ( #464,418 of 2,432,717 )

How can I increase my downloads?


My notes