Natural Language Information Processing Based on the Valid Traditional Syllogisms EIO-4
Feifei Yang, Xiaojun Zhang · SCIREA Journal of Information Science and Systems Science · 2019
Firstly this paper proves the validity of traditional syllogism EIO-4, and then makes full use of relevant definitions, facts, and some inference rules. On the basis of 34 reasoning steps, the other 23 syllogisms can be inferred from the syllogism EIO-4. This is because Aristotelian quantifiers (that is, all, no, some, and not all) can be mutually defined. Thus, a minimalist formal axiomatic system can easily be constructed for traditional syllogistic logic. This formal research method is not only beneficial for the study of other types of syllogisms, but also for better knowledge mining and thus for better understanding of natural language.