PARALLEL INFERENCE SEARCH IN LOGICAL CALCULUS BASED ON THE ALGEBRAIC PROGRAMMING SYSTEM

被引：0
|
作者：
Letichevsky, A. A. [1 ]
German, V. N. [1 ]
Morokhovets, M. K. [1 ]
Shchogoleva, N. N. [1 ]
机构：
[1] Natl Acad Sci Ukraine, VM Glushkov Cybernet Inst, Kiev, Ukraine
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 2010年 / 46卷 / 04期
关键词：
algebraic programming system; rewriting rules; evidence algorithm; inference search; parallel computing; cluster;
D O I：
10.1007/s10559-010-9243-9
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Software for parallel inference search in propositional calculus is described and used to obtain experimental results. The software is based on the APS algebraic programming system and SCIT-1 cluster complex.
引用
收藏
页码：669 / 678
页数：10
相关论文
共 50 条
  • [1] Parallel inference search in logical calculus based on the algebraic programming system
    A. A. Letichevsky
    V. N. German
    M. K. Morokhovets
    N. N. Shchogoleva
    Cybernetics and Systems Analysis, 2010, 46 (4) : 669 - 678
  • [2] ALGEBRAIC APPROACH TO LOGICAL INFERENCE IMPLEMENTATION
    Kulik, Boris
    Fridman, Alexander
    Zuenko, Alexander
    COMPUTING AND INFORMATICS, 2012, 31 (06) : 1295 - 1328
  • [3] PARALLEL INFERENCE ON LOGICAL NETWORKS
    VAGIN, VN
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 305 - 310
  • [4] Tools for simulation of parallel computations in a system of algebraic programming
    Matveyeva, LE
    Chugaenko, AV
    CYBERNETICS AND SYSTEMS ANALYSIS, 1999, 35 (03) : 500 - 506
  • [5] Tools for simulation of parallel computations in a system of algebraic programming
    L. E. Matveyeva
    A. V. Chugaenko
    Cybernetics and Systems Analysis, 1999, 35 : 500 - 506
  • [6] The magic of logical inference in probabilistic programming
    Gutmann, Bernd
    Thon, Ingo
    Kimmig, Angelika
    Bruynooghe, Maurice
    De Raedt, Luc
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 663 - 680
  • [7] Parallel Logical Inference on Computer Systems
    Kutepov, V. P.
    Kumachev, M. M.
    SCIENTIFIC AND TECHNICAL INFORMATION PROCESSING, 2013, 40 (06) : 403 - 413
  • [8] JAX Based Parallel Inference for Reactive Probabilistic Programming
    Baudart, Guillaume
    Mandel, Louis
    Tekin, Reyyan
    PROCEEDINGS OF THE 23RD ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2022, 2022, : 26 - 36
  • [9] Parallel language for inference engines based on logic programming
    Giandonato, Giuseppe
    Sofi, Giorgio
    CSELT Technical Reports, 1988, 16 (06): : 555 - 561
  • [10] Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey
    Morettin, Paolo
    Dos Martires, Pedro Zuidberg
    Kolb, Samuel
    Passerini, Andrea
    PROCEEDINGS OF THE THIRTIETH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2021, 2021, : 4533 - 4542
12345