QQ客服 官方微博 反馈留言

	Restricted Four-Valued Logic for Default Reasoning
	Chen, Chen ; Lin, Zuoquan
	2015
英文摘要	In Reiter's default logic, it is possible that no useful information can be brought from inconsistent knowledge or no extension of incoherent default theories exists. In this paper, based on Belnap's four-valued logic, we propose a new variant of default logic called the restricted four-valued default logic to tolerate inconsistency and incoherency of knowledge in default reasoning. Our proposal can maintain both the expressive power of full default logic and the ability of default reasoning. Moreover, we present a transformation-based approach to compute the restricted four-valued extensions.; EI; CPCI-S(ISTP); skydark2@gmail.com; linzuoquan@pku.edu.cn; 40-52; 9403
语种	英语
出处	EI ; SCI
出版者	KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2015
内容类型	其他
源URL	[http://hdl.handle.net/20.500.11897/436882]
专题	数学科学学院
推荐引用方式 GB/T 7714	Chen, Chen,Lin, Zuoquan. Restricted Four-Valued Logic for Default Reasoning. 2015-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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