近年来,随着计算机技术的发展,人工智能受到了越来越多的重视,“矛盾问题智能化处理”是智能科学的重要基础理论问题之一,是具有较大难度的原始性创新研究工作。为此,必须首先深入研究解决矛盾问题的策略生成问题。策略生成的问题是国内外学者感到棘手的问题。所有的策略生成系统都需要一个强大的基础信息库作为领域的数据支持,虽然可拓学通过多年来对智能科学和可拓学相结合的探讨,初步建立了矛盾问题求解的基础理论与基本方法,在策略生成方面的方法上有许多研究,同时也解决了若干问题的策略生成,但是都缺乏一个统一的领域的基础库,以致做了很多重复性的工作。英文知识库已有许多成熟的成果,譬如：WordNet、Cyc等等,但是将它们移植到中文的自然语言处理会遇到非常多的挑战。所以,我们急需一个中文语义知识库。在2001年,具有强大通识知识的知识库系统——知网(HowNet)面世,随着HowNet技术的不断完善,以HowNet的知识资源为基础,借助其知识数据描述语言(KDML)工具,构建可拓学的领域基础库,希望让计算机自动生成(或人机结合引导生成)解决矛盾问题的策略。本文主要完成了以下研究工作：(1)首先简述了课题的研究背景和研究意义,介绍了可拓学和知网的基本理论与方法；(2)以建立解决领域矛盾问题的策略生成系统为目标,利用“可拓信息-知识-策略”形式化表示体系和HowNet(知网)的知识数据描述语言(KDML),提出一种基于知网的领域可拓信息元库的构建方法,旨在解决领域的矛盾问题所需的信息。(3)建立了基于知网的领域问题可拓模型库。在之前研究的基础上,构建了支持基于分类的ESGS矛盾问题建模算法的可拓模型库。(4)最后,本文以教育领域内的高考志愿填报系统为例,详细设计并实现了“高考估分报名系统”,验证了建库方法的可行性和有效性。其实验结果证明了可拓学的科学意义和社会价值。本文的创新点在于：(1)将可拓学和知网结合,研究解决领域矛盾问题的策略生成系统的基础库,为基于可拓学和HowNet的策略生成系统的研制打下基础；(2)构建一种基于知网的领域可拓信息元库,提高了可拓基础库的语义能力,一方面为可拓策略生成系统提供了后台数据的支持,另一方面也拓展了知网的应用领域,将知网应用于矛盾问题的解决和策略的生成。