• 鄰域語義

    編輯
    本詞條由“匿名用戶” 建檔。

    鄰域語義

    編輯

    鄰域語義,又稱斯科特-蒙塔古語義,是模態邏輯的形式語義。它是由DanaScott和RichardMontague獨立開發的,對更廣為人知的模態邏輯的關系語義的一種概括。而關系框架?W,R?{displaystyle{langleW,Rrangle}由一個世界集合W組成。由一個世界(或狀態)的集合W和一個可訪問性關系R組成,旨在表明哪些世界是其他世界的替代品(或可從其他世界訪問),一個鄰接框架?W,N?{displaystyle£angleW,Nrangle}仍然有一個世界集合W。仍然有一個世界的集合W,但有一個鄰接關系代替可訪問性關系,即鄰接函數直觀地說,分配給一個世界的每個子集家族都是該世界的必要命題,其中"命題"被定義為W的一個子集(即命題為真的世界集)。具體來說,如果M是框架上的一個模型,那么鄰域語義被用于嚴格弱于正常模態邏輯K的經典模態邏輯

    鄰域算法

    關系模型和鄰域模型之間的對應關系

    編輯

    對于每一個關系模型M=(W,R,V),都對應著一個等價的(在具有點等價模態理論的意義上)鄰域模型M'=(W,N,V),定義為反之亦然的事實給了鄰域模型是關系模型的泛化這一說法一個準確的意義。關系結構的另一個(也許更自然的)泛化是一般框架

    內容由匿名用戶提供,本內容不代表www.gelinmeiz.com立場,內容投訴舉報請聯系www.gelinmeiz.com客服。如若轉載,請注明出處:http://www.gelinmeiz.com/171296/

    (2)
    詞條目錄
    1. 鄰域語義
    2. 關系模型和鄰域模型之間的對應關系

    輕觸這里

    關閉目錄

    目錄
    91麻精品国产91久久久久