%0 Journal Article
%T APPLICATION OF PETRI NETS TO LOGICAL INFERENCE OF HORN CLAUSES<br>Petri网用于Horn子句的逻辑推论
%A Lin Chuang
%A <br>林闯
%J 软件学报
%D 1993
%I 
%X This paper studies Petri net models for the Horn clause form of propositional logic. Since finding the T-invariants of Petri net models of logical inference is the key step, the paper investigates the algorithms for computing such invariants. These are based on the idea of resolution, and exploit the presence of one-literal, pure -literal and splitting clauses to lead to faster computation.
%K Petri网
%K Horn子句
%K 逻辑推论
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=14F530C52220130282D17486CF53890C&yid=D418FDC97F7C2EBA&vid=E158A972A605785F&iid=E158A972A605785F&sid=9971A5E270697F23&eid=42425781F0B1C26E&journal_id=1000-9825&journal_name=软件学报&referenced_num=4&reference_num=10