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

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

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

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

從現(xiàn)代邏輯的語言層次觀看邏輯04-27

邏輯與審美04-27

邏輯的概念04-27

杜威的邏輯觀04-26

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

邏輯學(xué)的新分支--博弈邏輯研究現(xiàn)狀分析04-26

邏輯·落寂04-26

認(rèn)知邏輯研究概觀04-26

邏輯網(wǎng)絡(luò)設(shè)計(jì)實(shí)踐報(bào)告 網(wǎng)絡(luò)邏輯結(jié)構(gòu)設(shè)計(jì)10-10

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