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

研究成果: Conference contribution

抄録

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.

元の言語English
ホスト出版物のタイトルIFMBE Proceedings
出版者Springer Verlag
ページ205-208
ページ数4
14
エディション1
出版物ステータスPublished - 2007
イベント10th World Congress on Medical Physics and Biomedical Engineering, WC 2006 - Seoul, Korea, Republic of
継続期間: 2006 8 272006 9 1

Other

Other10th World Congress on Medical Physics and Biomedical Engineering, WC 2006
Korea, Republic of
Seoul
期間06/8/2706/9/1

Fingerprint

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

ASJC Scopus subject areas

  • Biomedical Engineering
  • Bioengineering

これを引用

Ando, R., & Takefuji, Y. (2007). Resonance restriction technique for the resolution-based retrieval of palindrome in escherichia coli genome sequence. : IFMBE Proceedings (1 版, 巻 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. 巻 14 1. 編 Springer Verlag, 2007. p. 205-208.

研究成果: Conference contribution

Ando, R & Takefuji, Y 2007, Resonance restriction technique for the resolution-based retrieval of palindrome in escherichia coli genome sequence. : IFMBE Proceedings. 1 Edn, 巻. 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

AN - SCOPUS:84958253162

VL - 14

SP - 205

EP - 208

BT - IFMBE Proceedings

PB - Springer Verlag

ER -