相關詞條
-
可能世界與智慧
。本書介紹了模態邏輯發展的概況以及傳統模態邏輯的基本內容,區分了客觀模態與主觀模態、邏輯模態與非邏輯模態、從物模態與從言模態、狹義模態與廣義模態,特別是詳細介紹了真勢模態的可能世界語義學理論、命題種類及推理有效式;同時...
內容介紹 -
情感計算
變化進行研究,甚至可以區分真笑和假笑:人在真笑時面頰上升,眼周圍的肌肉堆起...模態計算雖然人臉、姿態和語音等均能獨立地表示一定的情感,但人在相互交流...讀、頭勢、體勢等多種交流通道為一體,並對這些通道信息進行編 ...
產生背景 人機互動 相關研究 相關標準 基本內容 -
可能世界
真勢模態之外的模態,並且Kripke語義不假定模態現實主義,它或許是可能...是我們事實上住在的世界。命題的模態狀態被按照“在其中它為真的世界”的方式來理解;所以:真命題是“在實際世界中為真”的命題(例如:“尼克森在1969年...
內容介紹 形式語義 哲學工具 -
中央民族大學宗教學培養方案
西方哲學史課程編號:1039030020課程名稱:西方哲學史學時學分:72學時 4學分開課對象:宗教學本科專業學生課程類型:專業...
-
德·摩根定律
可能性和必然性的真勢模態的套用中,亞里士多德注意到該情況,以及在正規模態邏輯... \equiv \neg \Box \neg p.在其用於可能性和必然性的真勢模態的套用中,亞里士多德注意到該情況,以及在正規模態邏輯的情況中,這些...
定理定義 定理推廣 推導過程 實驗驗證 發展簡史 -
德摩根定理
在其用於可能性和必然性的真勢模態的套用中,亞里士多德注意到該情況,以及在正規模態邏輯的情況中,這些模態算符對量化的關係可藉助按關係語義設定模型...
德摩根定理的表達形式 檢驗模型中量詞的二元性 德摩根定理的證明 -
德摩根律
在其用於可能性和必然性的真勢模態的套用中,亞里士多德注意到該情況,以及在正規模態邏輯的情況中,這些模態算符對量化的關係可藉助按關係語義設定...
文字表述 發展歷程與表達形式 -
德摩根定律
和必然性的真勢模態的套用中,亞里士多德注意到該情況,以及在正規模態邏輯的情況中,這些模態算符對量化的關係可藉助按關係語義設定模型來理解。 德摩根...
-
認識邏輯
邏輯與真勢模態邏輯共享某些特徵。例如模式 T, math \Box...象同樣是正確的。在另一方面,很多在真勢模態邏輯中似是而非的公式在按知識來...、人工智慧和其他領域。 認識邏輯的基本模態運算元通常寫為 K,它可以讀做...
名稱 特徵 -
當代邏輯哲學前沿問題研究
國家哲學社會科學成果文庫)等。圖書目錄導言第一章可能世界語義學及真勢模態邏輯的哲學研究第一節真勢模態及可能世界語義學概覽第二節現代...
基本介紹 圖書目錄