定性偏好的邏輯表示和推理.pdf

1、偏好是一種常見的認(rèn)知現(xiàn)象，現(xiàn)在，偏好研究作為一個多學(xué)科交叉研究領(lǐng)域，為經(jīng)濟(jì)學(xué)家、計(jì)算機(jī)科學(xué)家、運(yùn)籌學(xué)家、數(shù)學(xué)家、邏輯學(xué)家、哲學(xué)家等研究人員所關(guān)注。近幾年來，偏好成為人工智能研究中一個新的研究領(lǐng)域，借助于上述傳統(tǒng)學(xué)科中偏好研究的成果，人工智能研究人員通常把偏好看作是 agent具有的一種內(nèi)部狀態(tài)或者常識，以期采用偏好解釋agent的智能行為，實(shí)現(xiàn)快速有效的偏好處理，并取得初步成果。邏輯方法以其直觀、自然、強(qiáng)大的表示能力倍受關(guān)注，構(gòu)造簡潔的

2、、表達(dá)和推理能力強(qiáng)、計(jì)算復(fù)雜度低的偏好邏輯系統(tǒng)成為包括哲學(xué)家和人工智能專家在內(nèi)的研究人員的目標(biāo)之一。 偏好產(chǎn)生的根源和偏好表現(xiàn)形式多種多樣，相應(yīng)地，人工智能偏好研究中，產(chǎn)生了多種偏好表示方法和偏好推理機(jī)制。隨著研究的深入和應(yīng)用的推廣，提出了新的需求：現(xiàn)有偏好處理研究，往往只針對特定偏好類型在特定條件下的處理，而在構(gòu)造公理化系統(tǒng)和實(shí)際應(yīng)用中，常常多種類型偏好共存，能夠描述多種偏好類型的簡潔表示和推理方法成為偏好研究的重要問題。此外

3、，在智能決策過程中，常常由于決策目標(biāo)的改變，外界環(huán)境改變和偏好集成等原因造成偏好變化，由此衍生了許多諸多如偏好結(jié)構(gòu)的改變、偏好變化軌跡描述、偏好修正等問題。本文針對多類型偏好共存情況下的表示，推理和修正問題，主要工作有： 1. 在總結(jié)了當(dāng)前偏好邏輯研究的基礎(chǔ)上，提出超偏好關(guān)系的概念，并基于超偏好關(guān)系提出四種偏好類型的劃分。進(jìn)而通過引入四個新邏輯聯(lián)結(jié)詞，在命題邏輯基礎(chǔ)上構(gòu)造了能夠表示并推理多種偏好關(guān)系的邏輯系統(tǒng)MKPL邏輯，并提出

4、一種推理過程，將MKPL邏輯可滿足性檢測歸結(jié)為命題邏輯模型檢測過程： 2. 將刪邏輯語言MKPL<,P>與常見偏好邏輯語言比較，提出重寫定理，證明MKPL<,P>較強(qiáng)的表達(dá)能力： 3. 在MKPL邏輯基礎(chǔ)上，提出基于最細(xì)致/粗糙描述原則的非單調(diào)推理方法，以及能夠表示CP約束的偏好語言MKPL-CP和非單調(diào)推理方法； 4. 提出有限邏輯鏈(或有限W-鏈)表示偏好，一方面提出基于有限鏈修正的四種類型偏好的偏好修正方法