• 국제교류와 융합교육
• /
• 제1권1호
• /
• pp.61-79
• /
• 2021

본 연구는 한국형 인공지능 변호사를 구현하기 위하여, 법리를 어떻게 구조화 할 수 있는지 살펴본 후, 구조화된 법리를 술어논리로 어떻게 표현할 수 있는지에 관하여 구체적인 예를 들어 보았다. 선행연구에서 인공지능 변호사의 추론엔진을 위해서 술어논리를 도입하는 방안을 제시하였다면, 본 연구에서는 법리의 구조적 외형을 토대로 술어논리로 법리를 표현하는 방식에 관하여 초점을 맞추었다. 법리를 조문과 판례의 내용으로 한정하고, '법률사실-법률요건-법률효과'로 이어지는 수직적 계층과 '법률효과-항변-재항변'으로 이어지는 수평적 계층을 살펴보았다. 또한 법률사실을 분류하고 법률사실의 대부분이 통상 일항술어 내지 이항술어로 표현될 수 있음을 설명하였다. 사건, 상대방 없는 단독행위, 법적 지위를 나타내기 위해 일항술어를 사용하였고, 관념적 용태, 위법행위, 의사적 용태, 상대방 있는 단독행위, 계약, 동시이행관계를 나타내기 위해 이항술어를 사용하였다. 대여금채권에 관한 요건사실과 항변을 술어논리로 표현해 보았으며, 전통적인 주제인 법정지상권에 관하여 관습상 법정지상권과 저당권 실행에 따른 법정지상권으로 나누어 관련 법리를 표현하였다. 향후 연구에서 술어논리로 표현된 법리를 프로그래밍해보고 인공지능 변호사를 위한 추론엔진을 현실화할 계획에 있다.

• BMB Reports
• /
• 제29권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.