非单调推理

non-monotonic reasoning