7.2 人工智能相关逻辑学研究示例