【摘 要】
:
在逻辑型知识推理语言Tuili的实现中,基本核心是构造不同推能力的多个推理机并使之协同工作.针对这一问题,本文提出了实用的构造多推理机的方法和策略,并给出实现推理机的主
【机 构】
:
中国科学院数学研究所北京100080
论文部分内容阅读
在逻辑型知识推理语言Tuili的实现中,基本核心是构造不同推能力的多个推理机并使之协同工作.针对这一问题,本文提出了实用的构造多推理机的方法和策略,并给出实现推理机的主要算法.
其他文献
中国经济发展的基础是比较牢固的,比较厚实的,我们有实力也有能力应对前进中的各种困难挑战。5月22日,国家发展改革委主任何立峰在2020年全国两会首场"部长通道"上回答记者提
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
在互联网时代,创意已不再仅仅是一种思维方式,而是与文化产业、创意产业以及创意经济等相关产业经济有着千丝万缕的联系。当前,我国经济社会正经历着从工业经济时代到创意经
目的 探讨唑来磷酸与云克治疗恶性肿瘤骨转移疼痛的临床疗效.方法 64例患者分为唑来膦酸组32例和云克组32例,唑来磷酸组用唑来膦酸注射液4 mg加入生理盐水100 ml,静脉滴注15 min.云克组用云克100 mg加入250~500 ml静脉滴注3 h,连用7 d.2组用药10 d后观察疗效并比较.结果 唑来膦酸组完全缓解11例,部分缓解16例,轻微缓解1例,无缓解4例,镇痛有效率为84.4%;
世界能源格局走势的初步判断为:新兴市场国家将带动能源需求持续增长,预计未来20年世界能源消费年均增长1.4%左右;全球范围内应对气候变化和大气污染防治将深度改变未来能源
因为疫情的发生,我国重新审视政府公共治理和公共服务能力的不足,围绕"放管服",进一步简化及优化政府审批程序,加大一对一的服务,提高政府服务效率;针对疫情暴露出来的国内制
对于半参数回归模型yi=xiβ+g(ti)+ei,1≤i≤n,利用最小二乘法和一般加权方法,定义了β,g(的估计量βn,gn(t).在误差为PA序列时,证明了βn,gn(t)的均方相合性.
母语迁移现象在二语习得中非常普遍,分为正迁移和负迁移两种。本文分析了语篇中母语的负迁移现象,目的是:1.帮助人们更深的认识母语负迁移现象;2.提出一些外语教与学的建议。
本文主要讲述双语教育的重要意义,民族学生提高汉语水平是目前我国双语教育的基本要求。本文对少数民族学生怎样提高汉语水平提出了一些观点和建议。