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

歡迎光臨中圖網 請 | 注冊
> >
面向知識表示與推理的自然語言邏輯

包郵 面向知識表示與推理的自然語言邏輯

出版社:經濟科學出版社出版時間:2009-09-01
開本: 16開 頁數: 383
本類榜單:社會科學銷量榜
中 圖 價:¥35.6(5.7折) 定價  ¥63.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
本類五星書更多>
買過本商品的人還買了

面向知識表示與推理的自然語言邏輯 版權信息

  • ISBN:9787505876002
  • 條形碼:9787505876002 ; 978-7-5058-7600-2
  • 裝幀:暫無
  • 冊數:暫無
  • 重量:暫無
  • 所屬分類:>

面向知識表示與推理的自然語言邏輯 內容簡介

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

面向知識表示與推理的自然語言邏輯 目錄

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

面向知識表示與推理的自然語言邏輯 節選

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

面向知識表示與推理的自然語言邏輯 相關資料

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

面向知識表示與推理的自然語言邏輯 作者簡介

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

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網
在線客服
主站蜘蛛池模板: PCB厂|线路板厂|深圳线路板厂|软硬结合板厂|电路板生产厂家|线路板|深圳电路板厂家|铝基板厂家|深联电路-专业生产PCB研发制造 | 真空搅拌机-行星搅拌机-双行星动力混合机-广州市番禺区源创化工设备厂 | 照相馆预约系统,微信公众号摄影门店系统,影楼管理软件-盟百网络 | 创客匠人-让IP变现不走弯路 | 丙烷/液氧/液氮气化器,丙烷/液氧/液氮汽化器-无锡舍勒能源科技有限公司 | 专业音响设备_舞台音响设备_会议音响工程-首选深圳一禾科技 | 热工多功能信号校验仪-热电阻热电偶校验仿真仪-金湖虹润仪表 | 全自动烧卖机厂家_饺子机_烧麦机价格_小笼汤包机_宁波江北阜欣食品机械有限公司 | 钢结构-钢结构厂房-钢结构工程[江苏海逵钢构厂] | 企典软件一站式企业管理平台,可私有、本地化部署!在线CRM客户关系管理系统|移动办公OA管理系统|HR人事管理系统|人力 | 涂层测厚仪_漆膜仪_光学透过率仪_十大创新厂家-果欧电子科技公司 | 企业彩铃制作_移动、联通、电信集团彩铃上传开通_彩铃定制_商务彩铃管理平台-集团彩铃网 | 仓储笼_仓储货架_南京货架_仓储货架厂家_南京货架价格低-南京一品仓储设备制造公司 | 热回收盐水机组-反应釜冷水机组-高低温冷水机组-北京蓝海神骏科技有限公司 | Boden齿轮油泵-ketai齿轮泵-yuken油研-无锡新立液压有限公司 | 糖衣机,除尘式糖衣机,全自动糖衣机,泰州市长江制药机械有限公司 体感VRAR全息沉浸式3D投影多媒体展厅展会游戏互动-万展互动 | 洗石机-移动滚筒式,振动,螺旋,洗矿机-青州冠诚重工机械有限公司 | 珠海冷却塔降噪维修_冷却塔改造报价_凉水塔风机维修厂家- 广东康明节能空调有限公司 | 煤棒机_增碳剂颗粒机_活性炭颗粒机_木炭粉成型机-巩义市老城振华机械厂 | 广东恩亿梯电源有限公司【官网】_UPS不间断电源|EPS应急电源|模块化机房|电动汽车充电桩_UPS电源厂家(恩亿梯UPS电源,UPS不间断电源,不间断电源UPS) | 示波器高压差分探头-国产电流探头厂家-南京桑润斯电子科技有限公司 | 聚天冬氨酸,亚氨基二琥珀酸四钠,PASP,IDS - 远联化工 | 法钢特种钢材(上海)有限公司 - 耐磨钢板、高强度钢板销售加工 阀门智能定位器_电液动执行器_气动执行机构-赫尔法流体技术(北京)有限公司 | 活动策划,舞台搭建,活动策划公司-首选美湖上海活动策划公司 | 硅胶管挤出机厂家_硅胶挤出机生产线_硅胶条挤出机_臣泽智能装备 贵州科比特-防雷公司厂家提供贵州防雷工程,防雷检测,防雷接地,防雷设备价格,防雷产品报价服务-贵州防雷检测公司 | 无菌检查集菌仪,微生物限度仪器-苏州长留仪器百科 | 四探针电阻率测试仪-振实密度仪-粉末流动性测定仪-宁波瑞柯微智能 | 常州翔天实验仪器厂-恒温振荡器-台式恒温振荡器-微量血液离心机 恒温恒湿箱(药品/保健品/食品/半导体/细菌)-兰贝石(北京)科技有限公司 | 安全光栅|射频导纳物位开关|音叉料位计|雷达液位计|两级跑偏开关|双向拉绳开关-山东卓信机械有限公司 | 齿轮减速马达一体式_蜗轮蜗杆减速机配电机-德国BOSERL齿轮减速电动机生产厂家 | 河南卓美创业科技有限公司-河南卓美防雷公司-防雷接地-防雷工程-重庆避雷针-避雷器-防雷检测-避雷带-避雷针-避雷塔、机房防雷、古建筑防雷等-山西防雷公司 | 山东led显示屏,山东led全彩显示屏,山东LED小间距屏,临沂全彩电子屏-山东亚泰视讯传媒有限公司 | 膜结构_ETFE膜结构_膜结构厂家_膜结构设计-深圳市烨兴智能空间技术有限公司 | 精雕机-火花机-精雕机 cnc-高速精雕机-电火花机-广东鼎拓机械科技有限公司 | 二手Sciex液质联用仪-岛津气质联用仪-二手安捷伦气质联用仪-上海隐智科学仪器有限公司 | 防爆型气象站_农业气象站_校园气象站_农业四情监测系统「山东万象环境科技有限公司」 | 水上浮桥-游艇码头-浮动码头-游船码头-码瑞纳游艇码头工程 | 东莞市天进机械有限公司-钉箱机-粘箱机-糊箱机-打钉机认准东莞天进机械-厂家直供更放心! | 上海办公室装修公司_办公室设计_直营办公装修-羚志悦装 | 污水处理设备-海普欧环保集团有限公司| 钢绞线万能材料试验机-全自动恒应力两用机-混凝土恒应力压力试验机-北京科达京威科技发展有限公司 |