10.3969/j.issn.1673-629X.2010.07.002
启发式搜索在数学智能解题系统中的应用研究
在人工智能领域,对问题求解的方法都需要某种对解答的搜索,即为一个搜索过程.文中论述的数学智能辅导系统采用了与或树知识表示方法,也可称为问题规约法.它把初始问题通过一系列变换最终变为一个子问题集合,而这些子问题的解可以直接得到,从而解答了初始问题.系统使用以推理深度作估价函数的启发式搜索,使得问题的求解更加有效与合理.论述了采用启发式搜索的必要性及可行性.对比了采用启发式搜索前后,系统解题合理性得到很大提高.
启发式搜索、与或树、合理性、推理深度
20
TP391.6(计算技术、计算机技术)
科技部科技型中小企业创新基金01c26226111002
2010-09-02(万方平台首次上网日期,不代表论文的发表时间)
共4页
5-8