Institute of Computing Technology, Chinese Academy IR
| 国家知识基础设施中的数学知识表示 | |
| 曹存根; 眭跃飞; 孙瑜; 曾庆田 | |
| 2006 | |
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825 |
| 卷号 | 17.0期号:008页码:1731 |
| 摘要 | 数学知识表示是知识表示中的一个重要方面，是数学知识检索、自动定理机器证明、智能教学系统等的基础根据在设计NKI（national knowledge infrastructure）的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑．在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的．因此，在表示数学知识时，需要区分概念性的知识（本体中的知识）和非概念性的知识（用本体作为语言表示的知识）、框架或者描述逻辑可以表示和有效地推理概念性知识，但如果将非概念性知识加入到框架或知识库中，就可能使得原来可以有效推理的框架所表示的知识库不存在有效的推理算法，甚至不存在推理算法．为此，建议在表示数学知识时，用框架或描述逻辑来表示概念性知识；然后，用这样表示的知识库作为逻辑语言的一部分，以表示非概念性知识． |
| 关键词 | 数学知识 框架 描述逻辑 本体 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/35356 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 曹存根,眭跃飞,孙瑜,等. 国家知识基础设施中的数学知识表示[J]. 软件学报,2006,17.0(008):1731. |
| APA | 曹存根,眭跃飞,孙瑜,&曾庆田.(2006).国家知识基础设施中的数学知识表示.软件学报,17.0(008),1731. |
| MLA | 曹存根,et al."国家知识基础设施中的数学知识表示".软件学报 17.0.008(2006):1731. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [曹存根]的文章 |
| [眭跃飞]的文章 |
| [孙瑜]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [曹存根]的文章 |
| [眭跃飞]的文章 |
| [孙瑜]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [曹存根]的文章 |
| [眭跃飞]的文章 |
| [孙瑜]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论