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 条
  • [1] Distance-Based Non-Deterministic Semantics
    Arieli, Ofer
    Zamansky, Anna
    ARTIFICIAL GENERAL INTELLIGENCE 2008, 2008, 171 : 39 - +
  • [2] A framework for reasoning under uncertainty based on non-deterministic distance semantics
    Arieli, Ofer
    Zamansky, Anna
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2011, 52 (02) : 184 - 211
  • [3] Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data
    Arieli, Ofer
    Zamansky, Anna
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2009, 5590 : 793 - +
  • [4] Non-Deterministic Semantics for Quantum States
    Jorge, Juan Pablo
    Holik, Federico
    ENTROPY, 2020, 22 (02)
  • [5] A non-deterministic semantics for tractable inference
    Crawford, JM
    Etherington, DW
    FIFTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-98) AND TENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICAL INTELLIGENCE (IAAI-98) - PROCEEDINGS, 1998, : 286 - 291
  • [6] Untruth, falsity and non-deterministic semantics
    Omori, Hitoshi
    Skurt, Daniel
    2021 IEEE 51ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2021), 2021, : 74 - 80
  • [7] Non-deterministic Semantics in Polynomial Format
    Carnielli, Walter
    Matulovic, Mariana
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2014, 305 (19-34) : 19 - 34
  • [8] Analytic Tableaux for Non-deterministic Semantics
    Graetz, Lukas
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 38 - 55
  • [9] Semantics of non-deterministic possibility computation
    Wu, Hengyang
    Chen, Yixiang
    FUZZY SETS AND SYSTEMS, 2012, 199 : 47 - 63
  • [10] Non-Deterministic Planning with Numeric Uncertainty
    Marinescu, Liana
    Coles, Andrew
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1694 - 1695
12345