本文關(guān)鍵詞：命題邏輯公式集上的相似度、偽距離與近似推理，由筆耕文化傳播整理發(fā)布。

兩北大學(xué)碩上論文 命題邏輯公式集上的相似度、偽距離與近似推理 摘要人工智能是一個(gè)受到廣泛重視的研究領(lǐng)域，而人工智能中的推理研究 又是最為活躍的。傳統(tǒng)的計(jì)算機(jī)的推理系統(tǒng)是基于二值邏輯的，而能夠真正模擬 人類思維方式的智能計(jì)算機(jī)采用的是合情推理，即是一種近似推理。在近似推理 中，衡量公式之問的距離非常重要，用來確定公式在近似推理中的作用。本文從 命題邏輯公式的相似度入手，研究命題邏輯公式集上的偽距離和近似推理。 第一章基礎(chǔ)知識(shí)。介紹命題邏輯系統(tǒng)的五個(gè)組成部分以及二值邏輯系統(tǒng)￡、 Lukasiewicz多值命題邏輯系統(tǒng)、R型命題邏輯系統(tǒng)t。 第二章介紹真度、相似度氧、島和二值邏輯系統(tǒng)中的正則相似度。簡化了 正則相似度的定義，，引入半I卜則相似度，并定義了相似度矗。證明在二值邏輯 中，島與島是J下則的，在知值邏輯度量空間，晶是半犯則的。 第三章證明三種相似度I叮以誘導(dǎo)出三種偽距離空間。給出了三種偽距離之 間的大小關(guān)系。證明三種偽距離空間是拓?fù)涞葍r(jià)的。 第四章介紹命題邏輯公式集上的發(fā)散度。針對(duì)王國俊教授所提出的各系統(tǒng) 中的三種近似推理的誤差的關(guān)系問題，在二值系統(tǒng)中，將誤差定義為三種距離， 計(jì)算出三種距離是相等的，從而證明三種近似推理的誤差是等價(jià)的。部分地解決 了這一公開問題。 關(guān)鍵詞：真度，相似度，偽距離，近似推理 西北人學(xué)碩士論文 and Similaritydegree，pseudo-metricapproximatereasoning in propositionallogicsystem isavaluedresearchfieldandinferenceisactiveinit．The Abstract：Artificial Intelligence inferenceoftraditional is two-value isthe designed logicsystem．It approximate computer by use．Itis to thedistance thatthe should reasoningintelli

  本文關(guān)鍵詞：命題邏輯公式集上的相似度、偽距離與近似推理，由筆耕文化傳播整理發(fā)布。