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

文檔介紹：
兩北大學(xué)碩上論文命題邏輯公式集上的相似度、偽距離與近似推理摘要人工智能是一個受到廣泛重視的研究領(lǐng)域,而人工智能中的推理研究又是最為活躍的。傳統(tǒng)的計(jì)算機(jī)的推理系統(tǒng)是基于二值邏輯的,而能夠真正模擬人類思維方式的智能計(jì)算機(jī)采用的是合情推理,即是一種近似推理。在近似推理中,衡量公式之問的距離非常重要,用來確定公式在近似推理中的作用。本文從命題邏輯公式的相似度入手,研究命題邏輯公式集上的偽距離和近似推理。第一章基礎(chǔ)知識。介紹命題邏輯系統(tǒng)的五個組成部分以及二值邏輯系統(tǒng)￡、Lukasiewicz多值命題邏輯系統(tǒng)、R型命題邏輯系統(tǒng)t。第二章介紹真度、相似度氧、島和二值邏輯系統(tǒng)中的正則相似度。簡化了正則相似度的定義,引入半I卜則相似度,并定義了相似度矗。證明在二值邏輯中,島與島是J下則的,在知值邏輯度量空間,晶是半犯則的。第三章證明三種相似度I叮以誘導(dǎo)出三種偽距離空間。給出了三種偽距離之間的大小關(guān)系。證明三種偽距離空間是拓?fù)涞葍r(jià)的。第四章介紹命題邏輯公式集上的發(fā)散度。針對王國俊教授所提出的各系統(tǒng)中的三種近似推理的誤差的關(guān)系問題,在二值系統(tǒng)中,將誤差定義為三種距離,計(jì)算出三種距離是相等的,從而證明三種近似推理的誤差是等價(jià)的。部分地解決了... 內(nèi)容來自轉(zhuǎn)載請標(biāo)明出處.

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