- 博客(2)
- 收藏
- 关注
RSS订阅
1原创 人工智能导论
1.2 可计算载体：形式化余机械化自然语言处理在很大程度上难以精确表达数字概念，研究人员开始使用符号来表达形式化：在给定的一组推理规则后，从已有的知识（公理，定理和命题）出发，根据推理规则，把数学概念形式化描述出来，得到众多先前未定义的知识。这样的系统称为形式化系统。如果已有的知识和推理都是正确的，则形式化系统可以源源不断得到所有可以被推导出来的知识。为了保证其的有效性，都需要以下的特性：1、完备性：所有能够以某形式化系统推导出来的知识，都可以从这个形式化系统中推导出来2、一致性：所有可推导
2022-01-05 20:57:54
2657
空空如也
pyecharts的graph增加节点不显示
2023-03-27
TA创建的收藏夹 TA关注的收藏夹
TA关注的人