QQ客服 官方微博 反馈留言

	Computing inconsistency measurements under multi-valued semantics by partial max-SAT solvers
	Xiao, Guohui ; Lin, Zuoquan ; Ma, Yue ; Qi, Guilin
	2010
英文摘要	Measuring the inconsistency degree of a knowledge base can help us to deal with inconsistencies. Several inconsistency measures have been given under different multi-valued semantics, including 4-valued semantics, 3-valued semantics, LPm and Quasi Classical semantics. In this paper, we first carefully analyze the relationship between these inconsistency measures by showing that the inconsistency degrees under 4-valued semantics, 3-value semantics, LPm are the same, but different from the one based on Quasi Classical semantics. We then consider the computation of these inconsistency measures and show that computing inconsistency measurement under multi-valued semantics is usually intractable. To tackle this problem, we propose two novel algorithms that respectively encode the problems of computing inconsistency degrees under 4-valued semantics (3-valued semantics, LPm) and under Quasi Classical semantics into the partial Max- SAT problems. We implement these algorithms and do experiments on some benchmark data sets. The preliminary but encouraging experimental results show that our approach is efficient to handle large knowledge bases. Copyright ? 2010, Association for the Advancement of Artificial Intelligence.; EI; 0
语种	英语
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/329632]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Xiao, Guohui,Lin, Zuoquan,Ma, Yue,et al. Computing inconsistency measurements under multi-valued semantics by partial max-SAT solvers. 2010-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。