Towards a Mathematical Theory of Knowledge^*

Springer Science and Business Media LLC - Tập 20 - Trang 751-757 - 2005
Ru-Qian Lu1,2,3,4,5
1Key Lab of IIPL, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, P.R. China
2Key Lab of MADIS, Chinese Academy of Sciences, Beijing, P.R. China
3Institute of Mathematics AMSS, Chinese Academy of Sciences, Beijing, P.R. China
4Shanghai Key Lab of IIPL, Fudan University, Shanghai, P.R. China
5Beijing Key Lab of ISMM, Beijing University of Technology, Beijing, P.R. China

Tóm tắt

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.

Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Springer Science and Business Media LLC

Tập 20

751-757

Thông tin tác giả