限制_百度百科

限制逻辑是一种非单调逻辑,通常简称限制,是模卡斯(MeCarth,J.) 于1980 年提出的一种有代表性的非单调推理理论。...