基于可拓學(xué)的知識表示和策略生成的研究.pdf

1、科學(xué)技術(shù)進步，我們已經(jīng)可以利用機器為人類完成許多工作。同時，社會、經(jīng)濟、文化等各方面的發(fā)展也令我們需要機器也具有創(chuàng)造性思維，提供高水平的解決策略。能夠把獲得的信息加工成知識，并利用這些知識生成策略解決問題，我們把這種能力稱為智能。提高計算機的智能水平，我們需要建立信息-知識-智能的形式化體系。 可拓學(xué)是用形式化模型研究事物拓展的可能性和開拓創(chuàng)新的規(guī)律與方法，并用于解決矛盾問題的科學(xué)。以基元作為表示信息和知識的邏輯細胞具有簡單、規(guī)

2、范和明了的特點，可拓推理表示從信息生成知識的規(guī)則，可拓變換作為從已有的信息和知識生成解題策略的工具?？赏丶虾完P(guān)聯(lián)函數(shù)可作為生成策略和評價策略的定量化工具。由此，這種體系將具有簡單明了，便于計算機操作的優(yōu)點。 本文在分析可拓學(xué)的理論和知識表示的聯(lián)系的基礎(chǔ)上，利用基元，建立知識模型，實現(xiàn)對信息、知識的形式化描述，并探討了該模型解決實際問題的方法。 然后，結(jié)合計算機技術(shù)，在已建立的可拓模型中，建立相關(guān)的知識庫，處理與已有知識

3、相關(guān)的問題。探討計算機系統(tǒng)中利用可拓推理、可拓變換，獲得知識，并生成解決給定問題的策略、對策略進行綜合評價的方法。 最后，建立租房問題的可拓模型，結(jié)合計算機技術(shù)，實現(xiàn)計算機的租房策略生成?？赏刈夥肯到y(tǒng)根據(jù)可拓方法，利用現(xiàn)有的知識進行問題分析，解決資金不足的矛盾，實現(xiàn)計算機的利用可拓方法解決矛盾問題。 本課題的創(chuàng)新之處在利用可拓論和可拓方法把信息、知識和智能統(tǒng)一在一個形式化體系中，研究在計算機上建立可拓模型的方法及初步實現(xiàn)