Resonance restriction technique for the resolution-based retrieval of palindrome in escherichia coli genome sequence

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

Abstract

In this paper we propose a novel biological reasoning technique to find genetic palindrome using the resolution- based ATP (automated theorem proving) computing strategy. To retrieve the palindromic sequence, we apply automated deduction software with some resolution strategies to increase program performance. While the conventional reasoning or logic programming oriented method is basically top-down process, our method is bottom-up, resolution-based and also enhanced by direction and restriction reasoning strategies. Proposal method is divided into two steps. First, each element of sequence is represented as one state clause. Second, biological reasoning program resolve these states to retrieve palindrome motif from genetic sequence. Besides, to make this resolution process faster, we apply a reasoning strategy called resonance restriction. This resolution strategy blocks the biological reasoning by avoiding expression that do not mach the patterns set by researchers. This pattern is called “resonator” which is expressed by symbol patterns in automated reasoning. In our model, researcher assigns resonators to the gap between repeated regions which prevent his program from redundant search related non-symmetric parts of genetic sequence. Resonators restrict discovery process by discarding clauses generated around the gap between palindromic motifs, which enhance sharply the performance of reasoning program. In experiment, we translate whole genome sequence of Escherichia coli into clausal representation. Numerical results are presented about the retrieval of palindrome in Escherichia coli to valid the effectiveness of proposal technique. We validate that resonance restriction makes reasoning process faster with experimental output of generated clauses, CPU time.

Original languageEnglish
Title of host publicationIFMBE Proceedings
PublisherSpringer Verlag
Pages205-208
Number of pages4
Volume14
Edition1
Publication statusPublished - 2007
Event10th World Congress on Medical Physics and Biomedical Engineering, WC 2006 - Seoul, Korea, Republic of
Duration: 2006 Aug 272006 Sep 1

Other

Other10th World Congress on Medical Physics and Biomedical Engineering, WC 2006
CountryKorea, Republic of
CitySeoul
Period06/8/2706/9/1

Fingerprint

Escherichia coli
Resonators
Genes
Theorem proving
Logic programming
Mach number
Program processors
Experiments
Direction compound

Keywords

  • Biological reasoning
  • Escherichia coli genome sequence
  • Finding palindrome
  • Resolution-based retrieval
  • Resonance-restriction strategy

ASJC Scopus subject areas

  • Biomedical Engineering
  • Bioengineering

Cite this

Ando, R., & Takefuji, Y. (2007). Resonance restriction technique for the resolution-based retrieval of palindrome in escherichia coli genome sequence. In IFMBE Proceedings (1 ed., Vol. 14, pp. 205-208). Springer Verlag.

Resonance restriction technique for the resolution-based retrieval of palindrome in escherichia coli genome sequence. / Ando, Ruo; Takefuji, Yoshiyasu.

IFMBE Proceedings. Vol. 14 1. ed. Springer Verlag, 2007. p. 205-208.

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

Ando, R & Takefuji, Y 2007, Resonance restriction technique for the resolution-based retrieval of palindrome in escherichia coli genome sequence. in IFMBE Proceedings. 1 edn, vol. 14, Springer Verlag, pp. 205-208, 10th World Congress on Medical Physics and Biomedical Engineering, WC 2006, Seoul, Korea, Republic of, 06/8/27.
@inproceedings{5e8f7f7d613c44bb9e0a1f77ac94ee63,
title = "Resonance restriction technique for the resolution-based retrieval of palindrome in escherichia coli genome sequence",
abstract = "In this paper we propose a novel biological reasoning technique to find genetic palindrome using the resolution- based ATP (automated theorem proving) computing strategy. To retrieve the palindromic sequence, we apply automated deduction software with some resolution strategies to increase program performance. While the conventional reasoning or logic programming oriented method is basically top-down process, our method is bottom-up, resolution-based and also enhanced by direction and restriction reasoning strategies. Proposal method is divided into two steps. First, each element of sequence is represented as one state clause. Second, biological reasoning program resolve these states to retrieve palindrome motif from genetic sequence. Besides, to make this resolution process faster, we apply a reasoning strategy called resonance restriction. This resolution strategy blocks the biological reasoning by avoiding expression that do not mach the patterns set by researchers. This pattern is called “resonator” which is expressed by symbol patterns in automated reasoning. In our model, researcher assigns resonators to the gap between repeated regions which prevent his program from redundant search related non-symmetric parts of genetic sequence. Resonators restrict discovery process by discarding clauses generated around the gap between palindromic motifs, which enhance sharply the performance of reasoning program. In experiment, we translate whole genome sequence of Escherichia coli into clausal representation. Numerical results are presented about the retrieval of palindrome in Escherichia coli to valid the effectiveness of proposal technique. We validate that resonance restriction makes reasoning process faster with experimental output of generated clauses, CPU time.",
keywords = "Biological reasoning, Escherichia coli genome sequence, Finding palindrome, Resolution-based retrieval, Resonance-restriction strategy",
author = "Ruo Ando and Yoshiyasu Takefuji",
year = "2007",
language = "English",
volume = "14",
pages = "205--208",
booktitle = "IFMBE Proceedings",
publisher = "Springer Verlag",
edition = "1",

}

TY - GEN

T1 - Resonance restriction technique for the resolution-based retrieval of palindrome in escherichia coli genome sequence

AU - Ando, Ruo

AU - Takefuji, Yoshiyasu

PY - 2007

Y1 - 2007

N2 - In this paper we propose a novel biological reasoning technique to find genetic palindrome using the resolution- based ATP (automated theorem proving) computing strategy. To retrieve the palindromic sequence, we apply automated deduction software with some resolution strategies to increase program performance. While the conventional reasoning or logic programming oriented method is basically top-down process, our method is bottom-up, resolution-based and also enhanced by direction and restriction reasoning strategies. Proposal method is divided into two steps. First, each element of sequence is represented as one state clause. Second, biological reasoning program resolve these states to retrieve palindrome motif from genetic sequence. Besides, to make this resolution process faster, we apply a reasoning strategy called resonance restriction. This resolution strategy blocks the biological reasoning by avoiding expression that do not mach the patterns set by researchers. This pattern is called “resonator” which is expressed by symbol patterns in automated reasoning. In our model, researcher assigns resonators to the gap between repeated regions which prevent his program from redundant search related non-symmetric parts of genetic sequence. Resonators restrict discovery process by discarding clauses generated around the gap between palindromic motifs, which enhance sharply the performance of reasoning program. In experiment, we translate whole genome sequence of Escherichia coli into clausal representation. Numerical results are presented about the retrieval of palindrome in Escherichia coli to valid the effectiveness of proposal technique. We validate that resonance restriction makes reasoning process faster with experimental output of generated clauses, CPU time.

AB - In this paper we propose a novel biological reasoning technique to find genetic palindrome using the resolution- based ATP (automated theorem proving) computing strategy. To retrieve the palindromic sequence, we apply automated deduction software with some resolution strategies to increase program performance. While the conventional reasoning or logic programming oriented method is basically top-down process, our method is bottom-up, resolution-based and also enhanced by direction and restriction reasoning strategies. Proposal method is divided into two steps. First, each element of sequence is represented as one state clause. Second, biological reasoning program resolve these states to retrieve palindrome motif from genetic sequence. Besides, to make this resolution process faster, we apply a reasoning strategy called resonance restriction. This resolution strategy blocks the biological reasoning by avoiding expression that do not mach the patterns set by researchers. This pattern is called “resonator” which is expressed by symbol patterns in automated reasoning. In our model, researcher assigns resonators to the gap between repeated regions which prevent his program from redundant search related non-symmetric parts of genetic sequence. Resonators restrict discovery process by discarding clauses generated around the gap between palindromic motifs, which enhance sharply the performance of reasoning program. In experiment, we translate whole genome sequence of Escherichia coli into clausal representation. Numerical results are presented about the retrieval of palindrome in Escherichia coli to valid the effectiveness of proposal technique. We validate that resonance restriction makes reasoning process faster with experimental output of generated clauses, CPU time.

KW - Biological reasoning

KW - Escherichia coli genome sequence

KW - Finding palindrome

KW - Resolution-based retrieval

KW - Resonance-restriction strategy

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

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

M3 - Conference contribution

VL - 14

SP - 205

EP - 208

BT - IFMBE Proceedings

PB - Springer Verlag

ER -