LOGICAL INFERENCE OF HORN CLAUSES IN PETRI-NET MODELS

被引：25
|
作者：
LIN, C
CHAUDHURY, A
WHINSTON, AB
MARINESCU, DC
机构：
[1] PURDUE UNIV,DEPT COMP SCI,W LAFAYETTE,IN 47907
[2] UNIV TEXAS,GRAD SCH BUSINESS,DEPT MANAGEMENT SCI & INFORMAT SYST,AUSTIN,TX 78712
来源：
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING | 1993年 / 5卷 / 03期
基金：
美国国家科学基金会;
关键词：
HIGH-LEVEL PETRI NETS; HORN CLAUSE; LOGICAL INFERENCE; PETRI NETS; RESOLUTION; T-INVARIANTS;
D O I：
10.1109/69.224194
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Petri net models for the Horn clause form of propositional logic and of first-order predicate logic are studied. A net model for logical inconsistency check is proposed. Algorithms for computing T-invariants of Petri net models of logical inference systems are investigated. The algorithms are based on the idea of resolution and exploit the presence of one-literal, pure-literal and splitting clauses to lead to faster computation. Algorithms for computing T-invariants of high-level Petri net (HLPN) models of predicate logic are presented.
引用
收藏
页码：416 / 425
页数：10
相关论文
共 50 条
  • [1] Logical inference of clauses based on Petri net models
    Lin, C
    Chanson, ST
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1998, 13 (09) : 821 - 840
  • [2] Automatic web service composition based on logical inference of horn clauses in Petri net models
    Tang, Xianfei
    Jiang, Changjun
    Ding, Zhijun
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 1162 - +
  • [3] A Petri net approach for logical inference of clauses
    Muppala, JK
    Lin, C
    [J]. JOURNAL OF THE INSTITUTION OF ELECTRONICS AND TELECOMMUNICATION ENGINEERS, 1996, 42 (03): : 141 - 147
  • [4] Petri net models and efficient T-invariant analysis for logical inference of clauses
    Lin, C
    Chanson, ST
    Murata, T
    [J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 3174 - 3179
  • [5] ANALYSIS OF PETRI-NET PERFORMANCE MODELS
    BILLINGTON, J
    HENDERSON, B
    [J]. PERFORMANCE EVALUATION, 1993, 18 (01) : 1 - 2
  • [6] Analysis of Scenarios with Petri-Net Models
    Sarmiento, Edgar
    Sampaio do Prado Leite, Julio Cesar
    Almentero, Eduardo
    [J]. 2015 29TH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, 2015, : 90 - 99
  • [7] PROTOCOL VERIFICATION TOOL WITH EXTENDED PETRI-NET AND HORN CLAUSE
    WATANABE, T
    OHTA, T
    SATO, F
    MIZUNO, T
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1995, E78A (11) : 1458 - 1467
  • [8] A Compositional Analysis Method for Petri-Net Models
    Ding, Jie
    Chen, Xiao
    Wang, Rui
    [J]. IEEE ACCESS, 2017, 5 : 27599 - 27610
  • [9] PROVING PROPERTIES OF REAL-TIME SYSTEMS THROUGH LOGICAL SPECIFICATIONS AND PETRI-NET MODELS
    FELDER, M
    MANDRIOLI, D
    MORZENTI, A
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (02) : 127 - 141
  • [10] PETRI-NET MODELS OF FUZZY NEURAL NETWORKS
    AHSON, SI
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1995, 25 (06): : 926 - 932
12345