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 条
  • [1] Disjoint Fibring of Non-deterministic Matrices
    Marcelino, Sergio
    Caleiro, Carlos
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS, 2017, 10388 : 242 - 255
  • [2] Monadicity of Non-deterministic Logical Matrices is Undecidable
    Filipe, Pedro
    Caleiro, Carlos
    Marcelino, Sergio
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (358): : 55 - 67
  • [3] NON-DETERMINISTIC FUNCTIONS AS NON-DETERMINISTIC PROCESSES
    Paulus, Joseph W. N.
    Nantes-Sobrinho, Daniele
    Perez, Jorge A.
    LOGICAL METHODS IN COMPUTER SCIENCE, 2023, 19 (04) : 1 - 1
  • [4] Non-deterministic Matrices in Action: Expansions, Refinements, and Rexpansions
    Avron, Arnon
    Zohar, Yoni
    2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017), 2017, : 118 - 123
  • [5] Informational Semantics, Non-Deterministic Matrices and Feasible Deduction
    D'Agostino, Marcello
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2014, 305 (35-52) : 35 - 52
  • [6] Non-deterministic Matrices for Semi-canonical Deduction Systems
    Lahav, Ori
    2012 42ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL), 2012, : 79 - 84
  • [7] Generalized non-deterministic matrices and (n,k)-ary quantifiers
    Avron, Arnon
    Zamansky, Anna
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4514 : 26 - +
  • [8] Deterministic and non-deterministic stable models
    Sacca, D
    Zaniolo, C
    JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (05) : 555 - 579
  • [9] NON-DETERMINISTIC FORTRAN
    COHEN, J
    CARTON, E
    COMPUTER JOURNAL, 1974, 17 (01): : 44 - 51
  • [10] Non-deterministic processors
    May, D
    Muller, HL
    Smart, NP
    INFORMATION SECURITY AND PRIVACY, PROCEEDINGS, 2001, 2119 : 115 - 129
12345