鞠實(shí)兒 - 個(gè)人簡(jiǎn)歷

鞠實(shí)兒： 1953年出生,浙江省杭州市人,專業(yè)特長(zhǎng):邏輯與認(rèn)知科學(xué) 。 教育部人文社會(huì)科學(xué)重點(diǎn)研究基地中山大學(xué)邏輯與認(rèn)知研究所所長(zhǎng)，中山大學(xué)哲學(xué)系教授、邏輯學(xué)博士生導(dǎo)師，曾在美國(guó)Columbia大學(xué)和Pittsburgh大學(xué)Stanford大學(xué)哲學(xué)系訪問與工作；1999年入選教育部跨世紀(jì)人才培養(yǎng)計(jì)劃，2003年被聘為廣東省特聘教授；主攻方向?yàn)椋悍墙?jīng)典邏輯、邏輯哲學(xué)和認(rèn)知與文化。 
現(xiàn)工作單位:中山大學(xué)邏輯與認(rèn)知研究所,中山大學(xué)哲學(xué)系  
最高學(xué)位: 博士  
職稱: 教授 博士導(dǎo)師  
最喜歡的格言: 走自己的路, 讓人家去說吧! 
聯(lián)系方式:  
地址:廣州市中山大學(xué)邏輯與認(rèn)知研究所 (郵編:510275)  
hssjse@zsu.edu.cn  
電話:(020)84110165(O),(020)84035442(H) 

鞠實(shí)兒 - 教育經(jīng)歷

1. 1982年2月 畢業(yè)于現(xiàn)浙江大學(xué)數(shù)學(xué)系基礎(chǔ)數(shù)學(xué)專業(yè)數(shù)理邏輯方向, 獲理學(xué)士學(xué)位  
2. 1987年7月 畢業(yè)於中山大學(xué)哲學(xué)系科學(xué)哲學(xué)專業(yè), 獲哲學(xué)碩士學(xué)位  
    副修:電腦系人工智慧專業(yè)  
3. 1995年8月至1996年5月 美國(guó)哥侖比亞大學(xué)哲學(xué)系進(jìn)修邏輯學(xué)  
4. 2000年同等學(xué)力申請(qǐng)武漢大學(xué)哲學(xué)博士學(xué)位; 
5. 2001年10月至2002年3月,美國(guó)Pittsburgh大學(xué)哲學(xué)系訪問學(xué)者 

鞠實(shí)兒 - 主要職務(wù)

教育部人文社會(huì)科學(xué)重點(diǎn)研究基地,中山大學(xué)邏輯與認(rèn)知研究所所長(zhǎng) 
中科院國(guó)家智慧電腦研究開發(fā)中心客座研究人員 
中英澳暑期哲學(xué)學(xué)院中方學(xué)術(shù)委員會(huì)委員 
中國(guó)數(shù)學(xué)學(xué)會(huì)數(shù)理邏輯專業(yè)委員會(huì)副理事長(zhǎng) 
中國(guó)邏輯學(xué)會(huì)歸納邏輯專業(yè)委員會(huì)委員 
中國(guó)邏輯學(xué)會(huì)現(xiàn)代邏輯專業(yè)委員會(huì)委員 
教育部九五規(guī)劃邏輯學(xué)科專家評(píng)議組成員 
教育部心理學(xué)教學(xué)指導(dǎo)委員會(huì)委員 
國(guó)務(wù)院學(xué)位評(píng)定委員會(huì)成員 

鞠實(shí)兒 - 主要研究領(lǐng)域

非經(jīng)典邏輯與邏輯哲學(xué)、邏輯學(xué)的認(rèn)知基礎(chǔ)、邏輯與文化。

鞠實(shí)兒 - 科研方向

本世紀(jì)60年代以來, 電腦的應(yīng)用突破了數(shù)值計(jì)算的范疇, 進(jìn)入了知識(shí)處理和智慧類比領(lǐng)域; 構(gòu)造邏輯系統(tǒng)抽象地反映或描述認(rèn)識(shí)過程以及知識(shí)表達(dá)與處理的特徵, 這已是當(dāng)代科技發(fā)展的要求, 它進(jìn)一步促進(jìn)了邏輯學(xué)和科學(xué)方法論的發(fā)展. 現(xiàn)在, 邏輯學(xué)和方法論的研究不再僅僅是一種由純理論興趣驅(qū)動(dòng)的活動(dòng), 它同時(shí)具有強(qiáng)烈的認(rèn)知和應(yīng)用背景. 從國(guó)際發(fā)展現(xiàn)狀看, 邏輯學(xué)和方法論的論文不僅傳統(tǒng)地出現(xiàn)在哲學(xué)和邏輯學(xué)刊物上, 它們還大量地出現(xiàn)在電腦科學(xué), 心理學(xué), 語言學(xué), 決策論, 腦科學(xué), 行為科學(xué)和神經(jīng)科學(xué)等刊物和會(huì)議論文集上. 各種新的非經(jīng)典邏輯系統(tǒng)層出不窮, 它們遠(yuǎn)遠(yuǎn)越出了傳統(tǒng)邏輯和經(jīng)典邏輯的范圍, 有力地推動(dòng)了電腦科學(xué), 尤其是人工智慧學(xué)科的發(fā)展. 這一切表明: 在當(dāng)代高科技和社會(huì)需求的刺激下, 邏輯學(xué)和方法論的已進(jìn)入了一個(gè)新的發(fā)展時(shí)期.  
根據(jù)當(dāng)前國(guó)際邏輯學(xué)和方法論研究發(fā)展動(dòng)態(tài)和美國(guó)著名高校哲學(xué)系(例如: Stanford, MIT和 Pittsburgh)的研究動(dòng)態(tài), 我選擇的研究方向是: 采用跨學(xué)科的研究方法, 在對(duì)認(rèn)識(shí)過程作哲學(xué)和認(rèn)知分析的基礎(chǔ)上, 構(gòu)造認(rèn)識(shí)過程的邏輯模型; 在深化哲學(xué)研究的同時(shí), 利用模型處理認(rèn)知科學(xué)和電腦科學(xué)中的問題.  

鞠實(shí)兒 - 主要科研項(xiàng)目

◆ 1988-1992作為主要成員參加國(guó)家社科基金專案"歸納邏輯和人工智慧"和863專案 "機(jī)器歸納與人工智慧相結(jié)合的理論和實(shí)驗(yàn)".  
◆ 1992-1994作為負(fù)責(zé)人主持863項(xiàng)專案"基於Non-Pascalian概率的不確定推理系統(tǒng)及其應(yīng)用".  
◆ 1992-1994主持國(guó)家社科基金專案"實(shí)驗(yàn)推理研究".  
◆ 1993-1996作為負(fù)責(zé)人主持國(guó)家教委專案"現(xiàn)代歸納邏輯及其應(yīng)用".  
◆ 1993-1996作為負(fù)責(zé)人主持國(guó)家攀登計(jì)劃認(rèn)知科學(xué)前沿重大問題研究 "思維與智慧" 類比專案子課題"歸納思維及其類比".  
◆ 1994-1996作為負(fù)責(zé)人主持863專案"知識(shí)變化理論及其應(yīng)用".  
◆ 1996-1999作為負(fù)責(zé)人主持國(guó)家教委專案"非經(jīng)典歸納邏輯及其應(yīng)用".  
◆ 1998- 作為負(fù)責(zé)人主持國(guó)家社科基金專案"開放世界的邏輯".  
◆ 1999- 作為負(fù)責(zé)人主持教育部跨世紀(jì)人才基金專案"開放世界的邏輯及其應(yīng)用".  
◆ 2000-2003承擔(dān)了教育部重大專案"開放世界中邏輯的認(rèn)知結(jié)構(gòu)".  
◆ 2002-2005年主持國(guó)家211重點(diǎn)學(xué)科建設(shè)專案"智慧邏輯系統(tǒng)及其應(yīng)用" 
◆ 2002-2005年主持中山大學(xué)重點(diǎn)學(xué)科專案"面向邏輯與認(rèn)知的重大前沿問題研究" 
◆ 2000-2003作為負(fù)責(zé)人主持教育部人文社會(huì)科學(xué)重點(diǎn)研究基地重大專案"開放世界的認(rèn)知的邏輯結(jié)構(gòu)" 

鞠實(shí)兒 - 代表成果

(1)著作

 ◆ Philosophy, Logic and AI (哲學(xué), 邏輯和智慧電腦) * 中英雙語論文集,中山大學(xué)出版社(ISBN-306-01462-5) 1999.10 (第一主編)  
◆ 邏輯與認(rèn)知文集*, 中山大學(xué)學(xué)報(bào)論叢, 2000.4 (第一主編)  
◆ 非巴斯卡歸納概率邏輯研究 浙江人民出版社1993 (獨(dú)立)*  

(2) 主要論文

◆ Xiongwei,Ju Shier and Xudong Luo,A Clash in Dempster-Shafer Theory,In:Proceedings the 10th IEEE International Conference on Fuzzy Systems, Dec,2001.  
◆ The Concept of Uncertain Reasoning and its Supporting Degree, The proceedings of 9th International Conference on Intelligent Systems, Kentucky, 2000. 6 (第二)  
◆ A Method for Constructing Causal Network Based on Statistical Estimation and Eliminative Induction, The proceedings of 9th International Conference on Intelligent Systems, Kentucky, 2000.6 (第一)  
◆ The Proofs of the Unsolvability of Hume’s Problem, in Philosophy, Logic and AI, Zhongshan Univ. Press, 1999.10 (獨(dú)立)  
◆ A Causal Network of Binary Uncertainty, in Philosophy, Logic and AI, Zhongshan Univ. Press, 1999.10 (第一)  
◆ 鞠實(shí)兒,《基於開放世界預(yù)設(shè)的3-值邏輯》 863智慧電腦主題會(huì)議論文集《智慧電腦研究新進(jìn)展》, 2001年3月,清華   大學(xué)出版社.(第一)  
◆ "不確定推理的支援度" 軟體學(xué)報(bào) 1999 No.2 (第二)  
◆ "歸納和理論進(jìn)化"哲學(xué)動(dòng)態(tài) 1998 No.4 (獨(dú)立)  
◆ "二元不確定性因果網(wǎng)(1)"自然辯證法研究(邏輯專輯), 1997No.1(第一)  
◆ "可能世界的封閉性和否定聯(lián)結(jié)詞"自然辯證法研究 NO.11, 1997 (獨(dú)立)  
◆ "基於開放世界假定的3-值命題演算系統(tǒng)"中山大學(xué)學(xué)報(bào) NO.5, 1997 (獨(dú)立)  
◆ "基於非Pascal歸納邏輯的歸納學(xué)習(xí)系統(tǒng)"載於"歸納邏輯和人工智慧" 中國(guó)紡織大學(xué)出版社, 1995  
◆ "三種信念悖論的消除"自然辯證法通訊 NO.2, 1995. (獨(dú)立)  
◆ "Logical Structure of Belief" in Proceedings of Pacific-Asian Conference of Expert System, 1995(獨(dú)立).  

鞠實(shí)兒 - 教學(xué)情況(學(xué)科建設(shè))

1998年作為負(fù)責(zé)人申報(bào)成功邏輯學(xué)博士點(diǎn). 
1998年作為參加者申報(bào)成功電腦學(xué)科電腦應(yīng)用碩士點(diǎn). 
1999年作為負(fù)責(zé)人申報(bào)成功省重點(diǎn)學(xué)科B類(邏輯學(xué)). 
2000年作為負(fù)責(zé)人申報(bào)成功人文社會(huì)科學(xué)重點(diǎn)研究基地. 
2000年作為負(fù)責(zé)人之一申報(bào)成功心理學(xué)科應(yīng)用心理學(xué)碩士點(diǎn). 
2001年作為負(fù)責(zé)人申報(bào)成功邏輯學(xué)全國(guó)重點(diǎn)學(xué)科. 

鞠實(shí)兒 - 獲獎(jiǎng)情況

1996 非巴斯卡歸納概率邏輯研究 教育部 第一屆中國(guó)高校人文社會(huì)科學(xué)研究?jī)?yōu)秀成果二等獎(jiǎng) 獨(dú)立  
1998 歸納邏輯和人工智慧 教育部 第二屆中國(guó)高校人文社會(huì)科學(xué)研究?jī)?yōu)秀成果二等獎(jiǎng) 參著  
1999 邏輯百科辭典 中宣部 國(guó)家社科基金優(yōu)秀成果三等獎(jiǎng) 參著  
2002 基於開放世界預(yù)設(shè)的邏輯系列論文 教育部 第三屆中國(guó)高校人文社會(huì)科學(xué)研究?jī)?yōu)秀成果一等獎(jiǎng) 獨(dú)立