非单调逻辑是(在前提的集合和单一的句子之间的)推论关系不是单调性的形式逻辑。多数形式逻辑都有单调性的推论关系(就是说,如果一个句子可以从前提的集合中推理出来,则它也可以从把这个前提集合作为子集包含的任何前提集合中推理出来),这意味着向理论增加一个公式永不引起它的推论集合的减小,在直觉上,单调性指示出学习一些新知识不能减小已知知识的集合。
单射占优模型在非单调逻辑中具有重要的地位。
In nonmonotonic logic, injective preferential models play an important role.
本文提出一种对安全协议进行分析的非单调逻辑。
This paper proposes a non-monotonic logic which can be used to analyze the properties of security protocols.
借助于归纳推理的局部合理性推论,本文修正了常见非单调逻辑的推理模式,从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.
应用推荐