博文
review: Universal Algebra and Computer Science
|||
Universal Algebra and Computer Science
Boris Plotkin1 and Tanya Plotkin
FCT 2001, LNCS 2138, pp. 35–44, 2001.
Abstract.
This paper considers interrelations between universal
algebra, algebraic logic, geometry and computer science. The key idea of the paper is to show that
problems, coming from computer science, require
introducing of highly non-trivial mathematical structures. On the other
hand, algebraic models in computer science give deeper understanding of problems
essence.
This general idea is illustrated on the example of knowledge bases.
Theorems concerning the knowledge base equivalence problem are formulated.
1 Introduction
2 Knowledge
three components of knowledge:
3 Algebra
4 Logic
5 Geometry
6 Category of Knowledge
8 Knowledge Bases
9 Isomorphism and Equivalence of Knowledge Bases
I comment:
no
https://wap.sciencenet.cn/blog-468147-661632.html
上一篇：review: The CommUnity Workbench
下一篇：并行并发 concurrency
扫一扫，分享此博文
全部精选博文导读
相关博文
- • Minerals线下恳谈会：履践致远、与时偕行——对话中国科学院广州地球化学研究所期刊合作学者
- • 聚英才 建高地 | 北京理工大学“特立青年学者”全球招聘开启
- • 700年后日本或濒临灭绝？日本学者推算预测：届时或仅剩1名15岁以下孩子
- • [转载]【同位素视角】非英语母语学者如何区分’e.g.’, ‘i.e.’, ‘namely’与‘such as’等混淆难题
- • 美国佐治亚大学等机构学者：刈割策略对Bulldog 805紫花苜蓿+Tifton 85狗牙根混播草地产量及品质的影响
- • 美国堪萨斯州立大学、密苏里大学等机构学者研究成果：土壤水分管理策略和品种多样性对紫花苜蓿产量、营养品质和农场盈利能力的影