首页> 外文期刊>Journal of Computer Science & Technology >Towards a Mathematical Theory of Knowledge
【24h】

Towards a Mathematical Theory of Knowledge

机译:迈向知识的数学理论

获取原文
获取原文并翻译 | 示例
       

摘要

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.
机译:提出了一种类型分类理论来对知识和知识处理进行抽象描述。它与传统范畴论在两个方向上有所不同:所有的态素都有类型,并且态素的组成不一定是态素。讨论了类型类别理论应用的两个方面:知识复杂性类的锥度和极限以及使用伪函数的知识完成。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号