自然語言邏輯(logic of natural language)是2003年公布的自然辯證法名詞。
基本介紹
- 中文名:自然語言邏輯
- 外文名:logic of natural language
- 所屬學科:自然辯證法
- 公布時間:2003年
- 審定機構:全國科學技術名詞審定委員會
自然語言邏輯(logic of natural language)是2003年公布的自然辯證法名詞。
自然語言邏輯(logic of natural language)是2003年公布的自然辯證法名詞。公布時間2003年經全國科學技術名詞審定委員會審定發布。出處《自然辯證法名詞》第一版。1...
邏輯學的發展 本文從自然語言、半形式化語言和形式化語言的特徵看邏輯學的發展。自然語言 自然語言文字的一個重要特徵 : 人們在日常生活中所使用的語言文字,可以分為拼音語言文字和非拼音語言文字兩大類。英語語言文字、俄語語言文字、...
在Visual Basic中自然語言是指人類語言。是描述算法的一種方法。缺陷 與自然語言相對的是邏輯語言。自然語言是人腦與人腦的交際工具 ,邏輯語言是人腦與電腦的交際工具。認知科學認為,思維和認知是知識的邏輯運算,任何計算化的自然語言分析...
《自然語言邏輯研究》2001年北京大學出版社出版的一本圖書,作者是鄒崇理。內容簡介 自然語言邏輯是運用現代邏輯方法研究自然語言的新學科,其開端是蒙太格語法,以後發展出話語表現理論、類型-邏輯語法等理論。本書是從技術角度比較詳盡地...
《自然語言邏輯經典文獻研究》是2016年11月中國社會科學出版社出版的圖書,作者是鄒崇理、滿海霞。內容簡介 自然語言邏輯是當今現代邏輯中一個極具生命力和發展前途的新門類。它的“新”在於使用邏輯學的方法和思路去研究自然語言中的語言...
自然語言邏輯引論 《自然語言邏輯引論》是蘇州大學出版社出版的圖書,作者是周曉林著
《面向知識表示與推理的自然語言邏輯》是2009年經濟科學出版社出版的圖書,作者是鞠實兒。內容簡介 《面向知識表示與推理的自然語言邏輯》以知識表示與推理為套用牽引,以非經典邏輯(包括哲學邏輯和語言邏輯)為理論驅動,針對自然語言的內涵性...
《自然語言信息處理的邏輯語義學研究》是2018年09月01日科學出版社出版的圖書,作者是鄒崇理。內容簡介 自然語言的邏輯語義學(簡稱邏輯語義學)是依據現代邏輯的思想或採用現代邏輯的工具研究自然語言的句法生成尤其是語義組合規律的學科,是...
《自然語言的邏輯圖像—斯特勞森形上學思想研究》是一本由中國人民大學出版社於2022年7月1日出版的書,作者是曾自衛。主要講述了對斯特勞森哲學進行全方位的解讀和透視。內容簡介 《自然語言的邏輯圖像:斯特勞森形上學思想研究》憑藉對...
(4)由於語境的缺失而使語言傳達信息的效率不高。自然語言和邏輯語言到底是什麼關係?若持偏激態度,各自都覺得對方不如己。視二者為一種互補關係,這種態度是可取的。於是,現代邏輯延伸到自然語言領域就有兩大類工作可做:揚邏輯之長避自然...
《邏輯語言和信息:邏輯語法研究》是2002年人民出版社出版的圖書,作者是鄒崇理。內容簡介 邏輯、語言和信息處理所形成的交叉領域就是自然語言邏輯或邏輯語法的研究對象。本書首先系統地介紹了幾種邏輯語法理論,它們是:廣義量詞理論、情境...
在所有生物中,只有人類才具有語言能力。人類的多種智慧型都與語言有著密切的關係。人類的邏輯思維以語言為形式,人類的絕大部分知識也是以語言文字的形式記載和流傳下來的。因而,它也是人工智慧的一個重要,甚至核心部分。用自然語言與...
《語言學中的邏輯》是一本專為語言學家而編寫的邏輯學教材,涉及經典的命題邏輯和謂詞邏輯、模態邏輯、內涵邏輯和範疇語法,還涉及自然語言的邏輯分析方法、自然推理系統、語用分析方法等邏輯方法,最後一章討論了語言邏輯和語言哲學的重要...
第三節類型—邏輯語法的形成 3.1蘭貝克句法演算和類型—邏輯語義學的結合 3.2配以λ—詞項的蘭貝克句法演算 3.3類型—邏輯語法的詞庫 3.4類型—邏輯語法對自然語言句法和語義的描寫 3.5自然演繹的蘭貝克演算 3.6類型—邏輯語法與...
3.3深度學習與自然語言處理 3.4小結 第4章無監督學習的原理與套用(30min)4.1淺層無監督預訓練模型 4.2深層無監督預訓練模型 4.2.1BERT 4.2.2SelfAttention Layer原理 4.2.3SelfAttention Layer的內部運算邏輯 4.2.4...
《邏輯、語言與意義》是國內外第一部系統全面的邏輯和語言學跨學科的邏輯語法(也叫形式語義學或語言邏輯)教材。由荷蘭五位邏輯學、語言學學者合作撰寫,並共用“哈姆特”之名出版。全書分為兩卷,第一卷從分析自然語言的需要出發,系統...
《邏輯、語言與意義》是國內外第一部系統全面的邏輯和語言學跨學科的邏輯語法(也叫形式語義學或語言邏輯)教材。由荷蘭五位邏輯學、語言學學者合作撰寫,並共用“哈姆特”之名出版。 全書分為兩卷,第一卷從分析自然語言的需要出發...
本書是一本專為語言學家而編寫的邏輯學教材,涉及經典的命題邏輯和謂詞邏輯、模態邏輯、內涵邏輯和範疇語法,還涉及自然語言的邏輯分析方法、自然推理系統、語用分析方法等邏輯方法,最後一章討論了語言邏輯和語言哲學的重要理論問題。語言...
《自然語言處理原理與技術實現》詳細介紹自然語言處理的各個領域,既有理論,也有實現過程。 內容簡介 本書詳細介紹自然語言處理各主要領域的原理以Java實現,包括中文分詞、詞性標註、依存句法分析等。其中詳細介紹了中文分詞和詞性標註的過程...
《自然語言處理基本理論和方法》是2013年8月哈爾濱工業大學出版社出版的圖書,作者是陳鄞。內容簡介 本書對自然語言處理的基本理論和方法進行介紹。主要內容包括字元集的編碼體系、語言計算模型、語言學資源建設、自然語言的詞法分析、句法分析...
《自然語言處理導論》是電子工業出版社出版的圖書,本書主要包含基礎技術、核心技術以及模型分析三個部分。內容簡介 自然語言處理是人工智慧的重要方向之一,被譽為人工智慧皇冠上的“明珠”。《自然語言處理導論》主要包含基礎技術、核心技術...
1.4.1 語言理解與語義知識的辨析14 1.4.2 行業知識圖譜構建問題15 小結15 參考文獻16 第2章 自然語言理解邏輯17 2.1 符號-連線-融合17 2.2 語言理解任務18 2.2.1 語法類任務20 2.2.2 語義類任務26 2.2.3 語用類任務...
形式語言邏輯是一種理性的邏輯思維,其過程是藉助特製的人工符號進行演繹邏輯推理,是一最不受人的直覺所控制的思維。邏輯思維有時候也可以用自然語言來表述,但一般的邏輯思維都建立在自我完善、嚴密的人工符號系統之上,例如,人們在進行...
它的興起,由於推動了計算機識別自然語言的研究,為現代語言學研究提供了基礎;有助於對西方哲學、特別是科學哲學的分析研究、借鑑、批判,因此受到了廣泛的關注,獲得了迅速的發展。短短几十年就形成了。塔爾斯基是公認的邏輯語義學的創始...
《陳宗明文集》是2017年中國社會科學出版社出版的圖書,作者是陳宗明。內容簡介 《陳宗明文集》為作者的論著選輯,分上下兩編:上編自然語言邏輯研究,下編符號學研究。以時間為主線,輔以內容的關聯,在某種意義上類似於一本專著。上編...
蒙太格因為開創了全面系統地運用現代邏輯工具研究自然語言的方向而被視為自然語言邏輯的創始人,蒙太格語法也因此而成為自然語言邏輯誕生的標誌。蒙太格語法實現了現代邏輯和現代語言學的完美結合,在邏輯史上和語言學史上都是一座不可替代...