尽快冲出SARS的阴霾

SARS病毒对人类的生命带来了极大的威胁,同时也威胁到许多相关行业,其中损失最惨重的莫过于航空业,SARS带来的“杀伤力”超过了9.11和伊战的总和。在几个月前人们都不会想到会有这样的灾难发生,然而现实告诉我们,它的确是真的     

基于Lakatos证伪方法论的机器发现逻辑

介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP.同时举例说明了ALP系统的工作原理,展示了机器发现逻辑在数学发现(?)逻辑程序自动设计领域的应用前景。