In nonmonotonic logic, injective preferential models play an important role.
单射占优模型在非单调逻辑中具有重要的地位。
参考来源 - 可公理化单射占优模型类的研究·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
This paper proposes a non-monotonic logic which can be used to analyze the properties of security protocols.
本文提出一种对安全协议进行分析的非单调逻辑。
Plausible reasoning, belonging to the category of non-monotonic logic, is a sort of frequently-used reasoning on the basis of common knowledge.
合情推理是非单调逻辑中一种常用的以常识为基础的推理形式,在多种可能之因当中选定一个最为“合情”的作为结论。
In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.
该文提出一种论证安全协议之安全性质的非单调动态逻辑。
应用推荐