http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
AI를 위한 논증 타당성 확인 알고리즘 구현 - 프로그램 언어 R을 활용한 명제 논증의 타당성 입증을 중심으로
정재환 ( Chung Jaehwan ),정진규 ( Jeong Jinkyu ) 중앙대학교 인문콘텐츠연구소 2022 인공지능인문학연구 Vol.10 No.-
This proposes an overall algorithm that AI may use to check whether an individual argument is valid or invalid. We can generally convince that humans are not logical, but it is challenging to persuade people AI is not rational. To produce such an AI, we will make the following proposals in this study. First, an algorithm that allows AI to examine the validity of individual arguments through the R program. The R program was chosen because the language is inherently functional. Therefore, R program always produces the same result for particular data input. It has ‘referential transparency’, and there is no ‘side effect’. Second, we will propose converting propositional logic into JSON format so that AI can know what elements constitute a specific logical expression, what characteristics it has, and what a specific symbol means. The JSON format can be easily read and written by humans while also easy for machines to parse and generate. Also, the propositional logic expression converted to this format can be used in other programming languages. Therefore, converting propositional logic expressions into JSON format is a good methodology for AI to handle propositional logic.