《漢語指代消解及其推理模式研究》以國內(nèi)外新近相關(guān)文獻(xiàn)為基礎(chǔ)，主要圍繞漢語主謂句的邏輯語義、指代消解，以及自然語言的推理模式加以研究。第一章是引論。第二章是基于動(dòng)態(tài)謂詞邏輯的自然語言指代消解。第三章是基于范疇類型邏輯的指代消解和歧義消解。第四章是廣義量詞理論基礎(chǔ)。第五、六章是基于廣義量詞理論的傳統(tǒng)i段論和廣義三段論的有效性及相關(guān)語篇推理的形式化研究。第七章是基于廣義量詞理論的亞里士多德模態(tài)三段論的有效性及其公理化的探索性研究。
《漢語指代消解及其推理模式研究》創(chuàng)新研究主要分布在第五、六、七章，特色研究是第七章。
《漢語指代消解及其推理模式研究》適合于邏輯學(xué)、語言學(xué)的教師和研究生，以及對自然語言信息處理、計(jì)算機(jī)科學(xué)中的知識(shí)表示和知識(shí)推理感興趣的教師、研究生和科研人員閱讀。
曉君自2011年在中國社會(huì)科學(xué)院獲得博士學(xué)位以來，先后出版了《廣義量詞理論研究》（廈門大學(xué)出版社，2014年）和《信念一愿望一意圖邏輯及其應(yīng)用研究》（中國社會(huì)科學(xué)出版社，2017年）兩部專著。這次奉獻(xiàn)給讀者的《漢語指代消解及其推理模式研究》是其第三部專著。我作為曉君的博士生導(dǎo)師，由衷地為這一系列學(xué)術(shù)成果的獲得感到欣慰和鼓舞。
當(dāng)今人工智能的研究和應(yīng)用已被我國提升到國家戰(zhàn)略發(fā)展的高度，我國已宣布在2030年前搶占人工智能全球制高點(diǎn)。人工智能領(lǐng)域的研究包括機(jī)器人、語言識(shí)別、圖像識(shí)別、自然語言處理和專家系統(tǒng)及其相關(guān)技術(shù)，本書關(guān)于自然語言的邏輯語義學(xué)研究則與人工智能領(lǐng)域中的自然語言處理技術(shù)相關(guān)聯(lián)。因此，本書的出版具有一定的現(xiàn)實(shí)意義。
本書的特點(diǎn)有：其一針對我國科技發(fā)展的現(xiàn)實(shí)需求，研究內(nèi)容豐富多樣，提出邏輯學(xué)與語言學(xué)及自然語言信息處理跨學(xué)科研究面臨的困境和難題；其二基于新的語言邏輯工具思考中文的語義問題，詳細(xì)介紹了動(dòng)態(tài)謂詞邏輯DPL和范疇類型邏輯CTL的基本思想方法，采用量詞邏輯的新理論——廣義量詞理論GQT的視角，審視古老的亞里士多德三段論，拓展了三段論的研究范圍；其三亞里士多德模態(tài)三段論存在諸多問題，少有人問津。本書大膽進(jìn)入這一領(lǐng)域，進(jìn)行多方位的思考，探討模態(tài)三段論的有效式范圍，提出判定模態(tài)三段論有效式的規(guī)則，最后對亞里士多德模態(tài)三段論的公理化給出嘗試性研究。
張曉君，女，漢族，1970年出生，四川南充人�，F(xiàn)任四川師范大學(xué)邏輯與信息研究所所長、副研究員（兼職于福建省仿腦智能系統(tǒng)重點(diǎn)實(shí)驗(yàn)室（廈門大學(xué)）），四川師范大學(xué)邏輯學(xué)碩士點(diǎn)的負(fù)責(zé)人，中國應(yīng)用邏輯委員會(huì)常務(wù)理事，四川省自然辯證法研究會(huì)常務(wù)理事。2011年博士畢業(yè)于*******，獲得哲學(xué)博士學(xué)位（邏輯學(xué)方向），師從中國邏輯學(xué)會(huì)會(huì)長、***特殊津貼專家、*******創(chuàng)新工程首席研究員鄒崇理研究員。2011年7月-2013年7月為廈門大學(xué)博士后，師從身兼計(jì)算機(jī)科學(xué)與技術(shù)、人工智能、語言學(xué)與應(yīng)用語言學(xué)、邏輯學(xué)等五個(gè)方向的博士生導(dǎo)師周昌樂教授。主要研究方向?yàn)锳gent理論與技術(shù)、人工智能邏輯、自然語言邏輯等。近些年來，在《模式識(shí)別與人工智能》、《計(jì)算機(jī)科學(xué)》、《哲學(xué)研究》、《哲學(xué)動(dòng)態(tài)》、《邏輯學(xué)研究》等核心期刊發(fā)表學(xué)術(shù)期刊50余篇。
序言
引論
第一節(jié) 為何面向自然語言信息處理的語言學(xué)研究離不開邏輯學(xué)
一、開啟語言學(xué)與邏輯學(xué)的溝通交流模式
二、交叉研究中存在的主要問題及相應(yīng)對策
三、邏輯、語言、信息與計(jì)算的交叉研究亟待加強(qiáng)
第二節(jié) 何為語言表達(dá)式的意義
一、語言表達(dá)式的意義是邏輯哲學(xué)研究的重要課題
二、意義的靜態(tài)理論
三、意義的動(dòng)態(tài)理論
四、意義的算法理論
1．算法理論的形成過程
2．算法理論的理論預(yù)設(shè)
3．同義概念與等價(jià)算法
4．算法理論的思想脈絡(luò)
第三節(jié) 指代消解的主要方法及其機(jī)制
一、指代消解的主要方法
二、指代消解的主要機(jī)制
1．中介機(jī)制
2．動(dòng)態(tài)約束機(jī)制
3．加標(biāo)機(jī)制
4．復(fù)合機(jī)制
5．范疇機(jī)制
第一章 動(dòng)態(tài)謂詞邏輯
第一節(jié) 動(dòng)態(tài)謂詞邏輯產(chǎn)生的最初動(dòng)力
第二節(jié) 動(dòng)態(tài)謂詞邏輯的動(dòng)態(tài)機(jī)制
一、合取式和存在量化式的動(dòng)態(tài)解釋
二、蘊(yùn)涵式的動(dòng)態(tài)解釋
三、全稱量化式、否定式與析取式的動(dòng)態(tài)解釋
第三節(jié) 動(dòng)態(tài)謂詞邏輯的形式系統(tǒng)
一、語法和語義
二、意義、真和等值
三、轄域與約束
四、一些邏輯事實(shí)
五、動(dòng)態(tài)后承
第四節(jié) 動(dòng)態(tài)謂詞邏輯的主要特征
一、組合性的語義特征
二、表達(dá)式的測試特征
三、變元的復(fù)位特征
第五節(jié) 動(dòng)態(tài)謂詞邏輯與其相關(guān)邏輯的關(guān)系
一、動(dòng)態(tài)謂詞邏輯與標(biāo)準(zhǔn)謂詞邏輯的比較
二、動(dòng)態(tài)謂詞邏輯與量化動(dòng)態(tài)邏輯的比較
三、動(dòng)態(tài)謂詞邏輯與話語表現(xiàn)理論的比較
第六節(jié) 動(dòng)態(tài)謂詞邏輯研究展望
……
第二章 范疇類型邏輯
第三章 自然語言推理研究的簡便工具
第四章 基于廣義量詞理論的直言三段論研究
第五章 基于廣義量詞理論的廣義三段論研究
第六章 模態(tài)三段論的有效性與公理化研究
參考文獻(xiàn)
后記
書單推薦
