This paper studies the rational problem of general inductive reasoning and nonmonotonic reasoning.

General logic programming is an important knowledge representation tool, and is an area of nonmonotonic reasoning.

In this paper we try to explore the problems of the nonmonotonic reasoning and formalization used by the expert systems.