《信息互動(dòng)的邏輯、認(rèn)知與計(jì)算研究》開(kāi)題報(bào)告

內(nèi)容提要：

3月21日上午，由西南大學(xué)何向東教授為首席專家承擔(dān)的2014年度國(guó)家社科基金重大項(xiàng)目《信息互動(dòng)的邏輯、認(rèn)知與計(jì)算研究》（14ZDB016）開(kāi)題報(bào)告會(huì)在政治與公共管理學(xué)院3201會(huì)議室舉行。

會(huì)議分兩個(gè)階段進(jìn)行，第一階段由西南大學(xué)社科處處長(zhǎng)鄭家福教授主持，西南大學(xué)校長(zhǎng)張衛(wèi)國(guó)教授，政治與公共管理學(xué)院院長(zhǎng)陳躍教授，維也納邏輯之夏終生成就獎(jiǎng)得主、貴州科學(xué)院張明義研究員等領(lǐng)導(dǎo)、專家先后致辭。第二階段由開(kāi)題報(bào)告會(huì)指導(dǎo)專家組組長(zhǎng)、中國(guó)邏輯學(xué)會(huì)會(huì)長(zhǎng)、中國(guó)社科院鄒崇理研究員主持。專家組成員還有維也納邏輯之夏終生成就獎(jiǎng)得主、貴州科學(xué)院張明義研究員，中國(guó)邏輯學(xué)會(huì)副會(huì)長(zhǎng)、南開(kāi)大學(xué)任曉明教授，西南大學(xué)計(jì)算機(jī)與信息科學(xué)學(xué)院院長(zhǎng)張自力教授。課題組成員，西南大學(xué)社科處呂剛武、政治與公共管理學(xué)院等相關(guān)單位人員及邏輯與智能研究中心博士后、博士、碩士研究生共計(jì)50多人參加了開(kāi)題報(bào)告會(huì)。

首席專家何向東教授從研究狀況和選題價(jià)值、總體框架和預(yù)期目標(biāo)、研究思路和研究方法、重點(diǎn)難點(diǎn)和創(chuàng)新之處、子課題結(jié)構(gòu)和主要內(nèi)容以及研究進(jìn)度和任務(wù)分工等方面作了開(kāi)題報(bào)告。各位專家學(xué)者在認(rèn)真聽(tīng)取開(kāi)題報(bào)告后，充分肯定了該課題具有十分明顯的跨學(xué)科特征，在信息互動(dòng)的理論和應(yīng)用方面將具有重大意義和價(jià)值，一致認(rèn)為課題組前期研究基礎(chǔ)扎實(shí)，課題組凝聚力很強(qiáng)，其成員皆堪稱精兵強(qiáng)將。同時(shí)指出跨學(xué)科研究必須處理好知識(shí)產(chǎn)權(quán)問(wèn)題，切實(shí)加強(qiáng)子課題之間的對(duì)接、互動(dòng)，子課題負(fù)責(zé)人應(yīng)當(dāng)定期或不定期匯報(bào)、交流；研究必須注意突出學(xué)科特點(diǎn)，要有一套嚴(yán)格的形式語(yǔ)言，務(wù)必解決好形式化問(wèn)題和邏輯建模問(wèn)題，希望研究成果能在計(jì)算機(jī)上實(shí)現(xiàn)，從而保證課題研究任務(wù)高質(zhì)量地完成。

何向東教授及其課題組成員在聽(tīng)取專家意見(jiàn)后表示，將認(rèn)真研究專家們的建設(shè)性意見(jiàn)和建議，課題的研究團(tuán)隊(duì)將建立一種長(zhǎng)期合作的有效機(jī)制，加強(qiáng)各個(gè)子課題之間的互動(dòng)和內(nèi)在聯(lián)系，進(jìn)一步理清研究思路，拓展研究視野，創(chuàng)新研究方法，按計(jì)劃完成課題研究任務(wù)，力圖取得在國(guó)際上有一定影響的研究成果。

《信息互動(dòng)的邏輯、認(rèn)知與計(jì)算研究》開(kāi)題報(bào)告

信息互動(dòng)是計(jì)算機(jī)與信息科學(xué)、心理學(xué)和哲學(xué)的共同問(wèn)題，三大領(lǐng)域的學(xué)者對(duì)它以各自獨(dú)特的方法展開(kāi)研究，同時(shí)涉及經(jīng)濟(jì)學(xué)中的博弈論和社會(huì)選擇理論等，從多個(gè)方面形成了關(guān)于社會(huì)活動(dòng)中信息互動(dòng)的理論和應(yīng)用研究成果，典型的理論領(lǐng)域包括數(shù)理社會(huì)科學(xué)、計(jì)算博弈論、社會(huì)選擇理論、人機(jī)交互理論、認(rèn)知神經(jīng)科學(xué)、邏輯動(dòng)態(tài)學(xué)、信息哲學(xué)等等。信息互動(dòng)在當(dāng)代科學(xué)研究和社會(huì)發(fā)展各個(gè)領(lǐng)域起著無(wú)法替代的重要作用。深入研究信息互動(dòng)的模式及其在社會(huì)中的作用，對(duì)于促進(jìn)經(jīng)濟(jì)社會(huì)和諧發(fā)展、提高科學(xué)管理決策水平等都具有極其重要而深遠(yuǎn)的意義。

一、本課題提出的背景與意義

（一）本課題提出的背景

信息互動(dòng)是在社會(huì)網(wǎng)絡(luò)中發(fā)生的主要現(xiàn)象。本課題以社會(huì)網(wǎng)絡(luò)中的信息互動(dòng)為主要研究對(duì)象，以邏輯、認(rèn)知與計(jì)算為研究視角，對(duì)信息互動(dòng)的機(jī)制問(wèn)題展開(kāi)研究。

1.突出信息互動(dòng)研究的動(dòng)態(tài)視角和心理學(xué)視野。當(dāng)代信息互動(dòng)的研究涉及多學(xué)科，但目前這些交叉學(xué)科的研究實(shí)際存在兩個(gè)不足：第一、動(dòng)態(tài)視角不夠突出；第二、缺乏心理學(xué)的視野。一方面，本課題從社會(huì)網(wǎng)絡(luò)的角度來(lái)研究信息傳遞和互動(dòng)，要突出個(gè)體在群體中的聯(lián)盟行為，以動(dòng)態(tài)視角來(lái)研究信息互動(dòng)問(wèn)題，主要關(guān)心個(gè)體和群體的知識(shí)、信念、偏好等信息的變化以及個(gè)體和群體的行為。個(gè)體組成的社會(huì)網(wǎng)絡(luò)是信息傳遞和信息互動(dòng)發(fā)生的主要場(chǎng)所。對(duì)于社會(huì)網(wǎng)絡(luò)中信息互動(dòng)的程序研究也因此被納入本課題研究的范圍。另一方面，從認(rèn)知神經(jīng)心理學(xué)的觀點(diǎn)看，社會(huì)網(wǎng)絡(luò)中的信息互動(dòng)包括人和人之間信念、愿望、情緒等心理狀態(tài)的傳遞，涉及到個(gè)體對(duì)他人心理狀態(tài)的理解，即心理理論。心理理論使個(gè)體能夠借助他人的心理狀態(tài)來(lái)解釋和預(yù)測(cè)行為。因此，心理學(xué)的視野也進(jìn)入我們關(guān)于社會(huì)網(wǎng)絡(luò)中信息互動(dòng)問(wèn)題的研究。最后，從物理機(jī)制方面看，社會(huì)網(wǎng)絡(luò)可以被看做復(fù)雜系統(tǒng)，而且一個(gè)復(fù)雜系統(tǒng)是由多個(gè)子系統(tǒng)組成的，子系統(tǒng)和整個(gè)復(fù)雜系統(tǒng)都在不斷演化，因此本課題從物理層面也把復(fù)雜系統(tǒng)納入研究范圍。本課題形成了“邏輯-物理-計(jì)算-心理”四個(gè)方面的研究思路，社會(huì)網(wǎng)絡(luò)中的信息互動(dòng)能夠得到新的多學(xué)科交叉研究。

2.優(yōu)化信息互動(dòng)模型，解決誤解、信息傳遞失敗等問(wèn)題。在信息互動(dòng)中會(huì)出現(xiàn)多種現(xiàn)象，比如誤解、信息傳遞失敗、協(xié)議等等，因而一些具體的信息互動(dòng)模型已經(jīng)被構(gòu)造起來(lái)。公開(kāi)宣告的動(dòng)態(tài)邏輯提供了處理多主體系統(tǒng)中動(dòng)態(tài)問(wèn)題的一般性方法。然而，對(duì)于社會(huì)網(wǎng)絡(luò)中的群聚或聯(lián)盟行為以及個(gè)體知識(shí)、信念和偏好等信息的聚合行為，仍然有待于進(jìn)一步深入的研究。對(duì)聯(lián)盟的邏輯理論研究尚處于起步階段，它的優(yōu)點(diǎn)是處理社會(huì)網(wǎng)絡(luò)中信息聚合問(wèn)題，以它為基礎(chǔ)，再引入動(dòng)態(tài)機(jī)制，就可以處理群體或聯(lián)盟信息及其動(dòng)態(tài)變化問(wèn)題，形成能夠處理社會(huì)網(wǎng)絡(luò)中信息互動(dòng)的一般性邏輯理論。

目前, 對(duì)復(fù)雜系統(tǒng)的涌現(xiàn)(突現(xiàn))行為和脆性研究已取得很多成果。我們將對(duì)復(fù)雜系統(tǒng)的具體行為，如群聚、自組織、非理性選擇、創(chuàng)造性和模式推理等進(jìn)行探討。較典型的復(fù)雜系統(tǒng)建模的基本理論和方法有：Holland的復(fù)雜適應(yīng)系統(tǒng)CAS、Prigogine的耗散結(jié)構(gòu)論、Haken的協(xié)同論、錢學(xué)森的從定性到定量綜合集成方法。我們期望能從邏輯的角度給出復(fù)雜系統(tǒng)建模的一種新方法，以區(qū)別于目前已有的數(shù)學(xué)方法。

3.尋求實(shí)現(xiàn)知識(shí)管理的有效途徑。社會(huì)網(wǎng)絡(luò)是由許多節(jié)點(diǎn)構(gòu)成的一種社會(huì)結(jié)構(gòu)，節(jié)點(diǎn)通常是指?jìng)�(gè)人或組織。社會(huì)網(wǎng)絡(luò)代表各種社會(huì)關(guān)系，經(jīng)由這些社會(huì)關(guān)系，把個(gè)體或組織串連起來(lái)。社會(huì)網(wǎng)絡(luò)中節(jié)點(diǎn)之間的信息交互的過(guò)程實(shí)際上是節(jié)點(diǎn)之間的知識(shí)進(jìn)行交互的過(guò)程。對(duì)知識(shí)如何進(jìn)行管理，是人工智能領(lǐng)域中知識(shí)表示與推理的重要內(nèi)容，主要研究新信息的合并和過(guò)時(shí)信息的移除等。研究者們提出各種各樣實(shí)現(xiàn)知識(shí)管理的途徑，主要有信念修正、信念更新、信念熔合以及遺忘。如何在這些研究的基礎(chǔ)上，研究社會(huì)網(wǎng)絡(luò)中節(jié)點(diǎn)之間的信息交互的一些共性特征，以及如何從計(jì)算智能的角度快速有效地處理節(jié)點(diǎn)之間的信息交互，這是我們要研究的內(nèi)容。我們將通過(guò)邏輯進(jìn)行知識(shí)表示與推理，研究社會(huì)網(wǎng)絡(luò)中節(jié)點(diǎn)之間的知識(shí)更新。目前已有研究者采用邏輯方法提出了一個(gè)關(guān)于社會(huì)網(wǎng)絡(luò)中信息和知識(shí)流分析的形式化框架。但該框架未對(duì)社會(huì)網(wǎng)絡(luò)中節(jié)點(diǎn)的信息交互進(jìn)行研究，尤其是未從計(jì)算智能角度進(jìn)行研究。如何表達(dá)節(jié)點(diǎn)的信息是本課題需要考慮的首要問(wèn)題。需要選取一種能進(jìn)行知識(shí)表示與推理的工具，回答集程序是目前表示常識(shí)推理能力最強(qiáng)的工具。它是一種基于回答集（又稱穩(wěn)定模型）語(yǔ)義的非單調(diào)邏輯程序，是一種面向復(fù)雜組合搜索問(wèn)題求解的陳述性編程語(yǔ)言。本課題擬采用回答集程序表示節(jié)點(diǎn)的知識(shí)，將基于協(xié)商、討價(jià)還價(jià)相關(guān)的研究擴(kuò)展至一般社會(huì)網(wǎng)絡(luò)分析中，通過(guò)對(duì)表示程序的修改，來(lái)實(shí)現(xiàn)節(jié)點(diǎn)的信息動(dòng)態(tài)交互。這既是對(duì)社會(huì)網(wǎng)絡(luò)理論與實(shí)踐研究的創(chuàng)新，又是對(duì)信念更新理論的新發(fā)展，也是回答集程序的一種新應(yīng)用，有較強(qiáng)的理論與實(shí)踐意義。

4.加強(qiáng)心理理論研究，初步解決人際交互問(wèn)題。社會(huì)網(wǎng)絡(luò)中的信息互動(dòng)還涉及心理學(xué)層面，主要是人際交互問(wèn)題。近年來(lái)歐美腦科學(xué)計(jì)劃正在通過(guò)對(duì)大腦的模擬來(lái)研究人的社會(huì)行為。本課題將利用功能磁共振等腦成像手段，結(jié)合大腦功能連接分析等技術(shù)，研究心理理論的動(dòng)態(tài)過(guò)程。試圖較全面地揭示心理理論加工過(guò)程中大腦功能活動(dòng)的特征。關(guān)于大腦活動(dòng)的研究目前主要有以下三點(diǎn)：第一、心理理論的靜息態(tài)大腦活動(dòng)研究。第二、交互對(duì)象的人格特質(zhì)對(duì)個(gè)體決策的影響。第三、動(dòng)態(tài)信息交互過(guò)程大腦的活動(dòng)規(guī)律。本課題主要考察推理深度對(duì)默認(rèn)網(wǎng)絡(luò)內(nèi)部子模塊的影響，以及決策博弈的動(dòng)態(tài)信息交互過(guò)程中各系統(tǒng)的交互關(guān)系。

（二）本課題研究的學(xué)術(shù)價(jià)值

本課題研究具有十分明顯的跨學(xué)科特征，在信息互動(dòng)的理論和應(yīng)用方面都將產(chǎn)生有重要價(jià)值的研究成果。

1.具有重要的理論意義。從理論方面看，建立具有較強(qiáng)適應(yīng)性和普遍性的信息互動(dòng)的動(dòng)態(tài)認(rèn)知邏輯理論、對(duì)復(fù)雜系統(tǒng)行為的邏輯分析與建模等，都將產(chǎn)生能夠處理現(xiàn)實(shí)信息互動(dòng)問(wèn)題的基礎(chǔ)理論研究成果；通過(guò)邏輯、認(rèn)知與計(jì)算的交叉研究，結(jié)合動(dòng)態(tài)邏輯、認(rèn)知計(jì)算、模式識(shí)別等三大理論，對(duì)于建立能處理復(fù)雜社會(huì)網(wǎng)絡(luò)中信息互動(dòng)問(wèn)題的理論體系具有重要意義。

2.具有重要的應(yīng)用價(jià)值。從應(yīng)用方面看，基于邏輯程序研究社會(huì)網(wǎng)絡(luò)中的信息更新將產(chǎn)生具有重要應(yīng)用價(jià)值的程序系統(tǒng)；對(duì)信息互動(dòng)的神經(jīng)科學(xué)研究將產(chǎn)生能夠應(yīng)用于社會(huì)群體和個(gè)體行為預(yù)測(cè)與控制的重要研究成果，這將在解決當(dāng)前輿情傳播與社會(huì)突發(fā)性事件、醫(yī)療服務(wù)中由于信息互動(dòng)不通暢導(dǎo)致的醫(yī)患關(guān)系緊張、網(wǎng)絡(luò)互動(dòng)控制等重大現(xiàn)實(shí)社會(huì)問(wèn)題方面，具有重要的應(yīng)用前景。

二、本課題研究的基本思路與主要內(nèi)容

（一）基本思路

本課題研究從具體的信息互動(dòng)場(chǎng)景和一般性信息互動(dòng)理論兩方面入手，一方面揭示信息互動(dòng)的內(nèi)部和外部具體運(yùn)作機(jī)制，主要包括認(rèn)知神經(jīng)機(jī)制和社會(huì)網(wǎng)絡(luò)節(jié)點(diǎn)信息交互的計(jì)算機(jī)制；另一方面建立信息互動(dòng)的一般性邏輯理論，包括信息互動(dòng)的動(dòng)態(tài)認(rèn)知邏輯理論和復(fù)雜系統(tǒng)行為的邏輯理論。這兩個(gè)方面相互作用，形成關(guān)于信息互動(dòng)的邏輯、計(jì)算與認(rèn)知的理論體系。

本課題的研究著重于信息的互動(dòng)視角，而不僅僅是關(guān)于靜態(tài)信息狀態(tài)的描述。信息互動(dòng)是人類社會(huì)網(wǎng)絡(luò)活動(dòng)的主要因素，在多主體系統(tǒng)中，信息不僅在個(gè)體或群體之間傳遞，而且也與個(gè)體或群體原有的信息進(jìn)行互動(dòng)，并且使個(gè)體或群體的信息發(fā)生變化更新，進(jìn)而影響個(gè)體或群體的行為。另一方面，除了計(jì)算機(jī)科學(xué)、邏輯和哲學(xué)等學(xué)科領(lǐng)域的技術(shù)和方法，本課題特別考慮增加認(rèn)知神經(jīng)心理學(xué)的視角，對(duì)信息互動(dòng)問(wèn)題展開(kāi)研究，同時(shí)也增加了心理信息這個(gè)重要的信息概念。這樣從邏輯、計(jì)算與認(rèn)知三大角度，對(duì)信息互動(dòng)展開(kāi)研究。最后，本課題還考慮引入復(fù)雜系統(tǒng)科學(xué)的視角，從物理機(jī)制方面研究社會(huì)活動(dòng)中的信息互動(dòng)問(wèn)題，而且運(yùn)用邏輯方面建立一般性的復(fù)雜系統(tǒng)行為的邏輯模型，使得研究視角更加完備。

本課題在互動(dòng)視角下研究社會(huì)網(wǎng)絡(luò)中的信息變化，主要通過(guò)如下途徑展開(kāi)：

第一、基于動(dòng)態(tài)認(rèn)知邏輯技術(shù)和方法研究社會(huì)網(wǎng)絡(luò)中的聯(lián)盟或群體動(dòng)態(tài)認(rèn)知邏輯，反映信息更新或變化的各種一般性機(jī)制。

第二、基于回答集程序、知識(shí)表示與推理等技術(shù)，研究社會(huì)網(wǎng)絡(luò)中節(jié)點(diǎn)之間的信息互動(dòng)，建立計(jì)算信息交互的模型，實(shí)現(xiàn)信息交互和節(jié)點(diǎn)行為策略推理。

第三、運(yùn)用功能磁共振成像和腦成像技術(shù)，通過(guò)心理實(shí)驗(yàn)手段來(lái)研究大腦活動(dòng)默認(rèn)網(wǎng)絡(luò)的信息互動(dòng)問(wèn)題，研究信息互動(dòng)的內(nèi)部認(rèn)知神經(jīng)機(jī)制。

第四、通過(guò)邏輯建模方法研究復(fù)雜系統(tǒng)行為的推理理論，建立真正的非單調(diào)演化邏輯，模擬社會(huì)網(wǎng)絡(luò)中復(fù)雜系統(tǒng)的演化過(guò)程。

（二）主要內(nèi)容

本課題由四個(gè)子課題組成。

子課題一，擬解決的主要問(wèn)題是社會(huì)網(wǎng)絡(luò)中信息互動(dòng)的模式及其邏輯分析，建立信息互動(dòng)的邏輯理論。信息互動(dòng)涉及多主體之間的信息網(wǎng)絡(luò)交互問(wèn)題，包括信息傳遞、信息變化和更新等多個(gè)方面。

子課題二，包括三個(gè)內(nèi)容：一是采用回答集程序表示節(jié)點(diǎn)知識(shí)，針對(duì)節(jié)點(diǎn)之間不同的關(guān)系，設(shè)計(jì)不同交互機(jī)制。交互機(jī)制可以分為以下3種：交互每一方根據(jù)對(duì)方的信息進(jìn)行修正；一方根據(jù)另外一方提供的信息進(jìn)行修正；交互每一方只接收對(duì)方提供的信息，并不對(duì)自己的信息進(jìn)行修正。二是基于知識(shí)分離的快速計(jì)算信息交互模型研究。三是節(jié)點(diǎn)行為策略推理研究。

子課題三，將利用功能磁共振等腦成像手段，結(jié)合大腦功能連接分析、多變量模式識(shí)別等先進(jìn)技術(shù)，對(duì)心理理論的動(dòng)態(tài)過(guò)程開(kāi)展研究。試圖較全面地揭示心理理論加工過(guò)程中大腦功能活動(dòng)的特征。重點(diǎn)研究?jī)?nèi)容有三點(diǎn)：一是關(guān)于心理理論的靜息態(tài)功能磁共振研究；二是關(guān)于交互對(duì)象人格特質(zhì)對(duì)心理理論能力的影響研究；三是關(guān)于心理理論的動(dòng)態(tài)信息交互研究。

子課題四，將對(duì)復(fù)雜系統(tǒng)更為具體的行為，如聚集行為、自組織行為、非理性選擇行為、創(chuàng)造性行為和模式推理行為等進(jìn)行形式化研究和邏輯建模。重點(diǎn)研究?jī)?nèi)容有五點(diǎn)：一是關(guān)于復(fù)雜系統(tǒng)的聚集行為研究；二是關(guān)于復(fù)雜系統(tǒng)的自組織行為研究；三是關(guān)于非理性選擇的邏輯基礎(chǔ)研究；四是關(guān)于復(fù)雜系統(tǒng)的創(chuàng)造性行為研究；五是關(guān)于復(fù)雜系統(tǒng)的模式推理研究。

三、本課題研究的重點(diǎn)難點(diǎn)與創(chuàng)新之處

（一）本課題研究的重點(diǎn)

1.信息互動(dòng)的邏輯機(jī)制問(wèn)題。一是聯(lián)盟動(dòng)態(tài)認(rèn)知邏輯系統(tǒng)；二是聯(lián)盟博弈中個(gè)體偏好聚合問(wèn)題；三是群體認(rèn)知邏輯理論。

2.信息互動(dòng)的計(jì)算機(jī)制問(wèn)題。一是運(yùn)用回答集程序表示節(jié)點(diǎn)知識(shí)，設(shè)計(jì)節(jié)點(diǎn)之間信息交互機(jī)制；二是建立基于知識(shí)分離的快速計(jì)算信息交互模型；三是研究節(jié)點(diǎn)行為的策略推理。

3.信息互動(dòng)的認(rèn)知神經(jīng)機(jī)制問(wèn)題。一是心理理論的靜息態(tài)功能磁共振研究；二是交互對(duì)象人格特質(zhì)對(duì)心理理論能力的影響研究；三是心理理論的動(dòng)態(tài)信息交互研究。

4.信息互動(dòng)的物理機(jī)制問(wèn)題。一是復(fù)雜系統(tǒng)群聚行為的形式化分析和邏輯建模；二是復(fù)雜系統(tǒng)的自組織行為的形式化分析和邏輯建模；三是復(fù)雜系統(tǒng)的創(chuàng)造性行為的形式化分析和邏輯建模；四是復(fù)雜系統(tǒng)的模式推理。

（二）本課題研究的難點(diǎn)

1. 群體信息互動(dòng)的動(dòng)態(tài)認(rèn)知邏輯理論問(wèn)題。在聯(lián)盟認(rèn)知邏輯中引入動(dòng)態(tài)機(jī)制，從而建立群體信息互動(dòng)的動(dòng)態(tài)認(rèn)知邏輯理論，其中包括偏好聚合問(wèn)題的研究。這個(gè)問(wèn)題的難點(diǎn)在于，對(duì)一些群體知識(shí)或信念在聯(lián)盟邏輯框架類如何刻畫，以及如何描述它們的動(dòng)態(tài)變化機(jī)制。

2. 不協(xié)調(diào)的回答集問(wèn)題。運(yùn)用回答集程序表示知識(shí)時(shí)，難點(diǎn)在于處理不協(xié)調(diào)的回答集，它在交互模型設(shè)計(jì)時(shí)也會(huì)產(chǎn)生問(wèn)題。在研究節(jié)點(diǎn)行為策略推理時(shí)，難點(diǎn)在于策略推理本身不是單純的推理，而要結(jié)合時(shí)態(tài)、反事實(shí)、行動(dòng)和偏好的推理，因此難點(diǎn)在于如何將眾多方面結(jié)合在同一個(gè)邏輯理論中。

3.信息互動(dòng)的認(rèn)知神經(jīng)機(jī)制問(wèn)題。難點(diǎn)主要在于如何設(shè)計(jì)相應(yīng)的心理實(shí)驗(yàn)來(lái)達(dá)到預(yù)期的研究目的，揭示信息互動(dòng)行為的心理機(jī)制。

4.復(fù)雜系統(tǒng)問(wèn)題。主要難點(diǎn)是設(shè)計(jì)用于描述復(fù)雜系統(tǒng)各種行為的形式化語(yǔ)言和邏輯系統(tǒng)，證明邏輯系統(tǒng)的性質(zhì)。這是一類新的信息互動(dòng)問(wèn)題，在已有的邏輯動(dòng)態(tài)學(xué)中尚未得到研究，因此問(wèn)題本身就是研究的難點(diǎn)。

（三）本課題的創(chuàng)新之處

1.研究?jī)?nèi)容創(chuàng)新

（1）本課題提出研究聯(lián)盟動(dòng)態(tài)認(rèn)知邏輯，在聯(lián)盟認(rèn)知邏輯基礎(chǔ)上引入動(dòng)態(tài)因素，包括時(shí)間和概率因素，使得聯(lián)盟邏輯所反映的聯(lián)盟能力、偏好聚合和群體認(rèn)知所反映的認(rèn)知信息動(dòng)態(tài)化，在一定程度上可以建立社會(huì)網(wǎng)絡(luò)中信息交互的一般性理論。這種邏輯理論，在一定程度上將原有個(gè)體知識(shí)和信念的變化提升到群體或聯(lián)盟層面，屬于創(chuàng)新性理論。

（2）本課題建立社會(huì)網(wǎng)絡(luò)節(jié)點(diǎn)之間信息交互機(jī)制，從計(jì)算智能的視角研究知識(shí)更新和信念修正，并且在博弈問(wèn)題上具體實(shí)現(xiàn)信息交互，這個(gè)屬于從計(jì)算角度研究社會(huì)科學(xué)的新問(wèn)題。

（3）本課題提出研究人際信息互動(dòng)的認(rèn)知神經(jīng)機(jī)制，對(duì)心理過(guò)程中默認(rèn)網(wǎng)絡(luò)子模塊功能分工以及默認(rèn)網(wǎng)絡(luò)和其他靜息態(tài)腦網(wǎng)絡(luò)之間的交互關(guān)系，這屬于認(rèn)知神經(jīng)科學(xué)研究的新內(nèi)容。

（4）對(duì)復(fù)雜系統(tǒng)的群聚行為進(jìn)行形式化研究及邏輯建模型，進(jìn)而得出動(dòng)態(tài)聚類方法。對(duì)交互和反饋機(jī)制的認(rèn)知機(jī)理的進(jìn)一步研究，可解釋復(fù)雜系統(tǒng)的自組織行為的形成過(guò)程。對(duì)個(gè)體的模仿行為和盲目從眾行為等進(jìn)行形式化刻畫，給出其邏輯模型，可在一定程度上從新的角度解釋人的學(xué)習(xí)機(jī)理。對(duì)復(fù)雜系統(tǒng)的創(chuàng)造性行為的形式化研究，可為進(jìn)化和演化提供一種全新的解釋視覺(jué)。在一定程度上可為進(jìn)化算法特別是遺傳算法加入新的元素，注入新的活力。復(fù)雜系統(tǒng)模式的形成機(jī)制及其復(fù)雜系統(tǒng)模式推理邏輯系統(tǒng)的建立，可對(duì)邏輯理論研究提供全新方法，在根本上從靜態(tài)封閉走向動(dòng)態(tài)開(kāi)放。

2.研究方法創(chuàng)新

（1）本課題在聯(lián)盟認(rèn)知邏輯基礎(chǔ)上引入動(dòng)態(tài)邏輯方法，建立新的邏輯理論。

（2）本課題利用回答集程序表示節(jié)點(diǎn)知識(shí)來(lái)實(shí)現(xiàn)節(jié)點(diǎn)之間的信息交互，屬于從計(jì)算智能角度研究信息互動(dòng)問(wèn)題的方法創(chuàng)新。

（3）本課題運(yùn)用功能磁共振技術(shù)、網(wǎng)絡(luò)源定位技術(shù)和EEG-fMRI對(duì)稱融合技術(shù)，從模塊分析、多變量模式分析、動(dòng)態(tài)因果鏈接等多方面研究信息互動(dòng)的認(rèn)知神經(jīng)基礎(chǔ)，屬于研究技術(shù)手段創(chuàng)新。

（4）本課題提出運(yùn)用邏輯的形式化方法來(lái)研究復(fù)雜系統(tǒng)行為的邏輯理論，在社會(huì)復(fù)雜系統(tǒng)研究方面屬于研究方法上的創(chuàng)新。

3.學(xué)術(shù)觀點(diǎn)創(chuàng)新

（1）本課題提出，從“邏輯-物理-計(jì)算-心理”等四大角度多學(xué)科交叉研究信息互動(dòng)機(jī)制，特別引入復(fù)雜系統(tǒng)科學(xué)的視角和認(rèn)知神經(jīng)科學(xué)的視角，對(duì)于信息互動(dòng)問(wèn)題研究屬于研究視角創(chuàng)新。

（2）本課題提出，以動(dòng)態(tài)認(rèn)知邏輯為基礎(chǔ)建立動(dòng)態(tài)聯(lián)盟認(rèn)知邏輯以及一般性的群體認(rèn)知邏輯理論，而且在這種理論中引入時(shí)間和概率，處理聯(lián)盟博弈的具體信息互動(dòng)問(wèn)題。

（3）本課題認(rèn)為，通過(guò)知識(shí)分離局部化解信息交互問(wèn)題能夠有效地加速求解問(wèn)題，從事實(shí)推導(dǎo)出的具有良基關(guān)系的集合是合理的知識(shí)核心假設(shè)。

（4）本課題認(rèn)為，動(dòng)態(tài)信息交互過(guò)程中大腦的活動(dòng)規(guī)律能夠通過(guò)決策博范式進(jìn)行研究；大腦靜息態(tài)活動(dòng)與人格特質(zhì)有密切的關(guān)系。

（5）本課題認(rèn)為，能夠運(yùn)用邏輯學(xué)的形式化方法研究社會(huì)復(fù)雜系統(tǒng)行為，建立邏輯模型。

四、本課題的研究方法與預(yù)期目標(biāo)

（一）主要研究方法

1.邏輯學(xué)的形式化方法。本課題要研究博弈等現(xiàn)實(shí)信息互動(dòng)模型中多主體信息互動(dòng)的邏輯理論，以及社會(huì)網(wǎng)絡(luò)復(fù)雜系統(tǒng)行為的邏輯理論，所采用的方法是現(xiàn)代邏輯的形式化方法。這種方法的一般步驟如下：首先建立所研究對(duì)象邏輯模型，然后建立談?wù)撨@些模型性質(zhì)的形式語(yǔ)言，最后建立能夠刻畫在模型上進(jìn)行的邏輯推理的形式系統(tǒng)，實(shí)現(xiàn)形式化和邏輯建模。邏輯理論可應(yīng)用于人工智能領(lǐng)域有關(guān)問(wèn)題的研究。在一般性的邏輯方法指引下，我們還要引入邏輯動(dòng)態(tài)學(xué)，將邏輯學(xué)的形式化方法擴(kuò)展到關(guān)于信息動(dòng)態(tài)變化的研究領(lǐng)域，將靜態(tài)的邏輯理論與動(dòng)態(tài)問(wèn)題結(jié)合起來(lái)。所形成的邏輯動(dòng)態(tài)學(xué)能夠反映信息的動(dòng)態(tài)變化。這種方法經(jīng)過(guò)10多年的發(fā)展，具備可操作性，在計(jì)算機(jī)科學(xué)領(lǐng)域中也有廣泛的應(yīng)用前景，應(yīng)用于本課題研究是可行的。

2.從計(jì)算智能角度運(yùn)用人工智能領(lǐng)域的前沿技術(shù)，研究社會(huì)網(wǎng)絡(luò)中節(jié)點(diǎn)信息交互。通過(guò)邏輯進(jìn)行知識(shí)表示與推理研究節(jié)點(diǎn)的知識(shí)更新和信念修正。回答集程序是一種基于回答集（又稱穩(wěn)定模型）語(yǔ)義的非單調(diào)邏輯程序。回答集程序是一種面向復(fù)雜的（主要是NP困難的）組合搜索問(wèn)題求解的陳述性編程語(yǔ)言。隨著非單調(diào)邏輯推理在知識(shí)表示中使用的發(fā)展，回答集程序在知識(shí)密集型應(yīng)用中顯得尤其有用。在回答集程序中，搜索問(wèn)題被歸約為對(duì)回答集（即回答集程序的解）的計(jì)算。目前已經(jīng)發(fā)明了一些求解回答集的系統(tǒng)，如Clasp、ASSAT、Smodels、DLV 等。這些求解系統(tǒng)的成功研制，極大地推動(dòng)了回答集程序的應(yīng)用。目前回答集程序已經(jīng)被廣泛地應(yīng)用于NASA 航空航天決策支持、系統(tǒng)規(guī)劃、產(chǎn)品自動(dòng)配置以及生物進(jìn)化研究等領(lǐng)域。在協(xié)商、討價(jià)還價(jià)等一些信息交互研究中，研究者們已采用回答集程序作為知識(shí)表示的手段。運(yùn)用這樣的技術(shù)手段研究信息互動(dòng)問(wèn)題是可行的。

3．需要借助大型心理學(xué)實(shí)驗(yàn)設(shè)備。實(shí)驗(yàn)設(shè)備包括核磁共振成像fMRI和時(shí)間電位ERP測(cè)量?jī)x器。本課題研究的責(zé)任單位能夠提供這些儀器設(shè)備。本課題采取的技術(shù)手段是當(dāng)前認(rèn)知心理學(xué)和認(rèn)知神經(jīng)科學(xué)所采用的先進(jìn)技術(shù)手段，心理科學(xué)實(shí)驗(yàn)是本課題研究的技術(shù)路線。這些技術(shù)手段和實(shí)驗(yàn)方法在長(zhǎng)期研究過(guò)程中取得了良好的研究效果，適用于研究信息互動(dòng)的腦機(jī)制問(wèn)題。本課題基于當(dāng)前國(guó)際學(xué)術(shù)界前沿研究成果，采取的技術(shù)手段具有很強(qiáng)的可操作性，能夠?qū)⒍喾N手段和方法結(jié)合起來(lái)對(duì)同一心理現(xiàn)象開(kāi)展研究，提高研究結(jié)論的可靠度和可重復(fù)操作性。

（二）預(yù)期實(shí)現(xiàn)目標(biāo)

本課題在學(xué)術(shù)研究方面的預(yù)期目標(biāo)是，基于多學(xué)科交叉融合研究信息互動(dòng)問(wèn)題，確定社會(huì)網(wǎng)絡(luò)中信息互動(dòng)的“邏輯-物理-計(jì)算-心理”機(jī)制。各個(gè)子課題所研究的學(xué)術(shù)前沿問(wèn)題取得突破，取得創(chuàng)新性研究成果，提高多學(xué)科交叉融合研究的水平。本課題合計(jì)發(fā)表高水平學(xué)術(shù)論文至少60篇，每個(gè)子課題預(yù)計(jì)出版1部該方向研究的學(xué)術(shù)專著。以各個(gè)子課題研究的成果為基礎(chǔ)，形成1部約60萬(wàn)字的標(biāo)志性專著，作為總課題的研究成果和結(jié)題報(bào)告成果。

在學(xué)科建設(shè)方面，在學(xué)科交叉融合的大背景下，本課題將探索一條多學(xué)科深度交叉研究信息互動(dòng)問(wèn)題的方式和方法，形成協(xié)同創(chuàng)新的學(xué)術(shù)共同體，依托課題研究改變?nèi)瞬排囵B(yǎng)方式。促進(jìn)信息互動(dòng)相關(guān)學(xué)科的建設(shè)和發(fā)展，形成一些較為完善的文理交叉、理論與應(yīng)用相結(jié)合、多學(xué)科交叉融合的學(xué)科分支，比如社會(huì)復(fù)雜系統(tǒng)邏輯學(xué)、信息互動(dòng)神經(jīng)心理學(xué)、信息交互智能科學(xué)、信息動(dòng)態(tài)邏輯學(xué)等。

在科研成果轉(zhuǎn)化方面，不僅要把學(xué)術(shù)研究成果轉(zhuǎn)化為人才培養(yǎng)資源，而且要結(jié)合經(jīng)濟(jì)社會(huì)發(fā)展的實(shí)際需要，嘗試努力將信息互動(dòng)機(jī)制引入社會(huì)發(fā)展的各個(gè)方面，促進(jìn)科研成果轉(zhuǎn)化。

五、本課題研究的基礎(chǔ)與困難

（一）本課題研究的基礎(chǔ)

有一定的前期研究。一是課題組成員已經(jīng)在國(guó)內(nèi)外雜志上發(fā)表了不少論文和在國(guó)內(nèi)外著名出版社出版了不少專著。二是大多課題組成員都曾在國(guó)外留學(xué)，有一年以上的出國(guó)經(jīng)歷，并正在深入研究與本課題相關(guān)的研究課題，積累了豐富的研究經(jīng)驗(yàn)。有兩位知名的外國(guó)專家和一名在國(guó)外工作的知名中國(guó)專家，尤其是維也納邏輯之夏終生成就獎(jiǎng)得主、貴州科學(xué)院張明義研究員參與了該課題的研究。三是掌握了較為豐富的資料信息。

有較強(qiáng)的研究團(tuán)隊(duì)。首席專家何向東教授很強(qiáng)的組織管理能力和人格魅力大大增強(qiáng)了研究團(tuán)隊(duì)的凝聚力。

有學(xué)校的大力支持。除國(guó)家社科基金項(xiàng)目支持外，還有學(xué)校在人員和資金上的支持和配套。

（二）本課題研究的困難

本課題研究中存在著不少難題：一是對(duì)一些群體知識(shí)或信念在聯(lián)盟邏輯框架類中如何刻畫，以及如何描述它們的動(dòng)態(tài)變化機(jī)制問(wèn)題；二是在策略推理中，如何把時(shí)態(tài)、反事實(shí)、行動(dòng)和偏好的推理結(jié)合在同一個(gè)邏輯理論中的問(wèn)題；三是在信息互動(dòng)的認(rèn)知神經(jīng)機(jī)制方面，如何設(shè)計(jì)相應(yīng)的心理實(shí)驗(yàn)來(lái)達(dá)到預(yù)期的研究目的，揭示信息互動(dòng)行為的心理機(jī)制問(wèn)題；四是如何設(shè)計(jì)用于描述復(fù)雜系統(tǒng)各種行為的形式化語(yǔ)言和邏輯系統(tǒng)，以證明邏輯系統(tǒng)的性質(zhì)問(wèn)題。

本課題研究具有十分明顯的跨學(xué)科特征，因而容易產(chǎn)生這樣兩個(gè)問(wèn)題：一是各課題組如何對(duì)接、互動(dòng)的問(wèn)題；二是如何處理好知識(shí)產(chǎn)權(quán)的問(wèn)題。

與會(huì)專家就課題順利推進(jìn)提出的意見(jiàn)和建議

專家組在充分肯定該課題具有重要的理論意義和應(yīng)用價(jià)值的同時(shí)，對(duì)該課題順利推進(jìn)提出了不少建設(shè)性的意見(jiàn)和建議。

張明義研究員提出兩點(diǎn)建議：首先，課題組成員在研究中應(yīng)當(dāng)跟蹤國(guó)內(nèi)外研究前沿，弄清信息互動(dòng)的邏輯到底以什么為基礎(chǔ)，現(xiàn)在發(fā)展的形勢(shì)怎樣。這樣，一開(kāi)始就能夠站到學(xué)術(shù)前沿陣地上去，以避免走彎路，提高研究效率。其次，信息互動(dòng)的邏輯一定得有一套形式語(yǔ)言。把信息互動(dòng)的邏輯擴(kuò)展到認(rèn)知和心理學(xué)中去，把這幾個(gè)方面結(jié)合起來(lái)進(jìn)行研究，如果用一套像數(shù)學(xué)那樣的描述性語(yǔ)言來(lái)做研究的話，就能夠用計(jì)算機(jī)來(lái)實(shí)現(xiàn)，從而達(dá)到應(yīng)用的目的。

張自力教授說(shuō)，本課題研究的應(yīng)主要集中于社會(huì)智能，就是試圖弄清楚邏輯能在多大程度上去描述它。張自力教授從自己工程的知識(shí)背景出發(fā)強(qiáng)調(diào)了如下兩點(diǎn)：一是建議課題組成員在研究該課題時(shí)參考微軟做的系統(tǒng)。大約兩年前，微軟已經(jīng)把知識(shí)智能、網(wǎng)絡(luò)智能和社會(huì)智能結(jié)合起來(lái)做了一個(gè)系統(tǒng)，那個(gè)系統(tǒng)沒(méi)有像該課題這樣從邏輯、認(rèn)知、心理等層面進(jìn)行深入研究，但是只要隨便輸入一副對(duì)聯(lián)的上聯(lián)，它就能夠生成下聯(lián)。如果覺(jué)得它對(duì)得不怎么好，還可以進(jìn)行修改，從而完成了交互。二是建議課題組成員在研究該課題時(shí)借鑒“AI-100”計(jì)劃和“中國(guó)大腦”計(jì)劃。美國(guó)斯坦福大學(xué)調(diào)集了全球頂級(jí)的人工智能專家，發(fā)布了一個(gè)“AI-100”計(jì)劃，國(guó)內(nèi)也提出了“中國(guó)大腦”計(jì)劃，都是在做這方面的交叉學(xué)科研究。通過(guò)參考他們的研究成果并嘗試使用這些系統(tǒng)，對(duì)該課題的研究會(huì)是有大有裨益的。

任曉明教授充分肯定該項(xiàng)目題選得好，眼界開(kāi)闊，視角新穎，具有很強(qiáng)的概括性和包容性。課題組成員皆堪稱精兵強(qiáng)將，再加上何向東教授很強(qiáng)的親和力使研究團(tuán)隊(duì)極大地增強(qiáng)了凝聚力。任曉明教授提出三個(gè)建議：首先，大數(shù)據(jù)以前有人做過(guò)，但做得比較膚淺，希望課題組成員努力發(fā)掘自己的研究潛力，推陳出新，從而在研究上取得突破性的成果。其次，研究計(jì)劃大的方面可以不動(dòng)，隨著研究的不斷深入，細(xì)節(jié)上還可以做些調(diào)整，從而使其進(jìn)一步得到充實(shí)和完善。最后，在選題內(nèi)容上，課題組成員相關(guān)代表性成果應(yīng)當(dāng)著重突出在國(guó)際著名刊物發(fā)表的論文和在國(guó)際著名出版社出版的專著。

鄒崇理研究員著重談了四個(gè)問(wèn)題：首先，他自己四年前承擔(dān)的課題與該課題有相同之處，二者都有邏輯和信息，但前者是語(yǔ)言，后者是認(rèn)知和心理，牽涉的面要廣得多，因而研究起來(lái)的難度也更大，應(yīng)當(dāng)引起大家足夠重視。其次，信息邏輯國(guó)外早就提出來(lái)了，它與信息互動(dòng)邏輯有什么區(qū)別和聯(lián)系，有沒(méi)有可以借鑒的地方，信息互動(dòng)邏輯有沒(méi)有一套實(shí)現(xiàn)的形式語(yǔ)言，這些都是值得認(rèn)真研究的。再次，跨學(xué)科研究必須處理好知識(shí)產(chǎn)權(quán)問(wèn)題，子課題負(fù)責(zé)人應(yīng)當(dāng)定期或不定期匯報(bào)、交流，切實(shí)加強(qiáng)子課題之間的對(duì)接、互動(dòng)，從而有效避免生拉活扯、貌合神離現(xiàn)象的發(fā)生。最后，關(guān)于自然語(yǔ)言的邏輯研究由語(yǔ)法研究、語(yǔ)義研究和語(yǔ)用研究三部分組成。國(guó)內(nèi)外語(yǔ)法研究都很成功，但是語(yǔ)義研究卻舉步維艱，在計(jì)算機(jī)上難以實(shí)現(xiàn)，這是本課題研究需要突破的難點(diǎn)之一。

與會(huì)領(lǐng)導(dǎo)和嘉賓致辭

開(kāi)題報(bào)告會(huì)第一階段，由西南大學(xué)張衛(wèi)國(guó)校長(zhǎng)首先宣讀了立項(xiàng)通知，向項(xiàng)目組表示祝賀，并代表學(xué)校向遠(yuǎn)道而來(lái)的與會(huì)專家表示熱烈歡迎。張衛(wèi)國(guó)校長(zhǎng)表示，西南大學(xué)始終堅(jiān)持走以重大項(xiàng)目為牽引，帶動(dòng)人才隊(duì)伍的建設(shè)和研究水平的提升的科研之路，學(xué)校高度重視重大項(xiàng)目的策劃及其申請(qǐng)后的后期研究，在人員和資金上給予支持和配套。

西南大學(xué)政治與公共管理學(xué)院陳躍院長(zhǎng)指出，在邏輯學(xué)團(tuán)隊(duì)的支撐下，政管院順利拿下了哲學(xué)一級(jí)學(xué)科博士點(diǎn)。現(xiàn)在由何向東教授為首席專家主持的這項(xiàng)國(guó)家社科基金重大項(xiàng)目，將有力地團(tuán)結(jié)校內(nèi)外邏輯學(xué)、計(jì)算機(jī)科學(xué)和心理學(xué)等學(xué)科方面的科研骨干，對(duì)邏輯與智能研究中心這一重慶市重點(diǎn)研究基地的隊(duì)伍建設(shè)、學(xué)科建設(shè)以及學(xué)院未來(lái)的發(fā)展都將作出巨大貢獻(xiàn)。最后，維也納邏輯之夏終生成就獎(jiǎng)得主、貴州科學(xué)院張明義研究員則充分肯定了該項(xiàng)目立項(xiàng)的重大意義和價(jià)值，希望課題組能作出國(guó)際一流的學(xué)術(shù)成果。

（課題組供稿）