A computational framework for Karl Popper's logic of scientific discovery

doi:10.1007/s11432-017-9199-8

CORC > 计算技术研究所 > 中国科学院计算技术研究所 > 中国科学院计算技术研究所期刊论文 > 英文

	A computational framework for Karl Popper's logic of scientific discovery
	Li, Wei 1; Sui, Yuefei 2
刊名	SCIENCE CHINA-INFORMATION SCIENCES
	2018-04-01
卷号	61 期号:4 页码:10
关键词	belief revision logic of scientific discovery approximate deduction approximation algorithms feasible computation
ISSN号	1674-733X
DOI	10.1007/s11432-017-9199-8
英文摘要	Belief revision is both a philosophical and logical problem. From Popper's logic of scientific discovery, we know that revision is ubiquitous in physics and other sciences. The AGM postulates and R-calculus are approaches from logic, where the R-calculus is a Gentzen-type concrete belief revision operator. Because deduction is undecidable in first-order logic, we apply approximate deduction to derive an R-calculus that is computational and has finite injury. We further develop approximation algorithms for SAT problems to derive a feasible R-calculus based on the relation between deduction and satisfiability. In this manner, we provide a full spectrum of belief revision: from philosophical to feasible revision.
资助项目	National Basic Research Program of China (973 Program)[2005CB321901] ; Open Fund of the State Key Laboratory of Software Development Environment[SKLSDE-2010KF-06] ; Beijing University of Aeronautics and Astronautics
WOS研究方向	Computer Science ; Engineering
语种	英语
出版者	SCIENCE PRESS
WOS记录号	WOS:000425176800003
内容类型	期刊论文
源URL	[http://119.78.100.204/handle/2XEOYT63/5646]
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Sui, Yuefei
作者单位	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
推荐引用方式 GB/T 7714	Li, Wei,Sui, Yuefei. A computational framework for Karl Popper's logic of scientific discovery[J]. SCIENCE CHINA-INFORMATION SCIENCES,2018,61(4):10.
APA	Li, Wei,&Sui, Yuefei.(2018).A computational framework for Karl Popper's logic of scientific discovery.SCIENCE CHINA-INFORMATION SCIENCES,61(4),10.
MLA	Li, Wei,et al."A computational framework for Karl Popper's logic of scientific discovery".SCIENCE CHINA-INFORMATION SCIENCES 61.4(2018):10.