1) Modal Nonmonotonic Logic
模态非单调逻辑
2) nonmonotonic logic
非单调逻辑
1.
The limitations of conventional nonmonotonic logics are analysed.
分析了常规非单调逻辑的局限性，通过介绍带优先级的非单调逻辑和累积缺省逻辑，指出非单调逻辑不仅需引入优先级而且须基于论据。
2.
Circumscription is one of nonmonotonic logics based on the minimal models.
限制是一种基于极小化模型的非单调逻辑,本文首先提出一种相对限制形式——基于极大化模型的限制,继而给出结合极小与极大化模型的复合限制形式,并进一步讨论它们在形式化机器学习中归纳推理的应用。
3.
In nonmonotonic logic, injective preferential models play an important role.
单射占优模型在非单调逻辑中具有重要的地位。
3) Non-monotonic Logic
非单调逻辑
1.
Non-monotonic Logic:Difficult Position and the Outlet;
非单调逻辑:困境与出路
2.
This paper proposes a non-monotonic logic which can be used to analyze the properties of security protocols.
本文提出一种对安全协议进行分析的非单调逻辑。
3.
In this article, we combine the BDI model’s and the non-monotonic logic’s merits, import the conception of possible belief and the operator of belief maintenance to express the interactions between the agents and the dynamic environment, import the conception of the ag.
本文结合BDI模型和非单调逻辑的优点,引入了可能信念概念和信念维护算子,表达了Agent和动态环境之间的互动关系;引入Agent价值概念和行为规划算子,表达了期望和意图之间的动态约束关系,很好地解决了Agent在非预期环境中的适应性问题。
4) non-normal modal logic
非正规模态逻辑
5) paraconsistent modal logic
弗协调模态逻辑
6) monotonic logic
单调逻辑
补充资料：非单调逻辑
非单调逻辑
non-monotonic logic
fe!dandico Iuo!i非单调逻辑(~n犯notonicl鳍ic)引人新公设(或前提)后可能会使原有定理无效的逻辑。像命题逻辑或一阶谓词逻辑这类传统逻辑都具有“单调性”，即当公设或前提增多时，所能推出的结果(即定理)可能随之增多，但决不会减少。非单调逻辑则不然，当公设或前提增多时，所推出的结果(即定理)有可能减少。例如，我们知道“鸟一般是会飞的”，当告诉我们‘，a是一只鸟”时，我们便会得出“a会飞”的结果来。当又告诉我们“b是一只驼鸟”，而我们又不知道驼鸟是不会飞的，便又会得出“b会飞”的结果。但当告诉我们“驼鸟不会飞”后，便会撤消“b会飞”这一结果。 随着认知科学和人工智能的发展，人的常识和人的常识性推理越来越成为突出的问题。常识推理与传统逻辑的演绎推理之根本区别是常识推理具有不确定性，即常识推理并不都是在完全确定的信息状态下进行的。在问题求解过程中，当出现与默认信息相违背的信息时，人们能制定相应的可能方案，但在违背信息出现之前，人们常继续间题的求解。因为传统逻辑难以解决常识推理问题，人们就从非单调逻辑方面找出路，非单调逻辑的研究大约始于20世纪的70年代末，80年代初就已出现了多种非单调逻辑系统，迄今为止，比较重要的非单调逻辑系统有墓于一阶逻辑的约束化理论、荃于模态语言的自动认知理论和介于二者之间的耿认推理逻辑。 因为人工智能从一开始就致力于不完全、不确定情形的问题求解，它着重于系统行为的合理性，而不过分追求解的最优或精确，所以非单调逻辑越来越受到人工智能研究人员的重视。 (王兵山)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条