4 计算机、人工智能与逻辑