基于不完備知識的推理技術

基本信息

申請?zhí)?/td> CN97111945.7 申請日 -
公開(公告)號 CN1175039A 公開(公告)日 1998-03-04
申請公布號 CN1175039A 申請公布日 1998-03-04
分類號 G06F17/28 分類 計算;推算;計數;
發(fā)明人 陳肇雄 申請(專利權)人 北京華建長河科技有限公司
代理機構 北京市專利事務所 代理人 陳肇雄;北京華建長河科技有限公司
地址 100080北京市2704信箱
法律狀態(tài) -

摘要

摘要 本發(fā)明技術的步驟為:根據需要定義次要特征;將原文句子生成部分結構樹;對生成的部分歸約結構樹,從其最高層開始歸約;將現(xiàn)有規(guī)則中的上下文相關測試條件去掉,然后對各結點進行歸約,若歸約不成功,則進一步將規(guī)則中的次要特征去掉后繼續(xù)歸約,直至歸約成功或各結點已為葉結點可直接歸約為句子為止。本技術用于機譯系統(tǒng)中,可在知識不完備的情況下,求出與正確解最為逼近的解。