可廢止邏輯

可廢止邏輯是Donald Nute 提出的用來形式化可廢止推理的非單調邏輯。

可廢止邏輯

是 Donald Nute 提出的用來形式化可廢止推理的非單調邏輯。在預設邏輯中,有三種不同類型的命題:
硬性規則指定一個事實總是另一個事實的結論;
可廢止規則指定一個事實典型的是另一個事實的結論;
廢止者指定對可廢止規則的例外。
可以在可廢止規則和廢止者上給出優先權。在演繹期間,硬性規則總是套用,而可廢止規則只能在沒有更高優先權的廢止者指定它不能用的時候套用。

其它

文化藝術,生活娛樂,人物百科,社會人文,中外歷史...

相關詞條

相關搜尋

熱門詞條

聯絡我們