作　　者： ; ;

机构地区： 广东工业大学

出　　处： 《广东工业大学学报》 2013年第4期21-25,38,共6页

摘　　要： 形式化、定量化求解矛盾问题是人工智能研究热点.本文在矛盾问题的可拓模型和逆向思维的形式化模型的基础上研究了矛盾问题的逆向策略生成方法,并举例说明了该方法的可行性和有效性. Solving contradictory problems formally and quantitatively is one of the hot research topics in the field of artificial intelligence. Based on the extension model and formalized model of reverse thinking, it studies the reversed strategy generating method of solving contradictory problems, and illustrates the feasibility and effectiveness of this method.

关 键 词： 矛盾问题 逆向思维 逆向策略 可拓模型 形式化模型

领　　域： [哲学宗教] [自然科学总论]