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 条
12345