| Modern logic started at the end of the 19th century and at the beginning of the 20th century. Its main characteristic is to erect formal language on the basis of which will be erected the logic-calculus system. It is just because of its such characteristics that the highly mathematicalized study on logic in the 20th century was positively promoted, the depth and width of the study on logic was greatly strengthened. Its such characteristics also erect an important influence on the whole modern science such as mathematics, philosophy, linguistics and computer science. Especially its important role in the field of computer science and artificial intelligence was given a particular attention by the researcher of information science and logic science. Besides, it gradually becomes one of the main impetuses to drive the development of logic in the 21st century, thus describing another physiognomy of logic in this century.Predicate logic of first order is the most classical calculation system in modern logic. This logic calculation system can use the formalized methods to describe the characteristics of cognitive processes, and use these methods to conduct knowledge representation and inference and to develop new types of software. Therefore predicate logic of first order possesses an applied prospect for the development of artificial intelligence. The aim of this paper is to disclose the superiority and limitation of its application in the field of artificial intelligence, thus expecting logic researchers to make necessary cognitive turns and make new breakthroughs in its application in the field of artificial intelligence and develop a new prospect for its application.This paper is divided into 6 parts. The first part is the preface. In this part,the author briefly introduces the birth of artificial intelligence, The origin of logic and the status quo of the research of logic in the application field of the artificial intelligence, thus making the reader firstly have an elementary knowledge and understanding of the combination between logic and artificial intelligence.The second part is the first chapter. In this chapter, the author mainly introduces the composition of the predicate logic of first order system and the related definitions and explanations involved in it. Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate. It is the oldest, the most direct and complete theoretical basis on which is created and developed the science of artificial intelligence. So if we grasp the composition of the predicate logic of first order system, We can conveniently understand the theory and process of its application in artificial intelligence.In the third part, namely the second chapter, the author introduces an important application of the predicate logic of first order in the field of artificial intelligence, that is, its application in the knowledge representation. The author firstly introduces the requirements of artificial intelligence for knowledge representation in the aspects of its representation ability, its easy utility and its convenience in making maintenance of logic. Then, the author specifically introduces the representative methods of the predicate to the logic of first order towards the factive knowledge and regulative knowledge in the field of artificial intelligence in the productive system. Each process of knowledge representation is explained with examples.The fourth part, namely the third chapter, is the central part of the whole thesis. In this chapter, the author introduces an important application of the predicate logic of first order in the field of artificial intelligence-the applicationof the aspects of knowledge inference. At present, there are many artificial intelligence systems, such as the "planning system for realizing the movement of robots" designed by Fikes in 1971, the "the system for enabling the robots to play chess" designed by Filman in 1976 and some works that can help people to make computer carry out... |
PDF Full Text Request