中图网(原中国图书网):网上书店,中文字幕在线一区二区三区,尾货特色书店,中文字幕在线一区,30万种特价书低至2折!

歡迎光臨中圖網(wǎng) 請(qǐng) | 注冊(cè)
> >
面向知識(shí)表示與推理的自然語(yǔ)言邏輯

包郵 面向知識(shí)表示與推理的自然語(yǔ)言邏輯

出版社:經(jīng)濟(jì)科學(xué)出版社出版時(shí)間:2009-09-01
開(kāi)本: 16開(kāi) 頁(yè)數(shù): 383
中 圖 價(jià):¥35.6(5.7折) 定價(jià)  ¥63.0 登錄后可看到會(huì)員價(jià)
加入購(gòu)物車(chē) 收藏
開(kāi)年大促, 全場(chǎng)包郵
?新疆、西藏除外
本類(lèi)五星書(shū)更多>
買(mǎi)過(guò)本商品的人還買(mǎi)了

面向知識(shí)表示與推理的自然語(yǔ)言邏輯 版權(quán)信息

  • ISBN:9787505876002
  • 條形碼:9787505876002 ; 978-7-5058-7600-2
  • 裝幀:暫無(wú)
  • 冊(cè)數(shù):暫無(wú)
  • 重量:暫無(wú)
  • 所屬分類(lèi):>

面向知識(shí)表示與推理的自然語(yǔ)言邏輯 內(nèi)容簡(jiǎn)介

  知識(shí)表示與推理研究是探索人類(lèi)智能的眾多途徑之一。傳統(tǒng)的基于邏輯方法的知識(shí)表示與推理主要依賴(lài)于經(jīng)典邏輯。經(jīng)典邏輯并不是直接為基于自然語(yǔ)言的推理而設(shè)計(jì)的,而是為基于半人工化數(shù)學(xué)語(yǔ)言的推理量身定制的。但是,人類(lèi)的大多數(shù)知識(shí)是用自然語(yǔ)言而不是用數(shù)學(xué)語(yǔ)言表達(dá)的。這就使得傳統(tǒng)的知識(shí)表示與推理在應(yīng)用方面受到局限,不能真正為人工智能提供支持。為了擴(kuò)大知識(shí)表示與推理的應(yīng)用范圍,加強(qiáng)它對(duì)人工智能的支持力度,必須讓知識(shí)表示與推理建立在自然語(yǔ)言邏輯的基礎(chǔ)上。   本書(shū)以知識(shí)表示與推理為應(yīng)用牽引,以非經(jīng)典邏輯(包括哲學(xué)邏輯和語(yǔ)言邏輯)為理論驅(qū)動(dòng),針對(duì)自然語(yǔ)言的內(nèi)涵性、模糊性、交互性、形態(tài)性和多樣性,分別構(gòu)造了若干自然語(yǔ)言邏輯系統(tǒng),包括:語(yǔ)境內(nèi)涵邏輯、模糊量詞邏輯、帶群體知識(shí)的公開(kāi)宣告邏輯、時(shí)態(tài)句型邏輯以及漢語(yǔ)靈活語(yǔ)序邏輯和漢語(yǔ)致使句邏輯,對(duì)現(xiàn)有的許多邏輯理論成果,如超內(nèi)涵邏輯、自然邏輯、動(dòng)態(tài)認(rèn)知邏輯、多模態(tài)范疇邏輯和lambek演算等進(jìn)行了修正、拓展和改進(jìn),為今后的自然語(yǔ)言邏輯研究指明了新的方向。

面向知識(shí)表示與推理的自然語(yǔ)言邏輯 目錄

第1章 邏輯、自然語(yǔ)言與KRR 1.1 自然語(yǔ)言的內(nèi)涵性與KRR 1.2 自然語(yǔ)言的模糊性與KRR 1.3 自然語(yǔ)言的交互性與KRR 1.4 自然語(yǔ)言的形態(tài)性與KRR 1.5 自然語(yǔ)言的多樣性與KRR 1.6 本書(shū)結(jié)構(gòu)——從KRR到LNL第2章 類(lèi)型邏輯與Lambek演算2.1 范疇語(yǔ)法2.2 類(lèi)型邏輯2.3 Lambek演算的代數(shù)模型2.4 Lambek演算的證明論性質(zhì)2.5 Lambek演算與結(jié)構(gòu)規(guī)則第3章 面向自然語(yǔ)言?xún)?nèi)涵性的LNL:語(yǔ)境內(nèi)涵邏輯 3.1 導(dǎo)言 3.2 內(nèi)涵邏輯及其問(wèn)題 3.3 超內(nèi)涵邏輯及其問(wèn)題  3.4 語(yǔ)境內(nèi)涵邏輯Ⅰ:基于可能世界語(yǔ)義 3.5 語(yǔ)境內(nèi)涵邏輯Ⅱ:基于鄰域語(yǔ)義 3.6 語(yǔ)境內(nèi)涵邏輯Ⅲ:基于代數(shù)語(yǔ)義 3.7 語(yǔ)境內(nèi)涵語(yǔ)義Ⅰ:基于博弈語(yǔ)義 3.8 語(yǔ)境內(nèi)涵語(yǔ)義Ⅱ:基于更新一局部模型語(yǔ)義第4章 面向自然語(yǔ)言模糊性的LNL:模糊量詞邏輯 4.1 導(dǎo)言 4.2 模糊量詞的語(yǔ)義 4.3 模糊量詞的性質(zhì) 4.4 模糊量詞推理 4.5 基于Lambek演算的模糊量詞自然邏輯推理系統(tǒng)FQNL 4.6 FQNL系統(tǒng)0C的判定算法第5章 面向自然語(yǔ)言交互性的LNL:帶群體知識(shí)的公開(kāi)宣告邏輯 5.1 導(dǎo)言 5.2 語(yǔ)言交流與動(dòng)態(tài)認(rèn)知邏輯模型 5.3 公開(kāi)宣告邏輯PAL 5.4 群體知識(shí) 5.5 靜態(tài)認(rèn)知邏輯s5Bm(RC,D,E) 5.6 帶有群體知識(shí)的公開(kāi)宣告邏輯PAL(RC,D,E) 5.7 應(yīng)用分析第6章 面向自然語(yǔ)言形態(tài)性的LNL:時(shí)態(tài)句型的Lambek演算 6.1 導(dǎo)言 6.2 并發(fā)的Lambek時(shí)態(tài)演算系統(tǒng) 6.3 模態(tài)Lambek時(shí)態(tài)演算系統(tǒng)第7章 面向漢語(yǔ)的LNL 7.1 導(dǎo)言 7.2 形式語(yǔ)義學(xué)對(duì)漢語(yǔ)句法語(yǔ)義的關(guān)注 7.3 面向漢語(yǔ)靈活語(yǔ)序和致使語(yǔ)義的LNL附錄1 廣義量詞理論附錄2 模糊集理論及模糊邏輯附錄3 類(lèi)型論與入λ-演算參考文獻(xiàn)后記
展開(kāi)全部

面向知識(shí)表示與推理的自然語(yǔ)言邏輯 節(jié)選

《面向知識(shí)表示與推理的自然語(yǔ)言邏輯》以知識(shí)表示與推理為應(yīng)用牽引,以非經(jīng)典邏輯(包括哲學(xué)邏輯和語(yǔ)言邏輯)為理論驅(qū)動(dòng),針對(duì)自然語(yǔ)言的內(nèi)涵性、模糊性、交互性、形態(tài)性和多樣性,分別構(gòu)造了若干自然語(yǔ)言邏輯系統(tǒng),包括:語(yǔ)境內(nèi)涵邏輯、模糊量詞邏輯、帶群體知識(shí)的公開(kāi)宣告邏輯、時(shí)態(tài)句型邏輯以及漢語(yǔ)靈活語(yǔ)序邏輯和漢語(yǔ)致使句邏輯,對(duì)現(xiàn)有的許多邏輯理論成果,如超內(nèi)涵邏輯、自然邏輯、動(dòng)態(tài)認(rèn)知邏輯、多模態(tài)范疇邏輯和Lambek演算等進(jìn)行了修正、拓展和改進(jìn),為今后的自然語(yǔ)言邏輯研究指明了新的方向。知識(shí)表示與推理研究是探索人類(lèi)智能的眾多途徑之一。傳統(tǒng)的基于邏輯方法的知識(shí)表示與推理主要依賴(lài)于經(jīng)典邏輯。經(jīng)典邏輯并不是直接為基于自然語(yǔ)言的推理而設(shè)計(jì)的,而是為基于半人工化數(shù)學(xué)語(yǔ)言的推理量身定制的。但是,人類(lèi)的大多數(shù)知識(shí)是用自然語(yǔ)言而不是用數(shù)學(xué)語(yǔ)言表達(dá)的。這就使得傳統(tǒng)的知識(shí)表示與推理在應(yīng)用方面受到局限,不能真正為人工智能提供支持。為了擴(kuò)大知識(shí)表示與推理的應(yīng)用范圍,加強(qiáng)它對(duì)人工智能的支持力度,必須讓知識(shí)表示與推理建立在自然語(yǔ)言邏輯的基礎(chǔ)上。

面向知識(shí)表示與推理的自然語(yǔ)言邏輯 相關(guān)資料

第1章 邏輯、自然語(yǔ)言與KRR與形式語(yǔ)言相比,自然語(yǔ)言有內(nèi)涵性、模糊性、交互性、形態(tài)性和多樣性等顯著特點(diǎn)。這些特點(diǎn)一方面為KRR設(shè)置了困難和挑戰(zhàn),另一方面也為KRR提供了更為深刻的直觀背景和更加廣闊的應(yīng)用前景。  1.1 自然語(yǔ)言的內(nèi)涵性與KRR自然語(yǔ)言與形式語(yǔ)言相比的一個(gè)首要特點(diǎn)就是自然語(yǔ)言具有突出的內(nèi)涵性(intensionality)。這種內(nèi)涵性不但包括語(yǔ)用上的內(nèi)涵性,即所謂的言外之意(connotation),如“13”在西方除了表示數(shù)字,還有不吉利之意,更重要的在于它還包括語(yǔ)義上的內(nèi)涵性,即用以確定表達(dá)式指稱(chēng)的語(yǔ)義內(nèi)容,弗雷格(Gottlob Frege)和卡爾納普(Rudolf Carnap)分別稱(chēng)之為sense和intension。從這一角度看,內(nèi)涵概念與外延(extension)、指稱(chēng)(reference)或所指(denotation)等概念相對(duì)。但是,它們兩者之間并不具有一一對(duì)應(yīng)關(guān)系。在自然語(yǔ)言中,外延相同而內(nèi)涵不同的表達(dá)式比比皆是,如“有心臟的動(dòng)物”與“有腎臟的動(dòng)物”,“北京”與“中華人民共和國(guó)首都”。最臭名昭著的例子是“天然兩足無(wú)羽動(dòng)物”與“人”。

面向知識(shí)表示與推理的自然語(yǔ)言邏輯 作者簡(jiǎn)介

鞠實(shí)兒,男,1953年9月出生。教育部人文社會(huì)科學(xué)重點(diǎn)研究基地中山大學(xué)邏輯與認(rèn)知研究所所長(zhǎng),中山大學(xué)哲學(xué)系教授、邏輯學(xué)博士生導(dǎo)師。主要研究領(lǐng)域:非經(jīng)典邏輯與邏輯哲學(xué)、邏輯學(xué)的認(rèn)知基礎(chǔ)、邏輯與文化、科學(xué)技術(shù)哲學(xué)。 在科研方面:近十年主持省部級(jí)以上項(xiàng)目15項(xiàng);同時(shí)還連續(xù)主持三期211和二期985項(xiàng)目;國(guó)家社科基金項(xiàng)目“超內(nèi)涵邏輯”和“基于開(kāi)放世界假設(shè)的三值邏輯系統(tǒng)及其在AI中的應(yīng)用”最終成果分別在2007年和2008年鑒定為優(yōu)秀;在Epistemologia,Journal of Philosophical logic,Studia Logica,IJCA,等重要國(guó)際學(xué)術(shù)刊物以及中國(guó)社會(huì)科學(xué)等國(guó)內(nèi)刊物和文集發(fā)表論著共60余篇;主編國(guó)際學(xué)術(shù)論文集A Meeting of Minds:Proceedings of the Workshop on Logic,Rationality and Interaction和Studia Logica Special Issue:Many-Valued Logic and Cognition等兩部,上述論文集均由國(guó)際重要出版機(jī)構(gòu)出版發(fā)行。 在社會(huì)工作方面:2008年創(chuàng)辦我國(guó)、第一份全國(guó)性邏輯學(xué)刊物《邏輯學(xué)研究》并擔(dān)任主編;同時(shí)兼任國(guó)務(wù)院學(xué)位委員會(huì)哲學(xué)學(xué)科評(píng)議組成員,教育部社會(huì)科學(xué)委員會(huì)委員,國(guó)家社會(huì)科學(xué)基金項(xiàng)目評(píng)審組專(zhuān)家,中國(guó)邏輯學(xué)會(huì)副會(huì)長(zhǎng)。

暫無(wú)評(píng)論……
書(shū)友推薦
本類(lèi)暢銷(xiāo)
返回頂部
中圖網(wǎng)
在線客服
主站蜘蛛池模板: 河南卓美创业科技有限公司-河南卓美防雷公司-防雷接地-防雷工程-重庆避雷针-避雷器-防雷检测-避雷带-避雷针-避雷塔、机房防雷、古建筑防雷等-山西防雷公司 | 脑钠肽-白介素4|白介素8试剂盒-研域(上海)化学试剂有限公司 | 乐之康护 - 专业护工服务平台,提供医院陪护-居家照护-居家康复 | 阳光1号桔柚_无核沃柑_柑橘新品种枝条苗木批发 - 苧金网 | 青州搬家公司电话_青州搬家公司哪家好「鸿喜」青州搬家 | EPK超声波测厚仪,德国EPK测厚仪维修-上海树信仪器仪表有限公司 | 超声波反应釜【百科】-以马内利仪器 | 钢格板|热镀锌钢格板|钢格栅板|钢格栅|格栅板-安平县昊泽丝网制品有限公司 | (中山|佛山|江门)环氧地坪漆,停车场地板漆,车库地板漆,聚氨酯地板漆-中山永旺地坪漆厂家 | 口臭的治疗方法,口臭怎么办,怎么除口臭,口臭的原因-口臭治疗网 | 灌木树苗-绿化苗木-常绿乔木-价格/批发/基地 - 四川成都途美园林 | 粒米特测控技术(上海)有限公司-测功机_减速机测试台_电机测试台 | 铸铝门厂家,别墅大门庭院大门,别墅铸铝门铜门[十大品牌厂家]军强门业 | 【北京写字楼出租_写字楼租赁_办公室出租网/出售】-远行地产官网 | 华溶溶出仪-Memmert稳定箱-上海协烁仪器科技有限公司 | 铣床|万能铣床|立式铣床|数控铣床|山东滕州万友机床有限公司 | 临朐空调移机_空调维修「空调回收」临朐二手空调 | 对夹式止回阀_对夹式蝶形止回阀_对夹式软密封止回阀_超薄型止回阀_不锈钢底阀-温州上炬阀门科技有限公司 | 小青瓦丨古建筑瓦丨青瓦厂家-宜兴市徽派古典建筑材料有限公司 | 德国GMN轴承,GMN角接触球轴承,GMN单向轴承,GMN油封,GMN非接触式密封 | 湖南档案密集架,智能,物证,移动,价格-湖南档案密集架厂家 | PE一体化污水处理设备_地埋式生活污水净化槽定制厂家-岩康塑业 | 消泡剂_水处理消泡剂_切削液消泡剂_涂料消泡剂_有机硅消泡剂_广州中万新材料生产厂家 | 作文导航网_作文之家_满分作文_优秀作文_作文大全_作文素材_最新作文分享发布平台 | 无负压供水设备,消防稳压供水设备-淄博创辉供水设备有限公司 | RFID电子标签厂家-上海尼太普电子有限公司| 合肥地磅_合肥数控切割机_安徽地磅厂家_合肥世佳电工设备有限公司 | 搜活动房网—活动房_集装箱活动房_集成房屋_活动房屋 | 山东PE给水管厂家,山东双壁波纹管,山东钢带增强波纹管,山东PE穿线管,山东PE农田灌溉管,山东MPP电力保护套管-山东德诺塑业有限公司 | 苏州西装定制-西服定制厂家-职业装定制厂家-尺品服饰西装定做公司 | 西门子气候补偿器,锅炉气候补偿器-陕西沃信机电工程有限公司 | 无锡网站建设_企业网站定制-网站制作公司-阿凡达网络 | 哲力实业_专注汽车涂料汽车漆研发生产_汽车漆|修补油漆品牌厂家 长沙一级消防工程公司_智能化弱电_机电安装_亮化工程专业施工承包_湖南公共安全工程有限公司 | 冷却塔厂家_冷却塔维修_冷却塔改造_凉水塔配件填料公司- 广东康明节能空调有限公司 | 喷涂流水线,涂装流水线,喷漆流水线-山东天意设备科技有限公司 | 山东锐智科电检测仪器有限公司_超声波测厚仪,涂层测厚仪,里氏硬度计,电火花检漏仪,地下管线探测仪 | 脱硫搅拌器厂家-淄博友胜不锈钢搅拌器厂家 | 快速门厂家-快速卷帘门-工业快速门-硬质快速门-西朗门业 | 上海瑶恒实业有限公司|消防泵泵|离心泵|官网 | 全自动实验室洗瓶机,移液管|培养皿|进样瓶清洗机,清洗剂-广州摩特伟希尔机械设备有限责任公司 | 华禹护栏|锌钢护栏_阳台护栏_护栏厂家-华禹专注阳台护栏、楼梯栏杆、百叶窗、空调架、基坑护栏、道路护栏等锌钢护栏产品的生产销售。 |