Non-deterministic matrices

被引：9
|
作者：
Avron, A [1 ]
Lev, I [1 ]
机构：
[1] Tel Aviv Univ, Sch Comp Sci, IL-69978 Tel Aviv, Israel
来源：
34TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS | 2004年
关键词：
D O I：
10.1109/ISMVL.2004.1319955
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The ordinary concept of a multiple-valued matrix is generalized by introducing non-deterministic matrices (Nmatrices), in which non-deterministic computations of truth-values are allowed. The induced logics are investigated, and a generalized compactness theorem that applies to all finite Nmatrices is proved. Among the applications, it is shown that some important logics for reasoning under uncertainty can be characterized by finite Nmatrices but not by finite ordinary matrices.
引用
收藏
页码：282 / 287
页数：6
相关论文
共 50 条
  • [31] NETWORKS OF NON-DETERMINISTIC AUTOMATA
    ZECH, KA
    KYBERNETIKA, 1976, 12 (02) : 86 - 102
  • [32] Non-deterministic structures of computation
    Fu, Yuxi, 1600, Cambridge University Press (29):
  • [33] Deterministic vs non-deterministic graph property testing
    Lior Gishboliner
    Asaf Shapira
    Israel Journal of Mathematics, 2014, 204 : 397 - 416
  • [34] Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications
    Shi, August
    Gyori, Alex
    Legunsen, Owolabi
    Marinov, Darko
    2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 80 - 90
  • [35] Deterministic and non-deterministic switching in chains of magnetic hysterons
    Tanasa, R.
    Stancu, A.
    JOURNAL OF PHYSICS-CONDENSED MATTER, 2011, 23 (42)
  • [36] Deterministic vs non-deterministic graph property testing
    Gishboliner, Lior
    Shapira, Asaf
    ISRAEL JOURNAL OF MATHEMATICS, 2014, 204 (01) : 397 - 416
  • [37] Efficient deterministic and non-deterministic pseudorandom number generation
    Li, Jie
    Zheng, Jianliang
    Whitlock, Paula
    MATHEMATICS AND COMPUTERS IN SIMULATION, 2018, 143 : 114 - 124
  • [38] Non-Deterministic Semantics for Quantum States
    Jorge, Juan Pablo
    Holik, Federico
    ENTROPY, 2020, 22 (02)
  • [39] Monotonicity of non-deterministic graph searching
    Mazoit, Frederic
    Nisse, Nicolas
    GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2007, 4769 : 33 - +
  • [40] NON-DETERMINISTIC SYSTEM SPECIFICATION.
    Abrial, J.R.
    Schuman, S.A.
    Instrument Maintenance Management, 1979, 70 : 34 - 50
12345