第四节 逻辑应用于计算机科学与人工智能研究