论文信息 - RCA-Based Detection Methods for Resolution Refutation

RCA-Based Detection Methods for Resolution Refutation

In molecular resolution refutation, the detection of empty clauses is important. We propose a rolling circle amplification-based detection method for resolution refutation. The rolling circle amplification (RCA) technique is known to be able to distinguish and amplify circular DNA. In this paper, we describe the representation of clauses and the RCA-based detection method. Bio-lab experiments show the basic idea for this method is correct.

Byoung-Tak Zhang | In-Hee Lee | Ji-Yoon Park | Young-Gyu Chai

[1] Byoung-Tak Zhang,et al. DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic , 2002, DNA.

[2] In-Hee Lee,et al. Evolutionary sequence generation for reliable DNA computing , 2002, Proceedings of the 2002 Congress on Evolutionary Computation. CEC'02 (Cat. No.02TH8600).

[3] S. G. Rogers,et al. Exonuclease III of Escherichia coli K-12, an AP endonuclease. , 1980, Methods in enzymology.

[4] Piotr Wasiewicz,et al. The Inference Based on Molecular Computing , 2000, Cybern. Syst..

[5] M. Frank-Kamenetskii,et al. Rolling-circle amplification under topological constraints. , 2002, Nucleic acids research.

[6] F. Dean,et al. Rapid amplification of plasmid and phage DNA using Phi 29 DNA polymerase and multiply-primed rolling circle amplification. , 2001, Genome research.

[7] Satoshi Kobayashi,et al. Horn Clause Computation by Self-assembly of DNA Molecules , 2001, DNA.

[8] S. Henikoff. Unidirectional digestion with exonuclease III creates targeted breakpoints for DNA sequencing. , 1984, Gene.

[9] Samuel R. Buss,et al. Resolution and the Weak Pigeonhole Principle , 1997, CSL.