限制 (邏輯)維基百科,自由的 encyclopedia 限制是約翰·麥卡錫建立的非單調邏輯,它假定除非特殊指定否則事物同預期的一樣。麥卡錫後來使用限制來嘗試解決框架問題。在它最初的一階邏輯公式中,限制最小化了某些謂詞的外延,這裡的謂詞的外延是謂詞在其上為真的變量元組的集合。這種最小化類似於把不知道為真的假定為假的封閉世界假定。 這是一篇與邏輯學相關的小作品。您可以透過編輯或修訂擴充其內容。閱論編
限制是約翰·麥卡錫建立的非單調邏輯,它假定除非特殊指定否則事物同預期的一樣。麥卡錫後來使用限制來嘗試解決框架問題。在它最初的一階邏輯公式中,限制最小化了某些謂詞的外延,這裡的謂詞的外延是謂詞在其上為真的變量元組的集合。這種最小化類似於把不知道為真的假定為假的封閉世界假定。 這是一篇與邏輯學相關的小作品。您可以透過編輯或修訂擴充其內容。閱論編