非ひ単たん調ちょう論ろん理り

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.