归纳程序相关论文
本文讨论了NDIPS系统中基于轨迹的归纳程序综合方法。该方法对问题求解机制产生的或手工给出的程序执行轨迹,使用匹配识认算法找出......
<正> 每一新的科学发现,每一哲学家对归纳法的哲学探讨,似乎都越来越证实了布罗德的这一名言:归纳是自然科学的胜利,是哲学的耻辱......
<正> 历史主义认为观察具有理论负荷,这个观点切中要害。它坚决地批判了传统经验论的基础主义的科学理论观,坚决反对把认识过程归......
