【摘 要】
：
数学知识表示是知识表示中的一个重要方面，是数学知识检索、自动定理机器证明、智能教学系统等的基础根据在设计NKI（national knowledge infrastructure）的数学知识表示语言中遇
【机 构】
：
中国科学院计算技术研究所智能信息处理重点实验室大规模知识处理组,中国科学院研究生院
论文部分内容阅读
数学知识表示是知识表示中的一个重要方面，是数学知识检索、自动定理机器证明、智能教学系统等的基础根据在设计NKI（national knowledge infrastructure）的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑．在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推
其他文献
全国幼儿教育事业“九五”发展目标实施意见“九五”时期是我国实施“科教兴国”伟大战略的重要时期，也是幼儿教育事业逐步适应社会主义市场经济体制，深化改革与健康发展的关键
【正】 在我国史学发展史上,国史馆之设立,始于北齐;唐代置史馆于禁中,以宰相监修,以他官任史职,称为修撰,直馆。当时建立修史机构二:一属门下省,专修本朝史;一属中书省,专修
本文通过对清代湖南郴州和桂阳州矿厂(点)在采数量、时间和产量的空间分布的考察,分析了二州矿产开发的特征、差异及其原因,同时还探讨了二州矿业的盛衰变迁及其原因.本文认
<正>"你好,我们是矿计量检查人员,请配合查看一下测控系统公共机USB接口的封存情况。""领导,站内公共机前后共有4个USB接口,目前按照上级要求已全部封存。"6月16日上午,在大
为了弘扬红色文化,扎实推进"红色基因代代传"工程,拟将红色文化网络短视频作为有形载体,通过科技和艺术的结合,深度挖掘中国革命历史的精神内涵,将宏大厚重的革命精神、历史
随着我国社会经济的不断深入发展和人民生活水平的提高，当代大学生的消费能力也在不断提高，尤其是精神消费在不断的上升。尽管大学生在精神消费总体上是适当的、理智的，但由于多
通过对3块落叶松人工林解析木资料统计整理,并对其生长量进行分析利用。研究发现,十年生落叶松人工林既进入生长速期;26~30 a落叶松人工林适宜密度为2 000株/hm2;落叶松人工
采取系统的分析方法HAZOP技术对LNG接收站轻烃回收装置整个工艺流程和控制的危险与可操作性问题进行全面分析,并在HAZOP分析的基础上对LNG升压泵电力引线保压风险,低温蒸气中
目的 总结直接穿刺“静脉池”栓塞结合动脉血管内栓塞的“双介入法”治疗颌骨动静脉畸形的经验。方法 1 999年 1 0月～ 2 0 0 1年 1 1月收治的颌骨动静脉畸形 7例 ,行永久性
目的:建立紫背天葵解毒颗粒的质量标准。方法 :采用薄层色谱(TLC)法对方中栀子,黄连,金银花进行定性鉴别;采用高效液相色谱法测定方中栀子的有效成分栀子苷含量。结果:TLC斑