Modeling of First-Order Predicate Expression by Using Predicate/Transition System
Jijun Zhang · Jisuanji fangzhen · 2007
This paper studies the modeling of first-order predicate expression by using predicate/transion system. Based on the idea of analyze stage by stage,from coarse to minute in software engineering,the basic models of processing all kinds of logic connectives are defined. The binary tree describing first-order predicate expression is given,furthermore the method which recursively constructs ‘fact transition’ of predicate/transion system for first-order predicate expression using recursive property of binary tree is proposed. The method overcomes some shortcomings in the existent modeling method. A new idea to automatically modle first-order predicate expression is provided. In the end,the application and significance of predicate/transition system modeling of first-order in the area of predicate logic reasoning is discussed.