第九章 从人工智能看两种不同的科学知识类型