摘要
形式化、定量化求解矛盾问题是人工智能研究热点.本文在矛盾问题的可拓模型和逆向思维的形式化模型的基础上研究了矛盾问题的逆向策略生成方法,并举例说明了该方法的可行性和有效性.
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.
出处
《广东工业大学学报》
CAS
2013年第4期21-25,38,共6页
Journal of Guangdong University of Technology
基金
国家自然科学基金资助项目(61273306)
关键词
矛盾问题
逆向思维
逆向策略
可拓模型
形式化模型
contradictory problem
reverse thinking
reversed strategy
extension model
formalizedmodel
