非単調推論
【ひたんちょうすいろん】
【hitanchousuiron】
非单调推理