noun
non-monotonic logic
Technical term in logic and artificial intelligence for a formal system where adding new premises can invalidate previous conclusions.
非単調論理は、デフォルト推論や信念修正の形式化に用いられる。
Non-monotonic logic is used to formalize default reasoning and belief revision.
Monotonic logic, where adding premises never invalidates previous conclusions; the opposite of 非単調論理.
Compound of 非 (non-) + 単調 (monotonic) + 論理 (logic), a direct translation of the English term 'non-monotonic logic'.