Base On Paraconsistent Logic A Study Of Artificial Intelligence

Artificial intelligence for decades has made remarkable achievements, but itsdevelopment is not very smoothly.It has encountered many problems and difficulties. Inorder to achieve true artificial intelligence and simulate human thinking, it is necessaryto make an effective reasoning which contains a lot of discordance or "meaningfulcontradiction" in the objective world.Paraconsistent logic is used to interpret and processthe objective world "meaningful contradiction " logic, artificial intelligence TheParaconsistent logic provides the basic theoretical tools.Firstly, the artical describes the role of artificial intelligence paraconsistent logictheory, illustrates the development of artificial intelligence is the main driving force topromote the logic of the study. In ancient times, argumentation has mainly promotedthe development of logic; in modern times, the most fundamental way to promote thedevelopment of logic is mathematical research activities; in contemporary, we can saythe actual needs of AI promote the dovelopment of logic. Secondly, the artical hasresearched the existence of difficulties in artificial intelligence and the solutions of logicparaconsistent logic, explains inextricably interdependent relationship between logic andartificial intelligence. In solving practical problems, people must be sure to meet a lotof incongruous situations. Then they will find some solutions to solve theseproblems.In the process, people will create new tools or theory to solve thedifferent problems. Paraconsistent Logic is one of the typical problem-solving approach.Finally,the artical enumerated many examples of artificial intelligence which based onparaconsistent logic and applied the analysis of the effectiveness of practical work.