全球专业中文经管百科,由121,994位网友共同编写而成,共计436,007个条目

博弈語義

用手机看条目

出自 MBA智库百科(https://wiki.mbalib.com/)

目錄

什麼是博弈語義

  博弈語義是一種邏輯的語義,基於在博弈論概念上的真理或有效性的概念,比如對一個游戲者存在一種獲勝策略。保爾·洛倫茨首先在1950年代晚期為邏輯介入了博弈語義。此後在邏輯中已經研究了很多不同的博弈語義。博弈語義也已經應用於編程語言的形式語義。

  Lorenzen和Kuno Lorenz的主要動機是為直覺邏輯找到一種博弈論(他們的術語是“對話式”Dialogische Logik)語義。Blass首先指出在博弈語義和線性邏輯之間的聯繫。這個路線進一步由Samson Abramsky、Radhakrishnan Jagadeesan、Pasquale Malacaria和獨立的由Martin Hyland和Luke Ong發展,對合成性加以特別強調,就是遞歸的在語法上定義策略。使用博弈語義,上面提及的作者們解決了長期存在的為可計算函數的編程語言定義完全抽象模型的問題。從此,博弈語義成為各種編程語言的完全抽象的語義模型,導致了軟體模型檢查的軟體驗證的新的語義制導的方法。

博弈語義下的量詞

  博弈語義的基礎性考慮已經被Jaakko Hintikka和Gabriel Sandu更加強調,特別是為了友好獨立邏輯(IF邏輯,更加新近的友好信息邏輯),它是帶有分支量詞的邏輯。複合性原理被認為對這些邏輯失敗,所以Tarski主義的真理定義不能提供合適的語義。

  要解決這個問題,量詞被給予博弈論意義,全稱量詞和存在量詞表示一個游戲者從這個域做的一個選擇。在全稱情況下,給游戲者的自然名字是“證偽者”;在存在情況下,是“證實者”。註意一個單一的反例證偽一個全稱量化陳述,而一個單一的例子足夠證實一個存在量化陳述。Wilfrid Hodges提議了複合語義並證明瞭它等價於給IF-邏輯的博弈語義。基礎性考慮已經推動了其他人的工作,比如Japaridze的可計算性邏輯。

本條目對我有幫助4
MBA智库APP

扫一扫,下载MBA智库APP

分享到:
  如果您認為本條目還有待完善,需要補充新內容或修改錯誤內容,請編輯條目投訴舉報

本条目由以下用户参与贡献

Zfj3000.

評論(共0條)

提示:評論內容為網友針對條目"博弈語義"展開的討論,與本站觀點立場無關。

發表評論請文明上網,理性發言並遵守有關規定。

打开APP

以上内容根据网友推荐自动排序生成

下载APP

闽公网安备 35020302032707号