信念邏輯是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基本介紹
- 中文名：信念邏輯
- 外文名：belief logic，doxastic logic
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,公布時間,出處,
定義
關於信念推理的邏輯。
公布時間
2018年，經全國科學技術名詞審定委員會審定發布。
出處
《計算機科學技術名詞 》 (第三版)。
信念邏輯
相關詞條
- 信念邏輯
信念邏輯 信念邏輯是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 關於信念推理的邏輯。公布時間 2018年，經全國科學技術名詞審定委員會審定發布。出處 《計算機科學技術名詞 》 (第三版)。
- 認識論邏輯
認識論邏輯亦稱“認知邏輯”。研究諸如知道、相信、斷定、問題這樣一些認識論方面的概念範圍內出現的邏輯問題。它不處理事實如何、可能如何、必然如何等問題，而是處理認知者對事實知道、相信、斷定、疑問等問題。包括知道邏輯、信念邏輯、斷定邏輯、問題邏輯等。由於現代邏輯的一些方法已經用於分析認識論方面的概念，因此...
- 自認知邏輯
自認知邏輯(autocpistcmic logic)一種重要的非單調邏輯.它把預設假設看做理想主體的自我信念的反映，體現一種推理主體自知之明的內省，自認知邏輯的語言引人一個模態運算元L表示信念，代表一類模態非單調邏輯的研究，它對描述關於理智狀態的推理有直接的套用.人們稱包含模態詞I的公式為L公式，一個自知理論T是一個L...
- 信念理論
《信念理論》是查爾斯·桑德斯·皮爾士創作的信念理論。皮爾士對信念問題進行了認真細緻的分析：關於確定信念的方法。皮爾士認為，人們必須尋找到一個確定信念的切實可行的方法。經過對哲學史和思想史的考察，皮爾士對非科學的確定信念的方法——固執的、權威的、先驗的方法一一進行了批判。他指出，“固執的方法”是完全...
- 邏輯學導論(2023年科學出版社出版的圖書)
《邏輯學導論》，是2023年科學出版社出版的圖書，作者是哈里·J.根斯勒。內容簡介 該書在介紹邏輯學三段論、推理的非形式化內容、歸納推理等傳統知識框架的基礎上，展示了部分前沿成果，如道義和祈使邏輯、信念邏輯、元邏輯、異常邏輯等。該書對現代邏輯學中部分冗長、複雜的技術細節進行了簡化，在證明體系中依次介紹...
- NLP思維邏輯層次
NLP思維邏輯層次也稱理解層次。在NLP中環境、行為、能力稱為低三層，這是我們可以意識到的層次，而信念/價值觀、身份、精神（系統）稱為高三層，這在我們日常生活中需細心分析才有可能被發現。通常低層次的問題高一個層次就能輕易找到方法，可倘若在同層次或其低層次來尋找方法，效果往往不盡如人意或者消耗精力過大。
- 認知邏輯導論
《認知邏輯導論》是2001年清華大學出版社出版的圖書，作者是周昌樂。內容簡介 本書主要介紹有關知識、信念的形式化描述及其套用的邏輯理論，充分反映了國外在認知邏輯研究領域所取得的成就，不但介紹了較為成熟的信念邏輯、斷定邏輯，而且給出了認知非單調推理、認知預設推理以及一些廣義認知邏輯理論,最後討論了認知邏輯在...
- 社會認知邏輯
2.1 認知邏輯 20 2.2 動態認知邏輯 26 2.3 信念邏輯 29 2.4 信念修正理論 30 2.5 幾個群體知識的概念 35 2.6 混合邏輯 37 參考文獻 40 第 2 部分 基於進化理性的邏輯 第 3 章 信念修正與社會影響 45 3.1 社會影響下的信念變化 47 3.2 穩定與變動狀態 52 3.3 可能的替代模型...
- 信念倫理
信念倫理與“責任倫理”相對。行動者僅根據被其認定的價值信念開展行動的準則。德國學者韋伯（MaxWeber,ISM—1920）提出。以“價值合理性”為核心，是一種主觀的價值認定邏輯。要求行動者首先對於行動本身是否符合絕對價值和普遍律令進行審視；只要行動目的正當，無論手段是否科學、是否帶來其他負面後果，都應不計代價、不...
- 非單調邏輯
單調邏輯不能處理各種推理任務比如預設推理（事實可以是已知的，只是因為缺乏反面的證據）、溯因推理（事實只按最合適的解釋演繹出來）、關於知識的推理（在事實變成已知的時候，對一個事實的無知必須被撤消），和信念修正（新知識可以和舊信念矛盾。）目前對於非單調推理的研究一般有兩種途徑：一種方法認為經典邏輯對於...
- 次協調邏輯
討論邏輯背後的思想是，在一個討論中，每個參與者都提出一些信息，信念或觀點。 根據參與者的論述，每個斷言都是正確的。 但是，從整體上講，正確的是參與者提出的主張之和。 每個參與者的觀點可能是無矛盾的，但可能與其他人的觀點不一致。 雅羅斯科夫斯基以討論邏輯的方式形式化了這個想法。非合取介入系統(Non-Ad...
- 不合理信念
懷有這樣信念的人極易陷入情緒困擾中，因為客觀事物的發生、發展都有其規律，是不以人的意志為轉移的。2、過分概括化。這是一種以偏概全、以一概十的不合理思維方式的表現。艾利斯曾說過，過分概括化是不合邏輯的，就好像以一本書的封面來判定其內容的好壞一樣。過分概括化的一個方面是人們對其自身的不合理的...
- 信念-願望-意圖邏輯及其套用研究
《信念-願望-意圖邏輯及其套用研究》是中國社會科學出版社出版的圖書，作者是張曉君 內容簡介 張曉君，女，四川南充人。現任四川師範大學邏輯與信息研究所所長。2011年博士畢業於中國社會科學院研究生院，2013年從廈門大學博士後出站後，就職於四川師範大學，兼職於福建省仿腦智慧型系統重點實驗室（廈門大學）。在《模式識別...
- 混合空間邏輯
4.5.2 極小導集邏輯wK4和信念邏輯KD45 4.6 全稱模態運算元與差別運算元 4.7 子集空間邏輯初步 4.7.1 基本語義 4.7.2 與拓撲邏輯的關係 4.7.3 公理系統 4.7.4 拓撲空間邏輯 第5章 子集空間邏輯 5.1 經典子集空間邏輯SSL 5.2 認知情境 5.3 子集空間邏輯的關係語義學 5.3.1 子集語義與R語義的弱...
- 信念固化
信念固化（belief consolidation）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 有兩種用法：①按斯文·漢森（Sven Ove Hansson）的用法，固化就是對信念集合實行邏輯協調的過程；②按奧爾森（E.J.Olsson）的用法，固化就是對信念集合實行邏輯協調加上認知均衡（穩固）的過程。出處 《...
- 現代認知邏輯的理論與套用
《現代認知邏輯的理論與套用》是2010年科學出版社出版的圖書，作者是唐曉嘉、郭美雲。本書主要討論傳統的單主體認知邏輯、時態邏輯、群體知識和多主體認知邏輯、公開宣告邏輯、博弈邏輯、信念修正的動態邏輯、非邏輯全知主體的邏輯、非單調邏輯和預設邏輯等。內容簡介 認知邏輯是將現代邏輯套用於人的認知活動而形成的一個...
- 實踐推理邏輯研究
《實踐推理邏輯研究》是2016年中國社會科學出版社出版的圖書，作者是呂進。內容簡介 實踐推理是理性主體面向行動的推理，核心是分析各種意向性要素諸如信念、願望、意圖、記憶、偏好、期待、熱愛等等心理態度在影響、引起或引導理性主體的行為中所起到的作用。實踐推理的邏輯研究通過刻畫這些要素的邏輯性質來構建表達實踐推理...
- 非單調邏輯與漢字的辨認輸入輸出
我們根據開放邏輯的思想提出了預設推理的分階段實現方法。另一方面，我們建立了開放邏輯的變種；提出沿子結構鏈和遞歸認識進程的概念並研究了其收斂性。3、創立了斷言的預設邏輯ADL徹底解決了Etherington提了同了擴棄產生程式的收斂性問題。並且否證了Matek等人的猜想。4、研究了信念邏輯的完備性問題。刻畫了Levesgue信息...
- 信念域
信念域( belief field) 科學哲學術語。指人類帶有信念性的各種認識活動。由加拿大邦格提出。他認為，信念域的主要特徵是，認知域的要素，特別是第i到第十要素一般是不能變化，如果有變化也是由於非研究性的原因所導致的，如壓力、經濟利益或非理性的狂熱。信念域包括：政治意識形態，迷信，宗教，偽教條，偽科學等...
- BDI模型
當前主體(agent)使用的BDI模型一般都是在Cohen和Levesque的正規模態邏輯的意圖模型以及Rao和Georgeff的BDI計算數邏輯模型基礎上發展起來的，即側重於形式描述信念(belief)、願望(desire)和意圖(intention)，簡稱BDI，其本質上要解決的問題是如何確定主體(agent)的目標以及如何實現這個目標。一個BDI模型包含三種基本成分：（...
- 抽彩悖論
抽彩悖論又稱凱伯格悖論，由H·凱伯格（H.Kyburgm）在他的《合理信念邏輯的機率》一書中所表述的悖論：我合理地相信在一百萬張彩票中有一張將中彩。但我並不合理地相信1號票將中彩，也沒有理由相信2號票將中彩。這一過程可以繼續下去，以至最終也沒有理由相信任何單獨一張票將中彩。於是悖論出現了，因為我...
- 學術前沿:知識之樹
《學術前沿：知識之樹》是2003年生活·讀書·新知三聯書店出版的圖書，作者是馮·賴特 。內容簡介 《學術前沿:知識之樹》為模態邏輯奠定新基礎的工作導致了整整一族新的“邏輯”：一個與討論知識的概念相關，即認知邏輯；另一個與信念相關，即信念邏輯；第三個與規範相關，即道義邏輯；第四個與時間的連續相關，即...
- 非理性因素
非理性因素是指人的情感、意志，包括動機、欲望、信念、信仰、習慣、本能等，以非邏輯形式出現的幻想、想像、直覺、靈感等也屬於非理性因素。非理性因素對人的認識活動的發生與停止、對主體認識能力的發揮與抑制起著重要的控制和調節作用。主要表現在：(1)動力作用。實踐是認識發展的動力，而實踐對認識發生作用，還得...
- 劉奮榮
2003年8月至2008年2月，荷蘭阿姆斯特丹大學邏輯、語言和計算研究所工作。研究方向 模態邏輯基礎理論研究。 哲學邏輯。包括認知邏輯、信念邏輯、動態邏輯、動態偏好邏輯等。 人工智慧中的邏輯。包括時態邏輯、預設邏輯、多主體認知系統等。社會主體性研究。中外邏輯史研究。主要成就 科研項目 主持 國家社科基金...
- 當代知識論
《當代知識論》是一本由復旦大學出版社在2008年10月1日出版的書籍。內容簡介 《當代知識論》的主要任務是勾畫當代西方認識論的邏輯概貌並為直接實在論進行辯護。西方哲學界有一種普遍的看法，認為一個信念只能通過另一個信念或另一部分信念才能得到辯護或證明。外部世界或知覺本身不能直接給一個信念提供辯護或證明，...
- 劉虎(中山大學哲學系副教授)
以及中國社會科學等國內刊物和文集。博士學位論文“信念、覺知與二維邏輯” 獲得2007年全國百篇優秀博士學位論文。主要研究方向是非經典邏輯及其套用，特別非經典邏輯在人工智慧中的套用。所研究的問題涉及信念邏輯、非單調推理、多agent理論、模型檢測、因果關係理論、多值邏輯等多個方向。
- 知識追求與文化關懷-(布迪厄的文化理論研究)
本書討論了布迪厄的社會學方法——走出意識哲學，接納、思考身體、無意識的模糊邏輯，兼及社會整體與日常生活的社會文化理論。布迪厄發現行動者的“實踐感”，是一種非經院哲學、非理智計算的具身化邏輯，即身體-習性-資本構成的信念邏輯，經由這條具身化（embodied）、非認知的實踐思路，布迪厄揭示了當代社會符號暴力的...
- 網構軟體信任演化模型的形式化研究:面向複雜網路
···.182.2 信念邏輯與信任關係描述···.19 2.2.1 信念邏輯···.192.2.2 信任關係的描述···.20 2.3 信任鏈建立過程的描述與推演···
- 馬明輝(中山大學哲學系教授)
7. 馬明輝.早期分析哲學中的信念邏輯.《世界哲學》2016年第5期 8. 馬明輝,劉新文.論弗雷格式量化邏輯.《哲學動態》2016年第2期 9. 馬明輝,王善俠,鄧輝文.極小非正規時序邏輯的矢列式演算系統.《中國科學》(信息科學)，2016.doi: 10.1360/N112015-00320 10. Minghui Ma and Ahti-Veikko Pietarinen. A ...
