In nonmonotoniclogic, injective preferential models play an important role.
单射占优模型在非单调逻辑中具有重要的地位。
2
By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotoniclogic, and so we provide a new formal method of inductive reasoning under the deductive model.