Design of a Computable Approximate Reasoning Logic System for AI

Kaidi Liu, Yancang Li and Rong Cui
Additional contact information
Kaidi Liu: Institute of Uncertainty Information, Hebei University of Engineering, Handan 056038, China
Yancang Li: Institute of Uncertainty Information, Hebei University of Engineering, Handan 056038, China
Rong Cui: Institute of Uncertainty Information, Hebei University of Engineering, Handan 056038, China

Mathematics, 2022, vol. 10, issue 9, 1-16

Abstract: The fuzzy logic reasoning based on the “If... then...” rule is not the inaccurate reasoning of AI against ambiguity because fuzzy reasoning is antilogical. In order to solve this problem, a redundancy theory for discriminative weight filtering containing six theorems and one M(1,2,3) model was proposed and the approximate reasoning process was shown, the system logic of AI handling ambiguity as an extension of the classical logic system was proposed. The system is a generalized dynamic logic system characterized by machine learning, which is the practical-application logic system of AI, and can effectively deal with practical problems including conflict, noise, emergencies and various unknown uncertainties. It is characterized by combining approximate reasoning and computing for specific data conversion through machine learning. Its core is data and calculations and the condition is “sufficient” high-quality training data. The innovation is that we proposed a discriminative weight filtering redundancy theory and designed a computable approximate reasoning logic system that combines approximate reasoning and calculation through machine learning to convert specific data. It is a general logic system for AI to deal with uncertainty. The study has significance in theory and practice for AI and logical reasoning research.

Keywords: mathematical logic; fuzzy reasoning of antilogic; approximate reasoning logic; machine learning; generalized dynamic logic system (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2022
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/10/9/1447/pdf (application/pdf)
https://www.mdpi.com/2227-7390/10/9/1447/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:10:y:2022:i:9:p:1447-:d:802080

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().