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 条
  • [41] FOUR NON-DETERMINISTIC PROGRAMMING EXERCISES
    Woeginger, Gerhard J.
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2008, (94): : 207 - 211
  • [42] TRANSIENT SOLUTION OF NON-DETERMINISTIC SYSTEMS
    PADOVAN, J
    ZEID, I
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1979, 308 (05): : 497 - 511
  • [43] Boosting over non-deterministic ZDDs
    Fujita, Takahiro
    Hatano, Kohei
    Takimoto, Eiji
    THEORETICAL COMPUTER SCIENCE, 2020, 806 : 81 - 89
  • [44] Non-Deterministic Planning with Numeric Uncertainty
    Marinescu, Liana
    Coles, Andrew
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1694 - 1695
  • [45] Non-Deterministic Planning with Conditional Effects
    Muise, Christian
    McIlraith, Sheila A.
    Belle, Vaishak
    TWENTY-FOURTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING, 2014, : 370 - 374
  • [46] Non-deterministic Conditionals and Transparent Truth
    Federico Pailos
    Lucas Rosenblatt
    Studia Logica, 2015, 103 : 579 - 598
  • [47] A Non-Deterministic Multiset Query Language
    Zielinski, Bartosz
    FUNDAMENTA INFORMATICAE, 2021, 184 (02) : 141 - 180
  • [48] Monotonicity of non-deterministic graph searching
    Mazoit, Frederic
    Nisse, Nicolas
    THEORETICAL COMPUTER SCIENCE, 2008, 399 (03) : 169 - 178
  • [49] Evaluating Non-Deterministic Retrieval Systems
    Jayasinghe, Gaya K.
    Webber, William
    Sanderson, Mark
    Dharmasena, Lasitha S.
    Culpepper, J. Shane
    SIGIR'14: PROCEEDINGS OF THE 37TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL, 2014, : 911 - 914
  • [50] Non-deterministic Effects in a Realizability Model
    Voorneveld, Niels F. W.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 336 : 299 - 314
12345