理性用户--交互式进化计算全局收敛的一个充分条件

Rational User—A Sufficient Condition for Global Convergence in Interactive Evolutionary Computation

用户对个体的评价和用户满意度之间的关系是影响交互式进化计算(IEC)全局收敛性的重要因素.首先,基于用户对个体评价和用户满意度占优关系,把 IEC 中的用户分为4类:绝对理性用户、有限理性用户、有限非理性用户和绝对非理性用户.其次,给出关于 IEC 全局收敛的4个定理及理性用户是 IEC 全局收敛的充分条件这一结论,并指出 IEC 的全局收敛需要保留两个最优:适应值最优和满意度最优.最后,通过实验进一步验证上述结论.结论表明,在 IEC 中,当其它保证算法收敛的条件具备时,用户只要保证理性条件,就能保证算法全局收敛.

In interactive evolutionary computation （ IEC ）, the relationship between user evaluation and user preference is an important factor of the convergence. Firstly, based on the dominated relationship between user evaluation and user preference, four kinds of users in IEC are put forward ： absolute rational user, limited rational user, limited nonrational user and absolute nonrational user. Secondly, four theorems about the global convergence of IEC are proved. They illustrate the idea that the rational user is a sufficient condition for the global convergence of IEC. The theorems also point out that two kinds of elitist preservation strategies are necessary for the global convergence of IEC： fitness elitist preservation and satisfaction elitist preservation. Finally, the experimental results validate the above conclusion andshow that it is a sufficient condition that as long as the user keeps rational, the algorithm convergence is ensured when other conditions are ready for the convergence.