• Journal of the International Relations & Interdisciplinary Education
• /
• v.1 no.1
• /
• pp.61-79
• /
• 2021

In order to implement an artificial intelligence lawyer, this study looked at how to structure legal principles, and then gave specific examples of how structured legal principles can be expressed in predicate logic. While previous studies suggested a method of introducing predicate logic for the reasoning engine of artificial intelligence lawyers, this study focused on the method of expressing legal principles with predicate logic based on the structural appearance of legal principles. Jurisprudence was limited to the content of articles and precedents, and the vertical hierarchy leading to 'law facts - legal requirements - legal effect' and the horizontal hierarchy leading to 'legal effect - defense - defense' were examined. In addition, legal facts were classified and explained that most of the legal facts can be usually expressed in unary or binary predicates. In future research, we plan to program the legal principle expressed in predicate logic and realize an inference engine for artificial intelligence lawyers.

• BMB Reports
• /
• v.29 no.1
• /
• pp.38-44
• /
• 1996

Taq DNA polymerase from Thermus aquaticus has been shown to be very useful in the polymerase chain reaction method, which is being used for amplifying DNA. Not only does Taq DNA polymerase have high commercial value commercial value for the polymerase chain reaction application, but it is also important in studying DNA replication, because it is apparently an homologue to E. coli DNA polymerase I, which has long been used for DNA replication study (Lawyer et ai., 1993). The crystal structure determination of Taq DNA polymerase was initiated. An X-ray diffraction pattern breaks down a crystal structure into discrete sine waves in a Fourier series. The original shape of a crystal object in terms of electron density may be represented as the sum of those sine waves with varying amplitudes and phases in three dimensions. The molecular replacement method was initially employed to provide phase information for the structure of Taq DNA polymerase. The rotation search using the program MERLOT resulted in a solution peak with 5.4 r.m.s. PC-refinement of the X-PLOR program verified the result and also optimized the orientation angles. Next, the translation search using the X-PLOR program resulted in a unique solution peak with 7.35 r.m.s. In addition, the translation search indicated $P3_121$ to be the true space group out of two possible ones. The phase information from the molecular replacement was useful in the MIR phasing experiment.