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] TRANSIENT SOLUTION OF NON-DETERMINISTIC SYSTEMS
    PADOVAN, J
    ZEID, I
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1979, 308 (05): : 497 - 511
  • [42] Non-Deterministic Planning with Numeric Uncertainty
    Marinescu, Liana
    Coles, Andrew
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1694 - 1695
  • [43] FOUR NON-DETERMINISTIC PROGRAMMING EXERCISES
    Woeginger, Gerhard J.
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2008, (94): : 207 - 211
  • [44] Boosting over non-deterministic ZDDs
    Fujita, Takahiro
    Hatano, Kohei
    Takimoto, Eiji
    THEORETICAL COMPUTER SCIENCE, 2020, 806 : 81 - 89
  • [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] 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
  • [48] Monotonicity of non-deterministic graph searching
    Mazoit, Frederic
    Nisse, Nicolas
    THEORETICAL COMPUTER SCIENCE, 2008, 399 (03) : 169 - 178
  • [49] A Non-Deterministic Multiset Query Language
    Zielinski, Bartosz
    FUNDAMENTA INFORMATICAE, 2021, 184 (02) : 141 - 180
  • [50] POWER CLONES AND NON-DETERMINISTIC HYPERSUBSTITUTIONS
    Denecke, K.
    Glubudom, P.
    Koppitz, J.
    ASIAN-EUROPEAN JOURNAL OF MATHEMATICS, 2008, 1 (02) : 177 - 188
12345