Exceptions with Priorities by Ethical Values for Logic Programming in Natural Language

We developed a system that can perform predicate logic operations similar to PROLOG based on natural language. We then made it possible to express and reason about "strong negation" (taboo expressions) that is morally or scientifically forbidden. This is different from weak negation, i.e., the impossibility of proving in the closed world of PROLOG, and was very useful for describing ethical taboo knowledge that constitutes big data, but it did not support exceptions to taboos or taboos of those exceptions. In this paper, we propose a knowledge representation method that can simply describe the priority switching and logical integration of the "strong negation" (level 1), affirmation as the "stronger" exception (level 2), and negation as the much "stronger" exception(level 3) of that exception (level 2), etc., with priority. We implemented the improved system that can be interpreted and inferred by a computer, and proved its practical use through simple experiments.