The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence

Using formal language of first-order predicate logic, this paper discusses the formal description of natural languages, formal description of mathematic knowledge, and representation of intelligence in artificial intelligence. It also summarizes the procedures of representing concrete knowledge with the formal language of first-order predicates, and the limitations of this knowledge-representing method and some problems for further study.