展开 逻辑学是计算机科学和人工智能的基础,它的创始人是