The propositional normal default logic and the finite/infinite injury priority method

doi:10.1007/s11432-016-0551-5

	The propositional normal default logic and the finite/infinite injury priority method
	Li, Wei 1; Sui, Yuefei 2; Wang, Yuhui 2,3
	2017-09-01
发表期刊	SCIENCE CHINA-INFORMATION SCIENCES
ISSN	1674-733X
卷号	60 期号:9 页码:10
摘要	In propositional normal default logic, given a default theory (Delta, D) and a well-defined ordering of D, there is a method to construct an extension of (Delta, D) without any injury. To construct a strong extension of (Delta, D) given a well-defined ordering of D, there may be finite injuries for a default delta is an element of D. With approximation deduction proves(s) in propositional logic, we will show that to construct an extension of (Delta, D) under a given well defined ordering of D, there may be infinite injuries for some default delta is an element of D.
关键词	default extension strong extension finite/infinite injury priority method recursively enumerable sets
DOI	10.1007/s11432-016-0551-5
收录类别	SCI
语种	英语
资助项目	State Key Laboratory of Software Development Environment, Beihang University[SKLSDE-2010KF-06] ; National Basic Research Program of China (973 Program)[2005CB321901]
WOS研究方向	Computer Science
WOS类目	Computer Science, Information Systems
WOS记录号	WOS:000412062100005
出版者	SCIENCE PRESS
引用统计	被引频次：1[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/6818
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Wang, Yuhui
作者单位	1.Beihang Univ, State Key Lab Software Dev Environm, Beijing 100191, Peoples R China 2.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100190, Peoples R China 3.Univ Chinese Acad Sci, Sch Comp & Control Engn, Beijing 100049, Peoples R China
推荐引用方式 GB/T 7714	Li, Wei,Sui, Yuefei,Wang, Yuhui. The propositional normal default logic and the finite/infinite injury priority method[J]. SCIENCE CHINA-INFORMATION SCIENCES,2017,60(9):10.
APA	Li, Wei,Sui, Yuefei,&Wang, Yuhui.(2017).The propositional normal default logic and the finite/infinite injury priority method.SCIENCE CHINA-INFORMATION SCIENCES,60(9),10.
MLA	Li, Wei,et al."The propositional normal default logic and the finite/infinite injury priority method".SCIENCE CHINA-INFORMATION SCIENCES 60.9(2017):10.