In nonmonotonic logic, injective preferential models play an important role.

At the second part, nonmonotonic trust region method for unconstrained optimization is studied.

This paper studies the rational problem of general inductive reasoning and nonmonotonic reasoning.