论文部分内容阅读
机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.
基于项重写技术的机器发现逻辑
【摘 要】
：
机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.
【出 处】
：
中国科学(A辑 数学 物理学 天文学 技术科学)
【发表日期】
：
1992年10期
其他文献
FR-001和FR-005为农抗5102产生菌经原生质体融合后所产生的融合重组子,它们在形态及培养特征,抗菌活性及代谢产物方面均有明显差别。然而,它们则均含有一个DNA顺序同源,分子量大小均为20.1kb的质粒,命名为pHZ65。已用酶切分析法制做了这个质粒被限制内切酶BamHI,BclⅠ,BglⅡ,EcoRV,KpnⅠ,PstⅠ,SphⅠ,SstⅠ,XhoⅠ酶切共29个切点的详细图谱。在体外将携
期刊
邹承鲁提出的蛋白质侧链基团的修饰与其生物活性之间的定量关系的统计学方法,已被广泛地应用于判断酶的必需基团的数目和性质。但是这一方法的手工计算作图比较繁琐,还可能造成某些误差。本文作者对邹的这一定量关系进行了计算机模拟,给出了精确、简便、实用的计算方法。应用这一方法不仅纠正了一些文献中在计算必需和非必需基团数目及其修饰速度之比等方面的错误结论,而且对文献中的一些实验结果用手工计算作图得不到结论,以及
期刊
本文讨论递归可枚举度的分解与格嵌入问题,证明了存在r.e.度a,a_0和a_1使得a
期刊
本文报道了一个带有增强子的人巨细胞病毒(hCMV)启动子和人凝血因子ⅨcDNA的双拷贝反转录病毒载体(double-copy retroviral vector)-N2CMVIX的构建,转染PA317包装细胞后再离体感染血友病B患者皮肤成纤维细胞,可产生具有凝血活性的Ⅸ因子蛋白高达3420 ng/10~6细胞/24 h。将这些转染人Ⅸ因子cDNA的成纤维细胞包埋于胶原,植入小鼠皮下或腹腔内,人凝血
期刊
本文讨论半线性热方程初值问题 u_t-Δu=u~r-u(1
期刊
本文在豚鼠心室肌重新探讨心肌有效不应期(ERP)的传统临界膜电位值(CMP)(-55—160mV),观察细胞动作电位(AP)复极到+10—-60mV时,对试验刺激的电反应和收缩反应。37℃正常台氏液中,中等强度的试验刺激下,35个细胞中,约有1/3的细胞,在正于-54mV出现局部反应和试验AP。最高在0mV开始出现局部电位,-30mV开始出现试验AP,多数属慢反应电位。37℃ 1.5mmol/L
期刊
本文首次对前寒武纪条带状硅铁建造的硅同位素组成进行了研究。弓长岭矿床磁铁石英岩的δ~(30)Si值为-0.9‰至-2.2‰,明显低于围岩地层值(0.2‰至-0.6‰)。分析表明它是在太古代海盆的热水沉积环境中化学沉淀的产物。利用硅同位素组成还有可能用于区分正、负变质岩,用于判明蚀变矿物形成的硅质来源。
期刊
本文利用转移函数证明了形如X_(s,t)=g_(s,t)U_(s,t),s,t≥0的广义Levy单是~*-Markov过程因而也是Markov场,这里U是正交增量过程,g是非随机函数,(广义)Brownian单与(广义)OUP_2等过程都是特殊的广义Levy单.还证明了Levy单U的正切函数与广义Levy单X的指数函数也是~*-Markov过程与Markov场.同时,找出了一批各种类型的三点转移函
期刊
本文介绍我国1987年新发现一处与海西期A型花岗岩有关的独立锡矿床——萨惹什克锡矿。其岩体岩石学、矿物学及地球化学特征与国内外A型花岗岩特征进行了类比,指出其岩石学某些特征不仅比国际上著名的尼日利亚A型花岗岩还要典型,而且锡矿床地质特征特别,明显不同于国内著名的一些锡矿床,可作为我国与非造山花岗岩伴生锡矿床之代表,该锡矿且形成于海西期,在国内属首次发现,在世界上亦罕见,将成为我国一新的锡矿类型。
期刊