Towards a mathematical theory of knowledge

	Towards a mathematical theory of knowledge
	Lu, RQ
	2005-11-01
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	20 期号:6 页码:751-757
摘要	A typed category theory is proposed for the abstract description of knowledge and knowledge processing. It differs from the traditional category theory in two directions: all morphisms have types and the composition of morphisms is not necessary a morphism. Two aspects of application of typed category theory are discussed: cones and limits of knowledge complexity classes and knowledge completion with pseudo-functors.
关键词	knowledge science category theory typed category pseudo-category
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
WOS记录号	WOS:000233343300002
出版者	SCIENCE PRESS
引用统计	被引频次：15[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/9982
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Lu, RQ
作者单位	1.Chinese Acad Sci, Key Lab IIPL, Inst Comp Technol, Beijing 100080, Peoples R China 2.Chinese Acad Sci, Key Lab MADIS, Beijing 100080, Peoples R China 3.Chinese Acad Sci, Inst Math, AMSS, Beijing 100080, Peoples R China 4.Fudan Univ, Shanghai Key Lab IIPL, Shanghai 200433, Peoples R China 5.Beijing Univ Technol, Beijing Key Lab ISMM, Beijing 100022, Peoples R China
推荐引用方式 GB/T 7714	Lu, RQ. Towards a mathematical theory of knowledge[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2005,20(6):751-757.
APA	Lu, RQ.(2005).Towards a mathematical theory of knowledge.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,20(6),751-757.
MLA	Lu, RQ."Towards a mathematical theory of knowledge".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 20.6(2005):751-757.