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 条
  • [31] A logical algorithm for ML type inference
    McAllester, D
    REWRITING TECNIQUES AND APPLICATIONS, PROCEEDINGS, 2003, 2706 : 436 - 451
  • [32] The Logical Concept of Probability and Statistical Inference
    Weichselberger, Kurt
    Wallner, Anton
    ISIPTA 05-PROCEEDINGS OF THE FOURTH INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITIES AND THEIR APPLICATIONS, 2005, : 396 - 405
  • [33] Logical Inference Techniques for Loop Parallelization
    Oancea, Cosmin E.
    Rauchwerger, Lawrence
    ACM SIGPLAN NOTICES, 2012, 47 (06) : 509 - 520
  • [34] Aspects of a logical theory of assertion and inference
    Klev, Ansten
    THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2024, 90 (05): : 534 - 555
  • [35] LOGICAL INFERENCE ON INTERPRETED PETRI NETS
    VAGIN, VN
    ZAKHAROV, VN
    ROZENBLYUM, LY
    SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1988, 26 (03): : 98 - 105
  • [36] RESPONSE PATTERNS IN A TEST OF LOGICAL INFERENCE
    Gaier, Eugene L.
    Lee, Marilyn C.
    McQuitty, Louis L.
    EDUCATIONAL AND PSYCHOLOGICAL MEASUREMENT, 1953, 13 (04) : 550 - 567
  • [37] Introduction: The philosophy of logical consequence and inference
    Lindstrom, Sten
    Palmgren, Erik
    Westerstahl, Dag
    SYNTHESE, 2012, 187 (03) : 817 - 820
  • [38] Logical Inference by DNA Strand Algebra
    Ray, Kumar S.
    Mondal, Mandrita
    NEW MATHEMATICS AND NATURAL COMPUTATION, 2016, 12 (01) : 29 - 44
  • [39] Introduction: The philosophy of logical consequence and inference
    Sten Lindström
    Erik Palmgren
    Dag Westerståhl
    Synthese, 2012, 187 : 817 - 820
  • [40] A method of logical inference of modified conclusions
    D. A. Strabykin
    M. N. Tomchuk
    Journal of Computer and Systems Sciences International, 2008, 47 : 245 - 251
12345