ユーザ用ツール

サイト用ツール


非単調論理

nonmonotonic logic

 知識が増えた場合に,それから導かれる結論が減ることがある推論をさす.述語論理のように,常に正しい知識だけであれば,単調性が成り立つ.常識のように例外を含む知識があれば,単調性が成り立たない.非単調論理のための推論法や,知識ベースを維持する方法がいくつか提案されている.