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

noun

non-monotonic logic

Technical term in logic and artificial intelligence for a formal system where adding new premises can invalidate previous conclusions.

• 非ひ単たん調ちょう論ろん理りは、デフォルト推すい論ろんや信しん念ねん修しゅう正せいの形