Logical data fusion for biological hypothesis evaluation

Stephen Racunas, Christopher Griffin

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

4 Citations (Scopus)

Abstract

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
Pages1388-1395
Number of pages8
ISBN (Print)0780392868, 9780780392861
DOIs
StatePublished - Jan 1 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
Volume2

Conference

Conference2005 8th International Conference on Information Fusion, FUSION
CountryUnited States
CityPhiladelphia, PA
Period7/25/057/28/05

Fingerprint

Data fusion
Bioinformatics
Microarrays
Design of experiments
Pattern recognition

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

Racunas, S., & Griffin, C. (2005). Logical data fusion for biological hypothesis evaluation. In 2005 7th International Conference on Information Fusion, FUSION (pp. 1388-1395). [1592018] (2005 7th International Conference on Information Fusion, FUSION; Vol. 2). IEEE Computer Society. https://doi.org/10.1109/ICIF.2005.1592018
Racunas, Stephen ; Griffin, Christopher. / Logical data fusion for biological hypothesis evaluation. 2005 7th International Conference on Information Fusion, FUSION. IEEE Computer Society, 2005. pp. 1388-1395 (2005 7th International Conference on Information Fusion, FUSION).
@inproceedings{8b7b7c6f6233416997a681aa2123b833,
title = "Logical data fusion for biological hypothesis evaluation",
abstract = "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.",
author = "Stephen Racunas and Christopher Griffin",
year = "2005",
month = "1",
day = "1",
doi = "10.1109/ICIF.2005.1592018",
language = "English (US)",
isbn = "0780392868",
series = "2005 7th International Conference on Information Fusion, FUSION",
publisher = "IEEE Computer Society",
pages = "1388--1395",
booktitle = "2005 7th International Conference on Information Fusion, FUSION",
address = "United States",

}

Racunas, S & Griffin, C 2005, Logical data fusion for biological hypothesis evaluation. in 2005 7th International Conference on Information Fusion, FUSION., 1592018, 2005 7th International Conference on Information Fusion, FUSION, vol. 2, IEEE Computer Society, pp. 1388-1395, 2005 8th International Conference on Information Fusion, FUSION, Philadelphia, PA, United States, 7/25/05. https://doi.org/10.1109/ICIF.2005.1592018

Logical data fusion for biological hypothesis evaluation. / Racunas, Stephen; Griffin, Christopher.

2005 7th International Conference on Information Fusion, FUSION. IEEE Computer Society, 2005. p. 1388-1395 1592018 (2005 7th International Conference on Information Fusion, FUSION; Vol. 2).

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

TY - GEN

T1 - Logical data fusion for biological hypothesis evaluation

AU - Racunas, Stephen

AU - Griffin, Christopher

PY - 2005/1/1

Y1 - 2005/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33847120408&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33847120408&partnerID=8YFLogxK

U2 - 10.1109/ICIF.2005.1592018

DO - 10.1109/ICIF.2005.1592018

M3 - Conference contribution

AN - SCOPUS:33847120408

SN - 0780392868

SN - 9780780392861

T3 - 2005 7th International Conference on Information Fusion, FUSION

SP - 1388

EP - 1395

BT - 2005 7th International Conference on Information Fusion, FUSION

PB - IEEE Computer Society

ER -

Racunas S, Griffin C. Logical data fusion for biological hypothesis evaluation. In 2005 7th International Conference on Information Fusion, FUSION. IEEE Computer Society. 2005. p. 1388-1395. 1592018. (2005 7th International Conference on Information Fusion, FUSION). https://doi.org/10.1109/ICIF.2005.1592018