第二讲
基于逻辑思维的符号AI系统面临的问题是经验事实的不足, 逻辑推理固然合理, 但是逻辑推理本身不能保证输入的一定是 "事实", 我们对理性的追求是对逻辑推理的追求还是对 "事实" 的追求呢?
形式逻辑一宗罪是 "极化思维", 即现代逻辑侧重于刻画边界分明的边界情况而不太考虑语义模糊的灰色地带, 我们在借助现代逻辑追求理性的道路上也有避免落入极化思维中
形式逻辑的经济性不高, 但从OpenAI的例子来看, 大力出奇迹也不是没有可能, 着眼于解决前四宗罪可能更有意义
亚里士多德式逻辑相较于现代命题逻辑显得古朴粗糙, 但正是因为它的古朴粗糙, 它对心理直觉的背离更少, 更容易与心理学对接.