ひたんちょう-ろんり ヒタンテウ― [6] 【非単調論理】 〔non-monotonic logic〕 〔論〕 非古典論理の一つ。古典論理の推論においては，新しい前提を付け加えても結論は変化せず単調であるのに対し，新たな推論規則を導入して古典論理の単調性を否定する論理体系をいう。人工知能研究のフレーム問題などへの応用が試みられている。