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