123,123

內(nèi)容簡(jiǎn)介

　　人類(lèi)使用自然語(yǔ)言進(jìn)行日常的思考、推理和解決問(wèn)題，而機(jī)器使用形式語(yǔ)言進(jìn)行推理和計(jì)算，因此，要實(shí)現(xiàn)人機(jī)互動(dòng)，需要讓機(jī)器能夠?qū)⒆匀徽Z(yǔ)言自動(dòng)地翻譯為形式語(yǔ)言，即實(shí)現(xiàn)自然語(yǔ)言的自動(dòng)形式化。本書(shū)從人類(lèi)認(rèn)知出發(fā)，通過(guò)讓機(jī)器模擬人類(lèi)形式化的思維過(guò)程來(lái)實(shí)現(xiàn)自動(dòng)形式化。本書(shū)涉及邏輯、語(yǔ)言、認(rèn)知與計(jì)算多個(gè)學(xué)科的知識(shí)，從跨學(xué)科的視角為自動(dòng)形式化問(wèn)題提供了一種新的基于認(rèn)知的研究進(jìn)路。

作者簡(jiǎn)介

　　徐超，男，1987年生，山東新泰人，北京大學(xué)邏輯學(xué)碩士、博士，就職于山東大學(xué)哲學(xué)與社會(huì)發(fā)展學(xué)院，任助理研究員，主要研究領(lǐng)域常識(shí)推理、邏輯與人工智能、哲學(xué)邏輯、自然語(yǔ)言處理。

圖書(shū)目錄

第1章引言
  1.1 研究背景
    1.1.1 邏輯方法與機(jī)器學(xué)習(xí)
    1.1.2 邏輯方法與常識(shí)推理
    1.1.3 邏輯方法與專(zhuān)家系統(tǒng)
    1.1.4 自然語(yǔ)言自動(dòng)形式化
  1.2 問(wèn)題描述
  1.3 研究現(xiàn)狀
    1.3.1 基于規(guī)則的方法
    1.3.2 基于句法分析的方法
    1.3.3 基于實(shí)例的方法
    1.3.4 基于歸納邏輯編程的方法
    1.3.5 基于統(tǒng)計(jì)機(jī)器學(xué)習(xí)的方法
    1.3.6 基于深度學(xué)習(xí)的方法
    1.3.7 基于語(yǔ)言模型的方法
    1.3.8 基于語(yǔ)義分析的方法
    1.3.9 小結(jié)
  1.4 研究目標(biāo)
  1.5 研究思路
  1.6 本書(shū)貢獻(xiàn)與結(jié)構(gòu)安排
第2章理論基礎(chǔ)
  2.1 邏輯語(yǔ)言
  2.2 框架理論
    2.2.1 Minsky框架理論
    2.2.2 框架語(yǔ)義學(xué)理論
  2.3 構(gòu)式語(yǔ)法
    2.3.1 構(gòu)式語(yǔ)法的提出及發(fā)展
    2.3.2 構(gòu)式的定義
    2.3.3 構(gòu)式語(yǔ)法簡(jiǎn)介
  2.4 概念系統(tǒng)
    2.4.1 概念系統(tǒng)定義
    2.4.2 概念系統(tǒng)的組織方式及意義來(lái)源
  2.5 概念詞匯化
    2.5.1 語(yǔ)義元素與表層元素
    2.5.2 運(yùn)動(dòng)事件概念詞匯化
第3章基于概念系統(tǒng)的人類(lèi)語(yǔ)言生成和理解模型
  3.1 引言
  3.2 理論假設(shè)
    3.2.1 心理意象假設(shè)
  ……
第4章基于認(rèn)知語(yǔ)義表示的自然語(yǔ)言形式化方法
第5章空間語(yǔ)言的自動(dòng)形式化
第6章臨床試驗(yàn)合格性標(biāo)準(zhǔn)的自動(dòng)形式化
第7章總結(jié)與展望
附錄A 常用數(shù)據(jù)集及其構(gòu)建
附錄B 基本概念與基本理論
附錄C 語(yǔ)義分析研究現(xiàn)狀
附錄D ASSA系統(tǒng)實(shí)現(xiàn)細(xì)節(jié)
附錄E ATEC系統(tǒng)實(shí)現(xiàn)細(xì)節(jié)
參考文獻(xiàn)