中圖網(wǎng)小程序
一鍵登錄
更方便
本類五星書更多>
-
>
妙相梵容
-
>
基立爾蒙文:蒙文
-
>
我的石頭記
-
>
心靈元氣社
-
>
女性生存戰(zhàn)爭
-
>
縣中的孩子 中國縣域教育生態(tài)
-
>
(精)人類的明天(八品)
漢語指代消解及其推理模式研究 版權(quán)信息
- ISBN：9787010198804
- 條形碼：9787010198804 ; 978-7-01-019880-4
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
漢語指代消解及其推理模式研究 本書特色
本書是一部以自然語言指代消解及其相關(guān)推理研究為主體內(nèi)容的論著。作者以國外新近相關(guān)文獻文基礎(chǔ)，借鑒其研究思路和研究方法，并對其研究成果進行了綜合、拓展和創(chuàng)新。*篇在較為詳盡地論述了國內(nèi)外指代消解的主要方法和機制的基礎(chǔ)上，詳細地分析了動態(tài)謂詞邏輯進行自然語言指代消解的機理；然后概括地闡述了帶有受限縮并規(guī)則的蘭貝克演算的理論基礎(chǔ)及其進行自然語言指代消解的機理，*后對自然語言歧義消解進行了簡要研究。第二篇在簡明地介紹了廣義量詞理論的基礎(chǔ)以及廣義量詞的重要語義性質(zhì)的基礎(chǔ)上，分別對基于廣義量詞理論的亞氏三段論、廣義三段論和模態(tài)三段論進行了形式化的表示及其有效的研究，進而對自然語言語篇推理進行了研究。
漢語指代消解及其推理模式研究 內(nèi)容簡介
本書是一部以自然語言指代消解及其相關(guān)推理研究為主體內(nèi)容的論著。作者以國外新近相關(guān)文獻文基礎(chǔ)，借鑒其研究思路和研究方法，并對其研究成果進行了綜合、拓展和創(chuàng)新。靠前篇在較為詳盡地論述了靠前外指代消解的主要方法和機制的基礎(chǔ)上，詳細地分析了動態(tài)謂詞邏輯進行自然語言指代消解的機理；然后概括地闡述了帶有受限縮并規(guī)則的蘭貝克演算的理論基礎(chǔ)及其進行自然語言指代消解的機理，很后對自然語言歧義消解進行了簡要研究。第二篇在簡明地介紹了廣義量詞理論的基礎(chǔ)以及廣義量詞的重要語義性質(zhì)的基礎(chǔ)上，分別對基于廣義量詞理論的亞氏三段論、廣義三段論和模態(tài)三段論進行了形式化的表示及其有效的研究，進而對自然語言語篇推理進行了研究。
漢語指代消解及其推理模式研究 目錄
序言
引論
**節(jié) 為何面向自然語言信息處理的語言學研究離不開邏輯學
一、開啟語言學與邏輯學的溝通交流模式
二、交叉研究中存在的主要問題及相應(yīng)對策
三、邏輯、語言、信息與計算的交叉研究亟待加強
第二節(jié) 何為語言表達式的意義
一、語言表達式的意義是邏輯哲學研究的重要課題
二、意義的靜態(tài)理論
三、意義的動態(tài)理論
四、意義的算法理論
1．算法理論的形成過程
2．算法理論的理論預設(shè)
3．同義概念與等價算法
4．算法理論的思想脈絡(luò)
第三節(jié) 指代消解的主要方法及其機制
一、指代消解的主要方法
二、指代消解的主要機制
1．中介機制
2．動態(tài)約束機制
3．加標機制
4．復合機制
5．范疇機制
**章 動態(tài)謂詞邏輯
**節(jié) 動態(tài)謂詞邏輯產(chǎn)生的*初動力
第二節(jié) 動態(tài)謂詞邏輯的動態(tài)機制
一、合取式和存在量化式的動態(tài)解釋
二、蘊涵式的動態(tài)解釋
三、全稱量化式、否定式與析取式的動態(tài)解釋
第三節(jié) 動態(tài)謂詞邏輯的形式系統(tǒng)
一、語法和語義
二、意義、真和等值
三、轄域與約束
四、一些邏輯事實
五、動態(tài)后承
第四節(jié) 動態(tài)謂詞邏輯的主要特征
一、組合性的語義特征
二、表達式的測試特征
三、變元的復位特征
第五節(jié) 動態(tài)謂詞邏輯與其相關(guān)邏輯的關(guān)系
一、動態(tài)謂詞邏輯與標準謂詞邏輯的比較
二、動態(tài)謂詞邏輯與量化動態(tài)邏輯的比較
三、動態(tài)謂詞邏輯與話語表現(xiàn)理論的比較
第六節(jié) 動態(tài)謂詞邏輯研究展望
……
第二章 范疇類型邏輯
第三章 自然語言推理研究的簡便工具
第四章 基于廣義量詞理論的直言三段論研究
第五章 基于廣義量詞理論的廣義三段論研究
第六章 模態(tài)三段論的有效性與公理化研究
參考文獻
后記
展開全部
漢語指代消解及其推理模式研究 作者簡介
張曉君，女，漢族，1970年出生，四川南充人。現(xiàn)任四川師范大學邏輯與信息研究所所長、副研究員（兼職于福建省仿腦智能系統(tǒng)重點實驗室（廈門大學）），四川師范大學邏輯學碩士點的負責人，中國應(yīng)用邏輯委員會常務(wù)理事，四川省自然辯證法研究會常務(wù)理事。2011年博士畢業(yè)于*******，獲得哲學博士學位（邏輯學方向），師從中國邏輯學會會長、***特殊津貼專家、*******創(chuàng)新工程首席研究員鄒崇理研究員。2011年7月-2013年7月為廈門大學博士后，師從身兼計算機科學與技術(shù)、人工智能、語言學與應(yīng)用語言學、邏輯學等五個方向的博士生導師周昌樂教授。主要研究方向為Agent理論與技術(shù)、人工智能邏輯、自然語言邏輯等。近些年來，在《模式識別與人工智能》、《計算機科學》、《哲學研究》、《哲學動態(tài)》、《邏輯學研究》等核心期刊發(fā)表學術(shù)期刊50余篇。
書友推薦
- >
羅庸西南聯(lián)大授課錄
- >
唐代進士錄
- >
朝聞道
- >
莉莉和章魚
- >
詩經(jīng)-先民的歌唱
- >
伯納黛特,你要去哪(2021新版)
- >
名家?guī)阕x魯迅:朝花夕拾
- >
名家?guī)阕x魯迅:故事新編
本類暢銷
