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 条
  • [21] AlphaZero for a Non-deterministic Game
    Hsueh, Chu-Hsuan
    Wu, I-Chen
    Chen, Jr-Chang
    Hsu, Tsan-sheng
    2018 CONFERENCE ON TECHNOLOGIES AND APPLICATIONS OF ARTIFICIAL INTELLIGENCE (TAAI), 2018, : 116 - 121
  • [22] Non-deterministic inductive definitions
    Benno van den Berg
    Archive for Mathematical Logic, 2013, 52 : 113 - 135
  • [23] Width of Non-Deterministic Automata
    Kuperberg, Denis
    Majumdar, Anirban
    35TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2018), 2018, 96
  • [24] On non-deterministic supervisory control
    Fabian, M
    Lennartson, B
    PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 2213 - 2218
  • [25] Fuzzy and non-deterministic automata
    J. Močkoř
    Soft Computing, 1999, 3 (4) : 221 - 226
  • [26] Preference and Non-deterministic Choice
    Stoddart, Bill
    Zeyda, Frank
    Dunne, Steve
    THEORETICAL ASPECTS OF COMPUTING, 2010, 6255 : 137 - +
  • [27] Non-deterministic structures of computation
    Fu, Yuxi
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2015, 25 (06) : 1295 - 1338
  • [28] Squeeziness for non-deterministic systems
    Ibias, Alfredo
    Nunez, Manuel
    INFORMATION AND SOFTWARE TECHNOLOGY, 2023, 158
  • [29] NON-DETERMINISTIC KLEENE COALGEBRAS
    Silva, Alexandra
    Bonsangue, Marcello
    Rutten, Jan
    LOGICAL METHODS IN COMPUTER SCIENCE, 2010, 6 (03) : 1 - 39
  • [30] Non-deterministic social laws
    Coen, MH
    SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, : 15 - 21
12345