국문 초록

본 논문의 목적은 인공지능(Artificial Intelligence)이 개별 논증에 대한 타당성을 검토할 수 있는 알고리즘을 제안하는 것이다. 우리는 인간이 논리적이지 않다는 것을 납득할 수 있지만, AI가 논리적이지 않다는 것은 납득하기 어렵다. 따라서 본 논문에서는 논리적인 AI를 제작하기 위해 다음과 같은 제안을 할 것이다. 첫째, 프로그램 R을 통해 AI가 개별 논증의 타당성을 검토할 수 있는 알고리즘을 제안할 것이다. 프로그램 R를 선택한 것은 이 언어가 본질적으로 함수형 프로그램밍(functional programming)이라는 특성을 가지고 있기 때문이다. 따라서 프로그램 R은 특정 자료 입력에 항상 동일한 결과를 양산한다. 즉, ‘참조 투명성(referential transparency)’을 갖으며, 그 결과 '부수효과(side effect)'가 발생하지 않는다. 둘째, 우리는 명제 논리를 JSON 형식으로 변환하여, AI가 특정 논리식이 구성하고 있는 요소들이 무엇이고, 어떤 특징을 가지고 있으며, 특정 기호가 무엇을 의미하는지를 알 수 있게 제안할 것이다. JSON 형식은 사람이 읽고 쓰기 쉬우며, 동시에 기계도 분석하고 생성하기 쉽다. 또한, 이 포맷으로 바꾸는 명제 논리식은 다른 프로그래밍 언어에서도 사용가능하다. 그 결과 명제 논리식을 JSON 형식으로 바꾸는 방법론은 명제 논리를 AI가 다루기 위해 좋은 방법론이다.

주제어: 인공지능, 프로그램 R, 알고리즘, 논리적 논증 타당성, JSON format for Logic

목차

1. 서론

2. 다양한 관련 연구와 프로그램 언어 R의 작동 방법 및 논증 처리 과정

3. 왜 프로그램 R을 이용하는 알고리즘을 제안하는가?

4. AI에게 입력하기 쉬운 논리 형식: JSON format for Logic

5. 일반 논리식을 “JSON format for Logic”으로 변환하는 알고리즘

6. 결론