Distance-based non-deterministic semantics for reasoning with uncertainty

被引：6
|
作者：
Arieli, Ofer [1 ]
Zamansky, Anna [2 ]
机构：
[1] Acad Coll Tel Aviv, Dept Comp Sci, Tel Aviv, Israel
[2] Tel Aviv Univ, Dept Comp Sci, Tel Aviv, Israel
来源：
LOGIC JOURNAL OF THE IGPL | 2009年 / 17卷 / 04期
关键词：
LOGICS; INFORMATION;
D O I：
10.1093/jigpal/jzp014
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We investigate the basic properties of the distance-preferential non-deterministic logics, consider their application for reasoning with incomplete and inconsistent information, and show the correspondence between some particular entailments in our framework and well-known problems like max-SAT.
引用
收藏
页码：325 / 350
页数：26
相关论文
共 50 条
  • [31] Phenomenon of Uncertainty in the Process of Holistic Anticipation of Non-deterministic Reality
    Magruk, Andrzej
    7TH INTERNATIONAL CONFERENCE ON ENGINEERING, PROJECT, AND PRODUCTION MANAGEMENT, 2017, 182 : 434 - 442
  • [32] The non-deterministic Mostowski hierarchy and distance-parity automataa
    Colcombet, Thomas
    Loeding, Christof
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2, PROCEEDINGS, 2008, 5126 : 398 - +
  • [33] Non-deterministic matrices
    Avron, A
    Lev, I
    34TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2004, : 282 - 287
  • [34] Deterministic and non-deterministic stable models
    Sacca, D
    Zaniolo, C
    JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (05) : 555 - 579
  • [35] NON-DETERMINISTIC FORTRAN
    COHEN, J
    CARTON, E
    COMPUTER JOURNAL, 1974, 17 (01): : 44 - 51
  • [36] Non-deterministic processors
    May, D
    Muller, HL
    Smart, NP
    INFORMATION SECURITY AND PRIVACY, PROCEEDINGS, 2001, 2119 : 115 - 129
  • [37] On Non-Deterministic Quantification
    Ferguson, Thomas Macaulay
    LOGICA UNIVERSALIS, 2014, 8 (02) : 165 - 191
  • [38] NON-DETERMINISTIC ALGORITHMS
    COHEN, J
    COMPUTING SURVEYS, 1979, 11 (02) : 79 - 94
  • [39] Modal Logic With Non-Deterministic Semantics: Part II-Quantified Case
    Coniglio, Marcelo E.
    Farinasdelcerro, Luis
    Peron, Newton Marques
    LOGIC JOURNAL OF THE IGPL, 2022, 30 (05) : 695 - 727
  • [40] Modal logic with non-deterministic semantics: Part I-Propositional case
    Coniglio, Marcelo E.
    Luis, Farinas Del Cerro
    Newton, Marques Peron
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (03) : 281 - 315
12345