無効化可能論理は、無効化可能推論を形式化するためにドナルド・ヌートによって提唱された非単調論理である。無効化可能論理には、3つの異なるタイプの命題が存在する。
- 厳格なルール
- ある事実が常に別の事実の結果であると明記する。
- 破棄可能なルール
- ある事実が通常別の事実の結果であることを明記する。
- 敗北者を打ち負かす
- 無効にできる規則の例外を指定します。
無効化可能なルールと無効化対象ルールの間に優先順位を設定できます。演繹のプロセスでは、厳格なルールが常に適用されますが、無効化可能なルールは、より優先度の高い無効化対象ルールが適用すべきでないと指定していない場合にのみ適用されます。
参照
参考文献
- D. Nute (1994). 無効化可能論理. 『人工知能と論理プログラミングにおける論理ハンドブック』第3巻「非単調推論と不確実推論」353-395ページ. オックスフォード大学出版局.
- G. Antoniou, D. Billington, G. Governatori, M. Maher (2001). 無効化可能論理の表現結果. ACM Transactions on Computational Logic , 2(2):255–287.
