認(rèn)知程序推理算法的優(yōu)化與實(shí)現(xiàn).pdf

1、認(rèn)知程序通過增加模態(tài)詞來增強(qiáng)邏輯程序的不完整信息表示和推理能力。已有的認(rèn)知程序存在著求解器效率低，無法表示主觀概率的問題。本文擴(kuò)展ASPK認(rèn)知程序語言，設(shè)計(jì)帶概率的的認(rèn)知程序語言ASPPK，在此基礎(chǔ)上，著眼于認(rèn)知程序推理算法的設(shè)計(jì)、優(yōu)化、實(shí)現(xiàn)，并通過提出基于認(rèn)知程序ASPPK的一致性規(guī)劃問題求解方法，采用多個(gè)一致性規(guī)劃問題對(duì)推理算法進(jìn)行了檢驗(yàn)。
　　主要工作內(nèi)容:1）設(shè)計(jì)帶概率的認(rèn)知程序語言，定義該語言的語法及語義，并考察其基本性

2、質(zhì);2）設(shè)計(jì)認(rèn)知程序推理算法的架構(gòu)，在此基礎(chǔ)上，通過提出實(shí)例化和求解階段的優(yōu)化算法，提高效率;3）設(shè)計(jì)基于認(rèn)知程序的一致性規(guī)劃問題求解方法;4）設(shè)計(jì)測(cè)試集，用于檢驗(yàn)認(rèn)知程序推理算法。
　　主要成果包括:1）設(shè)計(jì)了一個(gè)在主觀字上增加概率區(qū)間的認(rèn)知程序語言ASPPK，并提出了其語義;2）設(shè)計(jì)了“實(shí)例化．世界觀求解”的認(rèn)知程序推理算法模型;3）提出了幾種認(rèn)識(shí)程序推理算法的優(yōu)化方案，并做了分析比較;4）基于認(rèn)知程序語言ASPPK，設(shè)計(jì)了求