機(jī)會(huì)發(fā)現(xiàn)的形式描述與形式建模的研究.pdf

1、機(jī)會(huì)發(fā)現(xiàn)(Charice Discovery)和機(jī)會(huì)管理(Charme Management)是國外學(xué)者于2000年前后提出的一個(gè)新的研究課題。因此對(duì)“機(jī)會(huì)”的特性，它作為一個(gè)獨(dú)立的研究領(lǐng)域的必要性，它和傳統(tǒng)的學(xué)科，如人工智能、經(jīng)濟(jì)學(xué)、決策論、控制論、系統(tǒng)論和資料挖掘等的關(guān)系，現(xiàn)在己有的可以用來刻畫CD的技術(shù)手段，這些手段還存的不足等等，所有這些尚沒有得到一致的回答，都需要進(jìn)一步探討。 本文對(duì)上述問題進(jìn)行了初步探索，確立了本文的

2、主要目的——針對(duì)機(jī)會(huì)的基本特性從不同學(xué)科角度出發(fā)對(duì)機(jī)會(huì)和機(jī)會(huì)發(fā)現(xiàn)進(jìn)行刻畫和總結(jié)。 本文首先介紹了溯因推理的哲學(xué)背景、形式模型、假設(shè)生成和選擇等內(nèi)容。在此基礎(chǔ)上，介紹了如何用溯因推理來解釋機(jī)會(huì)。然后，分析了CD相關(guān)性原則，即若一個(gè)事件或狀態(tài)是關(guān)于agent目標(biāo)的機(jī)會(huì)，則該事件應(yīng)該滿足CD相關(guān)性然后利用4值形式系統(tǒng)L<,m4c>及其擴(kuò)充定義了CD相關(guān)性的形式語義，并且證明了L<,m4c>族和形式語義的等價(jià)性，討論了L<,m4c>和溯

3、因推理的結(jié)合，并且得到了更好的特性。最后闡述了KeyGraph作為機(jī)會(huì)發(fā)現(xiàn)工具的特征和算法，提出了一種基于小世界理論和遺傳算法的KeyGraph參數(shù)優(yōu)化機(jī)制，實(shí)現(xiàn)參數(shù)自動(dòng)調(diào)節(jié)以避免用戶疲勞。同時(shí)，為了支撐小組討論和解決用戶圖形解釋不明確的問題，給出了一種萃取情節(jié)中的數(shù)據(jù)并加以注釋的映射算法，對(duì)數(shù)據(jù)進(jìn)一步分析，這對(duì)機(jī)會(huì)發(fā)現(xiàn)起著十分重要的作用。另外，本文將KeyGraph引入到人和數(shù)據(jù)挖掘工具協(xié)同工作的機(jī)會(huì)發(fā)現(xiàn)的雙螺旋模型中，同時(shí)利用一個(gè)形