限制_(邏輯)

限制是約翰 · 麥卡錫建立的非單調邏輯 ， 它假定除非特殊指定否則事物同預期的一樣 。 麥卡錫後來使用限制來嘗試解決框架問題 。 在它最初的一階邏輯公式中 ， 限制最小化了某些謂詞的外延 ， 這裏的謂詞的外延是謂詞在其上爲真的變量元組的集合 。 這種最小化類似於把不知道爲真的假定爲假的封閉世界假定 。 Category: 計算機邏輯 Category: 人工智能 en: Circumscription ( logic )