非単調推論

【ひたんちょうすいろん (non-monotonic reasoning)】

真でないことが証明されない限り真とする仮定を利用しながら推論する方法を非単調推論という. 従来の推論方式は関係する完全な知識が与えられていることを前提とするが, 現実世界では不完全知識を利用しなければならない. したがって, ある程度の仮定を行いながら推論を行うが, 新しい知識によってすでに得た知識が覆される場合が多い. このように, 個々の知識の増加が必ずしも全体としての知識の増加につながらない性質を非単調性という.