《信息互動的邏輯、認知與計算研究》開題報告

內容提要：

3月21日上午，由西南大學何向東教授為首席專家承擔的2014年度國家社科基金重大項目《信息互動的邏輯、認知與計算研究》（14ZDB016）開題報告會在政治與公共管理學院3201會議室舉行。

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

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

何向東教授及其課題組成員在聽取專家意見后表示，將認真研究專家們的建設性意見和建議，課題的研究團隊將建立一種長期合作的有效機制，加強各個子課題之間的互動和內在聯系，進一步理清研究思路，拓展研究視野，創新研究方法，按計劃完成課題研究任務，力圖取得在國際上有一定影響的研究成果。

《信息互動的邏輯、認知與計算研究》開題報告

信息互動是計算機與信息科學、心理學和哲學的共同問題，三大領域的學者對它以各自獨特的方法展開研究，同時涉及經濟學中的博弈論和社會選擇理論等，從多個方面形成了關于社會活動中信息互動的理論和應用研究成果，典型的理論領域包括數理社會科學、計算博弈論、社會選擇理論、人機交互理論、認知神經科學、邏輯動態學、信息哲學等等。信息互動在當代科學研究和社會發展各個領域起著無法替代的重要作用。深入研究信息互動的模式及其在社會中的作用，對于促進經濟社會和諧發展、提高科學管理決策水平等都具有極其重要而深遠的意義。

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

（一）本課題提出的背景

信息互動是在社會網絡中發生的主要現象。本課題以社會網絡中的信息互動為主要研究對象，以邏輯、認知與計算為研究視角，對信息互動的機制問題展開研究。

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

2.優化信息互動模型，解決誤解、信息傳遞失敗等問題。在信息互動中會出現多種現象，比如誤解、信息傳遞失敗、協議等等，因而一些具體的信息互動模型已經被構造起來。公開宣告的動態邏輯提供了處理多主體系統中動態問題的一般性方法。然而，對于社會網絡中的群聚或聯盟行為以及個體知識、信念和偏好等信息的聚合行為，仍然有待于進一步深入的研究。對聯盟的邏輯理論研究尚處于起步階段，它的優點是處理社會網絡中信息聚合問題，以它為基礎，再引入動態機制，就可以處理群體或聯盟信息及其動態變化問題，形成能夠處理社會網絡中信息互動的一般性邏輯理論。

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

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

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

（二）本課題研究的學術價值

本課題研究具有十分明顯的跨學科特征，在信息互動的理論和應用方面都將產生有重要價值的研究成果。

1.具有重要的理論意義。從理論方面看，建立具有較強適應性和普遍性的信息互動的動態認知邏輯理論、對復雜系統行為的邏輯分析與建模等，都將產生能夠處理現實信息互動問題的基礎理論研究成果；通過邏輯、認知與計算的交叉研究，結合動態邏輯、認知計算、模式識別等三大理論，對于建立能處理復雜社會網絡中信息互動問題的理論體系具有重要意義。

2.具有重要的應用價值。從應用方面看，基于邏輯程序研究社會網絡中的信息更新將產生具有重要應用價值的程序系統；對信息互動的神經科學研究將產生能夠應用于社會群體和個體行為預測與控制的重要研究成果，這將在解決當前輿情傳播與社會突發性事件、醫療服務中由于信息互動不通暢導致的醫患關系緊張、網絡互動控制等重大現實社會問題方面，具有重要的應用前景。

二、本課題研究的基本思路與主要內容

（一）基本思路

本課題研究從具體的信息互動場景和一般性信息互動理論兩方面入手，一方面揭示信息互動的內部和外部具體運作機制，主要包括認知神經機制和社會網絡節點信息交互的計算機制；另一方面建立信息互動的一般性邏輯理論，包括信息互動的動態認知邏輯理論和復雜系統行為的邏輯理論。這兩個方面相互作用，形成關于信息互動的邏輯、計算與認知的理論體系。

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

本課題在互動視角下研究社會網絡中的信息變化，主要通過如下途徑展開：

第一、基于動態認知邏輯技術和方法研究社會網絡中的聯盟或群體動態認知邏輯，反映信息更新或變化的各種一般性機制。

第二、基于回答集程序、知識表示與推理等技術，研究社會網絡中節點之間的信息互動，建立計算信息交互的模型，實現信息交互和節點行為策略推理。

第三、運用功能磁共振成像和腦成像技術，通過心理實驗手段來研究大腦活動默認網絡的信息互動問題，研究信息互動的內部認知神經機制。

第四、通過邏輯建模方法研究復雜系統行為的推理理論，建立真正的非單調演化邏輯，模擬社會網絡中復雜系統的演化過程。

（二）主要內容

本課題由四個子課題組成。

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

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

子課題三，將利用功能磁共振等腦成像手段，結合大腦功能連接分析、多變量模式識別等先進技術，對心理理論的動態過程開展研究。試圖較全面地揭示心理理論加工過程中大腦功能活動的特征。重點研究內容有三點：一是關于心理理論的靜息態功能磁共振研究；二是關于交互對象人格特質對心理理論能力的影響研究；三是關于心理理論的動態信息交互研究。

子課題四，將對復雜系統更為具體的行為，如聚集行為、自組織行為、非理性選擇行為、創造性行為和模式推理行為等進行形式化研究和邏輯建模。重點研究內容有五點：一是關于復雜系統的聚集行為研究；二是關于復雜系統的自組織行為研究；三是關于非理性選擇的邏輯基礎研究；四是關于復雜系統的創造性行為研究；五是關于復雜系統的模式推理研究。

三、本課題研究的重點難點與創新之處

（一）本課題研究的重點

1.信息互動的邏輯機制問題。一是聯盟動態認知邏輯系統；二是聯盟博弈中個體偏好聚合問題；三是群體認知邏輯理論。

2.信息互動的計算機制問題。一是運用回答集程序表示節點知識，設計節點之間信息交互機制；二是建立基于知識分離的快速計算信息交互模型；三是研究節點行為的策略推理。

3.信息互動的認知神經機制問題。一是心理理論的靜息態功能磁共振研究；二是交互對象人格特質對心理理論能力的影響研究；三是心理理論的動態信息交互研究。

4.信息互動的物理機制問題。一是復雜系統群聚行為的形式化分析和邏輯建模；二是復雜系統的自組織行為的形式化分析和邏輯建模；三是復雜系統的創造性行為的形式化分析和邏輯建模；四是復雜系統的模式推理。

（二）本課題研究的難點

1. 群體信息互動的動態認知邏輯理論問題。在聯盟認知邏輯中引入動態機制，從而建立群體信息互動的動態認知邏輯理論，其中包括偏好聚合問題的研究。這個問題的難點在于，對一些群體知識或信念在聯盟邏輯框架類如何刻畫，以及如何描述它們的動態變化機制。

2. 不協調的回答集問題。運用回答集程序表示知識時，難點在于處理不協調的回答集，它在交互模型設計時也會產生問題。在研究節點行為策略推理時，難點在于策略推理本身不是單純的推理，而要結合時態、反事實、行動和偏好的推理，因此難點在于如何將眾多方面結合在同一個邏輯理論中。

3.信息互動的認知神經機制問題。難點主要在于如何設計相應的心理實驗來達到預期的研究目的，揭示信息互動行為的心理機制。

4.復雜系統問題。主要難點是設計用于描述復雜系統各種行為的形式化語言和邏輯系統，證明邏輯系統的性質。這是一類新的信息互動問題，在已有的邏輯動態學中尚未得到研究，因此問題本身就是研究的難點。

（三）本課題的創新之處

1.研究內容創新

（1）本課題提出研究聯盟動態認知邏輯，在聯盟認知邏輯基礎上引入動態因素，包括時間和概率因素，使得聯盟邏輯所反映的聯盟能力、偏好聚合和群體認知所反映的認知信息動態化，在一定程度上可以建立社會網絡中信息交互的一般性理論。這種邏輯理論，在一定程度上將原有個體知識和信念的變化提升到群體或聯盟層面，屬于創新性理論。

（2）本課題建立社會網絡節點之間信息交互機制，從計算智能的視角研究知識更新和信念修正，并且在博弈問題上具體實現信息交互，這個屬于從計算角度研究社會科學的新問題。

（3）本課題提出研究人際信息互動的認知神經機制，對心理過程中默認網絡子模塊功能分工以及默認網絡和其他靜息態腦網絡之間的交互關系，這屬于認知神經科學研究的新內容。

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

2.研究方法創新

（1）本課題在聯盟認知邏輯基礎上引入動態邏輯方法，建立新的邏輯理論。

（2）本課題利用回答集程序表示節點知識來實現節點之間的信息交互，屬于從計算智能角度研究信息互動問題的方法創新。

（3）本課題運用功能磁共振技術、網絡源定位技術和EEG-fMRI對稱融合技術，從模塊分析、多變量模式分析、動態因果鏈接等多方面研究信息互動的認知神經基礎，屬于研究技術手段創新。

（4）本課題提出運用邏輯的形式化方法來研究復雜系統行為的邏輯理論，在社會復雜系統研究方面屬于研究方法上的創新。

3.學術觀點創新

（1）本課題提出，從“邏輯-物理-計算-心理”等四大角度多學科交叉研究信息互動機制，特別引入復雜系統科學的視角和認知神經科學的視角，對于信息互動問題研究屬于研究視角創新。

（2）本課題提出，以動態認知邏輯為基礎建立動態聯盟認知邏輯以及一般性的群體認知邏輯理論，而且在這種理論中引入時間和概率，處理聯盟博弈的具體信息互動問題。

（3）本課題認為，通過知識分離局部化解信息交互問題能夠有效地加速求解問題，從事實推導出的具有良基關系的集合是合理的知識核心假設。

（4）本課題認為，動態信息交互過程中大腦的活動規律能夠通過決策博范式進行研究；大腦靜息態活動與人格特質有密切的關系。

（5）本課題認為，能夠運用邏輯學的形式化方法研究社會復雜系統行為，建立邏輯模型。

四、本課題的研究方法與預期目標

（一）主要研究方法

1.邏輯學的形式化方法。本課題要研究博弈等現實信息互動模型中多主體信息互動的邏輯理論，以及社會網絡復雜系統行為的邏輯理論，所采用的方法是現代邏輯的形式化方法。這種方法的一般步驟如下：首先建立所研究對象邏輯模型，然后建立談論這些模型性質的形式語言，最后建立能夠刻畫在模型上進行的邏輯推理的形式系統，實現形式化和邏輯建模。邏輯理論可應用于人工智能領域有關問題的研究。在一般性的邏輯方法指引下，我們還要引入邏輯動態學，將邏輯學的形式化方法擴展到關于信息動態變化的研究領域，將靜態的邏輯理論與動態問題結合起來。所形成的邏輯動態學能夠反映信息的動態變化。這種方法經過10多年的發展，具備可操作性，在計算機科學領域中也有廣泛的應用前景，應用于本課題研究是可行的。

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

3．需要借助大型心理學實驗設備。實驗設備包括核磁共振成像fMRI和時間電位ERP測量儀器。本課題研究的責任單位能夠提供這些儀器設備。本課題采取的技術手段是當前認知心理學和認知神經科學所采用的先進技術手段，心理科學實驗是本課題研究的技術路線。這些技術手段和實驗方法在長期研究過程中取得了良好的研究效果，適用于研究信息互動的腦機制問題。本課題基于當前國際學術界前沿研究成果，采取的技術手段具有很強的可操作性，能夠將多種手段和方法結合起來對同一心理現象開展研究，提高研究結論的可靠度和可重復操作性。

（二）預期實現目標

本課題在學術研究方面的預期目標是，基于多學科交叉融合研究信息互動問題，確定社會網絡中信息互動的“邏輯-物理-計算-心理”機制。各個子課題所研究的學術前沿問題取得突破，取得創新性研究成果，提高多學科交叉融合研究的水平。本課題合計發表高水平學術論文至少60篇，每個子課題預計出版1部該方向研究的學術專著。以各個子課題研究的成果為基礎，形成1部約60萬字的標志性專著，作為總課題的研究成果和結題報告成果。

在學科建設方面，在學科交叉融合的大背景下，本課題將探索一條多學科深度交叉研究信息互動問題的方式和方法，形成協同創新的學術共同體，依托課題研究改變人才培養方式。促進信息互動相關學科的建設和發展，形成一些較為完善的文理交叉、理論與應用相結合、多學科交叉融合的學科分支，比如社會復雜系統邏輯學、信息互動神經心理學、信息交互智能科學、信息動態邏輯學等。

在科研成果轉化方面，不僅要把學術研究成果轉化為人才培養資源，而且要結合經濟社會發展的實際需要，嘗試努力將信息互動機制引入社會發展的各個方面，促進科研成果轉化。

五、本課題研究的基礎與困難

（一）本課題研究的基礎

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

有較強的研究團隊。首席專家何向東教授很強的組織管理能力和人格魅力大大增強了研究團隊的凝聚力。

有學校的大力支持。除國家社科基金項目支持外，還有學校在人員和資金上的支持和配套。

（二）本課題研究的困難

本課題研究中存在著不少難題：一是對一些群體知識或信念在聯盟邏輯框架類中如何刻畫，以及如何描述它們的動態變化機制問題；二是在策略推理中，如何把時態、反事實、行動和偏好的推理結合在同一個邏輯理論中的問題；三是在信息互動的認知神經機制方面，如何設計相應的心理實驗來達到預期的研究目的，揭示信息互動行為的心理機制問題；四是如何設計用于描述復雜系統各種行為的形式化語言和邏輯系統，以證明邏輯系統的性質問題。

本課題研究具有十分明顯的跨學科特征，因而容易產生這樣兩個問題：一是各課題組如何對接、互動的問題；二是如何處理好知識產權的問題。

與會專家就課題順利推進提出的意見和建議

專家組在充分肯定該課題具有重要的理論意義和應用價值的同時，對該課題順利推進提出了不少建設性的意見和建議。

張明義研究員提出兩點建議：首先，課題組成員在研究中應當跟蹤國內外研究前沿，弄清信息互動的邏輯到底以什么為基礎，現在發展的形勢怎樣。這樣，一開始就能夠站到學術前沿陣地上去，以避免走彎路，提高研究效率。其次，信息互動的邏輯一定得有一套形式語言。把信息互動的邏輯擴展到認知和心理學中去，把這幾個方面結合起來進行研究，如果用一套像數學那樣的描述性語言來做研究的話，就能夠用計算機來實現，從而達到應用的目的。

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

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

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

與會領導和嘉賓致辭

開題報告會第一階段，由西南大學張衛國校長首先宣讀了立項通知，向項目組表示祝賀，并代表學校向遠道而來的與會專家表示熱烈歡迎。張衛國校長表示，西南大學始終堅持走以重大項目為牽引，帶動人才隊伍的建設和研究水平的提升的科研之路，學校高度重視重大項目的策劃及其申請后的后期研究，在人員和資金上給予支持和配套。

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

（課題組供稿）