复杂问题解决中计算机模拟情境的逻辑框架