历史故事中，司马懿大军当前，诸葛亮可以选择调度后援或是焚香操琴，且知道司马懿分别会做出什么决定，那么诸葛亮会如何选择?