国产91av视频在线,一级毛片**免费播放视频

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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