-
限制邏輯
鎖定
限制邏輯(circumscription)一種非單調a輯,通常簡稱限制,是模卡斯(MeCarth, J.)於19f年提出的一種有代表性的非單調推理理論。
- 中文名
- 限制邏輯
- 外文名
- circumscription
- 所屬學科
- 數學
限制歲在一個低階公式(一階公式)A的所有屍極小(化模型中都為真的一個較高階公式(二階公式),這J屍是A中相對於一定準則的極小變量.直觀上,{制的基本思想是捕捉一種猜測推理的經濟原則,I從某些事實A出發能夠推出具有某一性質屍的歹象就是滿足屍的全部對象.令A(P,x)是一個包含謂詞P與變元x的一l
句子,語義上,A中限制屍,是相對於一個偏序毛的所有屍極小模型都為真的句子集,一個A的模2M稱為極小的,若不存在它的其他模型M‘使得幾鎮PM,定義鎮P如下:令Mi}t=1,2},是兩個模型M, <PMz,當且僅當(1)M,與M2具有相同的論域(2)P在M,的外延包含於屍在M2的外延,語法上限制可刻畫為如下二階句子:
結果.
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:6次歷史版本
- 最近更新: 微风不堪回首