如何用计算机逻辑来模拟人类思维方式?