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
相关论文
共 36 条
  • [1] [Anonymous], 2002, P 8 INT C PRINCIPLES
  • [2] [Anonymous], 1994, Handbook of Logic in Artificial Intelligence and Logic Programming: Nonmonotonic Reasoning and Uncertain Reasoning
  • [3] [Anonymous], P 9 INT C PRINC KNOW
  • [4] Answer sets for consistent query answering in inconsistent databases
    Arenas, M
    Bertossi, L
    Chomicki, J
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 393 - 424
  • [5] Computational methods for database repair by signed formulae
    Arieli, O
    Denecker, M
    Van Nuffelen, B
    Bruynooghe, M
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 46 (1-2) : 4 - 37
  • [6] Distance-based paraconsistent logics
    Arieli, Ofer
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2008, 48 (03) : 766 - 783
  • [7] Arieli O, 2008, LECT NOTES ARTIF INT, V5032, P36
  • [8] Reasoning with uncertainty by Nmatrix-metric semantics
    Arieli, Ofer
    Zamansky, Anna
    [J]. LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2008, 5110 : 69 - +
  • [9] Distance semantics for database repair
    Arieli, Ofer
    Denecker, Marc
    Bruynooghe, Maurice
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 50 (3-4) : 389 - 415
  • [10] Arieli Ofer., 2000, Logic Journal of the IGPL, V8, P119
1234