Implementation of Argument Validation Algorithms for AI

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.

Key words: Artificial Intelligence, The Program R, Algorithms, Logical Arguments Validity, JSON format for Logic