中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
  2. 计算技术研究所
  3. 中国科学院计算技术研究所
  4. 中国科学院计算技术研究所期刊论文
  5. 英文
The propositional normal default logic and the finite/infinite injury priority method

文献类型：期刊论文

作者Li, Wei2; Sui, Yuefei1; Wang, Yuhui1,3
刊名SCIENCE CHINA-INFORMATION SCIENCES
出版日期2017-09-01
卷号60期号:9页码:10
关键词default extension strong extension finite/infinite injury priority method recursively enumerable sets
ISSN号1674-733X
DOI10.1007/s11432-016-0551-5
英文摘要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.
资助项目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记录号WOS:000412062100005
出版者SCIENCE PRESS
源URL[http://119.78.100.204/handle/2XEOYT63/6817]  
专题中国科学院计算技术研究所期刊论文_英文
通讯作者Wang, Yuhui
作者单位1.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100190, Peoples R China
2.Beihang Univ, State Key Lab Software Dev Environm, Beijing 100191, 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.

入库方式： OAI收割

来源：计算技术研究所

浏览0
下载0
收藏0
其他版本

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