%0 Journal Article
%T Logical Inference of Clauses in Petri Net Models Using Fixpoint<br>利用不动点求解子句逻辑推演的Petri网模型
%A LIN Chuang
%A WU Jian-ping
%A <br>林　闯
%A 吴建平
%J 软件学报
%D 1999
%I 
%X The Petri net models of the clauses for logical inference using fixpoint are studied and the four-valued logic and the conflict transition concept are introduced. The authors can construct the Petri net models of non-Horn clauses based on the models of Horn clauses. Finding the fixpoint of logical values is one of the fundamental methods for logical inference. In this paper, an algorithm for the fixpoint based on the Petri net models of values is presented, and it is more efficient than the previous ones.
%K Logical inference
%K clauses
%K Petri net
%K fixpoint
%K four-valued logic<br>逻辑推演
%K 子句
%K Petri网
%K 不动点
%K 四值逻辑.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=EF133124FECA0A64&yid=B914830F5B1D1078&vid=F3090AE9B60B7ED1&iid=E158A972A605785F&sid=3356A7630A93A219&eid=683005D16807E4FE&journal_id=1000-9825&journal_name=软件学报&referenced_num=5&reference_num=10