论文部分内容阅读
针对运筹学模型表示中存在的问题，本文以离散型动态规划模型为研究对象，从解决动态模型的知识表示与基于知识的推理机制入手，通过剖析动态规划问题的决策过程及其状态演变特征，运用人工智能状态空间理论，将动态规划模型的求解转化为状态空间图中最佳路径的搜索，提出了以六元组Ｍ＝（Ｉ，Ｇ，Ｏ，Ｔ，Ｄ，Ｓ）表示离散型动态规划模型的知识表示方法－ＩＧＯＴＤＳ表示法；并引入最优评价函数，研究了基于状态空间图的求解离散型动态规划模型ＩＢＦＳ搜索算法．本文的工作有利于促进并深化运筹学应用的知识化、智能化研究．