问题解决程序的研究，是依据信息论、______和计算机科学为基础，所设计的实验研究。