4차산업시대에서 술어논리 교과목 도입의 필요성

The Necessity of Introduction of Predicate Logic Courses in the Fourth Industrial Era

4차산업시대의 핵심 주제 중의 하나는 인공지능이고 인공지능의 주요 분야 중의 하나는 전문가시스템이다. 인공지능 변호사는 주어진 사실관계와 질문에 답을 하고 그 논거를 보여주는 전문가시스템으로 볼 수 있다. 규칙기반 시스템으로도 불리는 전문가시스템은 인간의 전문성을 모사하기 위해 지식을 표현하고 추론하여 질문에 대한 답을 할 수 있는 방법이 필요하고 인공지능 변호사는 법을 다루는 만큼 논리의 객관성과 결과의 정확성을 담보할 수 있는 도구가 필요하다. 본 연구에서는 일반적·추상적 규정을 표현할 수 있고 대전제-소전제-결론에 이르는 삼단논법을 수행할 수 있는 술어논리를 도입하여 규정과 판례에 따른 법리를 표현하고자 하였다. 또한 융합논리 기법은 술어논리 체계 내에서 제시된 답이 참임을 담보하는 수학적 도구로 활용될 수 있음을 소개하였다. 공개된 판결문의 비율이 현저히 낮은 한국의 상황에서 인공지능 변호사를 구체화하기 위해서는, 내부의 구체적인 작동방식을 알 수 없는 채로 다량의 데이터를 마냥 학습하고자 하는 딥러닝(deep learning) 방식보다 본 연구에서 제시한 술어논리 기반 추론 및 검증방식이 일면 타당할 수 있다고 생각한다.

One of the key topics of the 4th industrial age is artificial intelligence, and one of the main fields of artificial intelligence is expert systems. Artificial intelligence lawyers can be viewed as an expert system that answers the given facts and questions and shows the rationale. An expert system, also called a rule-based system, needs a way to answer questions by expressing knowledge and reasoning to mimic human expertise. You need a tool to secure it. In this study, predicate logic that can express general and abstract rules and can carry out the syllogism of ‘major premise’-‘minor premise’-‘conclusion’ was introduced to express jurisprudence according to regulations and precedents. In addition, it was introduced that the fusion logic technique can be used as a mathematical tool to guarantee that the answer presented in the predicate logic system is true. In order to materialize an artificial intelligence lawyer in a situation in Korea where the proportion of published judgments is remarkably low, this study proposes rather than the deep learning method, which tries to learn a large amount of data without knowing the specific operation method inside. I think that one predicate logic-based reasoning and verification method can be justified in one aspect.