科学技术进步，我们已经可以利用机器为人类完成许多工作。同时，社会、经济、文化等各方面的发展也令我们需要机器也具有创造性思维，提供高水平的解决策略。能够把获得的信息加工成知识，并利用这些知识生成策略解决问题，我们把这种能力称为智能。提高计算机的智能水平，我们需要建立信息—知识—智能的形式化体系。可拓学是用形式化模型研究事物拓展的可能性和开拓创新的规律与方法，并用于解决矛盾问题的科学。以基元作为表示信息和知识的逻辑细胞具有简单、规范和明了的特点，可拓推理表示从信息生成知识的规则，可拓变换作为从已有的信息和知识生成解题策略的工具。可拓集合和关联函数可作为生成策略和评价策略的定量化工具。由此，这种体系将具有简单明了，便于计算机操作的优点。本文在分析可拓学的理论和知识表示的联系的基础上，利用基元，建立知识模型，实现对信息、知识的形式化描述，并探讨了该模型解决实际问题的方法。然后，结合计算机技术，在已建立的可拓模型中，建立相关的知识库，处理与已有知识相关的问题。探讨计算机系统中利用可拓推理、可拓变换，获得知识，并生成解决给定问题的策略、对策略进行综合评价的方法。最后，建立租房问题的可拓模型，结合计算机技术，实现计算机的租房策略生成。可拓租房系统根据可拓方法，利用现有的知识进行问题分析，解决资金不足的矛盾，实现计算机的利用可拓方法解决矛盾问题。本课题的创新之处在利用可拓论和可拓方法把信息、知识和智能统一在一个形式化体系中，研究在计算机上建立可拓模型的方法及初步实现，为实现计算机的智能化提供新的方法。本文是广东省自然科学基金项目“基于可拓论的信息—知识—智能形式化体系研究”(05001832)的研究成果。