從語言到邏輯--范疇類型邏輯序列

范疇類型邏輯序列是近30年來語言和邏輯交叉研究的重要學派,是對自然語言的計算機處理影響很大的形式語義理論.該理論把自然語言的生成毗連看作是范疇的運算和推演,據此構造自然語言的語句系統(tǒng),并確立直接或間接的語義解釋.另一方面構造范疇推演的邏輯系統(tǒng),并配備可能世界的模態(tài)語義解釋.范疇類型邏輯的研究成果可以直接應用于自然語言的計算機信息處理,也可以應用于漢語的形式語義理論研究.

作 者： 鄒崇理 ZOU Chong-li   作者單位： 中國社會科學院,哲學所,北京,100732  刊 名： 重慶工學院學報  ISTIC 英文刊名： JOURNAL OF CHONGQING INSTITUTE OF TECHNOLOGY  年，卷(期)： 2006 20(4)  分類號： B81  關鍵詞： 范疇類型邏輯   自然語言   范疇運算  

【從語言到邏輯--范疇類型邏輯序列】相關文章：

從現代邏輯的語言層次觀看邏輯04-27

邏輯與審美04-27

邏輯的概念04-27

杜威的邏輯觀04-26

論決策中的邏輯思維與非邏輯思維04-26

邏輯學的新分支--博弈邏輯研究現狀分析04-26

邏輯·落寂04-26

認知邏輯研究概觀04-26

邏輯網絡設計實踐報告 網絡邏輯結構設計10-10

二值命題邏輯中邏輯推理的有效度04-26