Towards a mathematical theory of knowledge

CSpace > 数学所

	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
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
WOS记录号	WOS:000233343300002
出版者	SCIENCE PRESS
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/1256
专题	数学所
通讯作者	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.