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 条
  • [1] Parallel Logical Inference on Computer Systems
    Kutepov, V. P.
    Kumachev, M. M.
    SCIENTIFIC AND TECHNICAL INFORMATION PROCESSING, 2013, 40 (06) : 403 - 413
  • [2] AN ABSTRACT SCHEME FOR A PARALLEL LOGICAL INFERENCE MACHINE
    VAGIN, VN
    VASILYEV, MYU
    SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1989, 27 (02): : 18 - 25
  • [3] Approximate Inference in Logical Credal Networks
    Marinescu, Radu
    Qian, Haifeng
    Gray, Alexander
    Bhattacharjya, Debarun
    Barahona, Francisco
    Gao, Tian
    Riegel, Ryan
    PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 5694 - 5701
  • [4] REALIZATION OF PARALLEL ALGORITHMS OF LOGICAL INFERENCE ON A VLSI ARRAY ARCHITECTURE
    GORDIYENKO, YK
    ZAKHAROV, VN
    MIRONOV, AY
    SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1987, 25 (04): : 1 - 41
  • [5] 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
  • [6] PARALLEL INFERENCE SEARCH IN LOGICAL CALCULUS BASED ON THE ALGEBRAIC PROGRAMMING SYSTEM
    Letichevsky, A. A.
    German, V. N.
    Morokhovets, M. K.
    Shchogoleva, N. N.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2010, 46 (04) : 669 - 678
  • [7] MATHEMATICAL INFERENCE AND LOGICAL INFERENCE
    Hamami, Yacin
    REVIEW OF SYMBOLIC LOGIC, 2018, 11 (04): : 665 - 704
  • [8] On Logical Inference over Brains, Behaviour, and Artificial Neural Networks
    Guest O.
    Martin A.E.
    Computational Brain & Behavior, 2023, 6 (2) : 213 - 227
  • [9] Logical model and parallel querying in online social networks
    Li, Wei-Gang
    Zheng, Jian-Ya
    Complex Systems and Complexity Science, 2013, 10 (02) : 77 - 87
  • [10] The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages
    Maua, Denis D.
    de Campos, Cassio P.
    Cozman, Fabio G.
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 889 - 895
12345