PARALLEL INFERENCE ON LOGICAL NETWORKS

被引：0
|
作者：
VAGIN, VN
机构：
来源：
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY | 1992年 / 19卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Parallel inference method in models using logical networks for a knowledge representation is considered. Two types of logical network transformation operators are introduced.It is proved a correctness of these operators introducing.It is also proved a completeness of the inference method on logical networks. Several types of parallelism arising in the process of a deductive inference are given and analyzed.
引用
收藏
页码：305 / 310
页数：6
相关论文
共 50 条
  • [21] INTRODUCTION TO DIAGNOSIS BY LOGICAL INFERENCE
    EMERSON, PA
    JOURNAL OF THE ROYAL COLLEGE OF PHYSICIANS OF LONDON, 1979, 13 (04): : 193 - 194
  • [22] LOGICAL INFERENCE AND POLYHEDRAL PROJECTION
    HOOKER, JN
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 184 - 200
  • [23] Colligation or the logical inference of interconnection
    Franksen, OI
    Falster, P
    MATHEMATICS AND COMPUTERS IN SIMULATION, 2000, 52 (01) : 1 - 9
  • [24] Optimization methods for logical inference
    Wilson, JM
    JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 2000, 51 (02) : 246 - 246
  • [25] LOGICAL INFERENCE BASED ON DNA
    Blasiak, Janusz
    Krasinski, Tadeusz
    Rogowski, Lukasz
    Sakowski, Sebastian
    Poplawski, Tomasz
    POSTEPY BIOLOGII KOMORKI, 2013, 40 (04) : 645 - 658
  • [26] Inference systems for logical algorithms
    Shankar, N
    FSTTCS 2005: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2005, 3821 : 60 - 78
  • [27] Logical inference for inverse problems
    Rus, G.
    Chiachio, J.
    Chiachio, M.
    INVERSE PROBLEMS IN SCIENCE AND ENGINEERING, 2016, 24 (03) : 448 - 464
  • [28] LOGICAL INFERENCE AND INTERPRETATION OF CONDITIONALS
    COPE, D
    BULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1977, 30 (MAY): : 156 - 156
  • [29] Detection of traffic anomalies in multi-service networks based on a fuzzy logical inference
    Saenko, Igor
    Ageev, Sergey
    Kotenko, Igor
    INTELLIGENT DISTRIBUTED COMPUTING X, 2017, 678 : 79 - 88
  • [30] Redefining logical constants as inference markers
    Jose Frapolli, Maria
    Assimakopoulos, Stavros
    LINGUISTIC REVIEW, 2012, 29 (04): : 625 - 641
12345