Logical data fusion for biological hypothesis evaluation

Stephen Racunas, Christopher Griffin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations


We use techniques from Finite Model Theory to construct a framework for hypothesis creation and ranking to aid biologists with hypothesis evaluation and experimental design. Most bioinformatics research is geared toward pattern recognition and biological database management. Our work has some-what different aims. First, we seek to determine the structure of the space of biological hypotheses that can be composed about a given system. Second, we seek to combine a wide variety of experimental data and literature sources for use in "proofreading" such hypotheses. This data fusion problem has been a major stumbling block in modeling biological pathways. Consequently, most modeling frameworks make use of only one or two types of data, typically promoter sequences and microarray data. We present a modeling framework that is contradiction based and that performs data fusion on the logical level for an arbitrary number of sources. This greatly facilitates the incorporation of new data sources as they become available. Once a new hypothesis has been constructed, data from existing experimental databases can be fused to rank the hypothesis based on corroborating and contradictory experimental evidence. We demonstrate the logical underpinnings of this process, and show how inflationary and deflationary logical extensions alter the process.

Original languageEnglish (US)
Title of host publication2005 7th International Conference on Information Fusion, FUSION
PublisherIEEE Computer Society
Number of pages8
ISBN (Print)0780392868, 9780780392861
StatePublished - 2005
Event2005 8th International Conference on Information Fusion, FUSION - Philadelphia, PA, United States
Duration: Jul 25 2005Jul 28 2005

Publication series

Name2005 7th International Conference on Information Fusion, FUSION


Conference2005 8th International Conference on Information Fusion, FUSION
Country/TerritoryUnited States
CityPhiladelphia, PA

All Science Journal Classification (ASJC) codes

  • General Engineering


Dive into the research topics of 'Logical data fusion for biological hypothesis evaluation'. Together they form a unique fingerprint.

Cite this