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在非预期环境中的适应性问题。
3)Modal Nonmonotonic Logic模态非单调逻辑
4)monotonic logic单调逻辑
5)Nonmonotonic Paraconsistent Logic非单调次协调逻辑
6)logical monotonicity逻辑单调性
延伸阅读
非单调逻辑非单调逻辑non-monotonic logic fe!dandico Iuo!i非单调逻辑(~n犯notonicl鳍ic)引人新公设(或前提)后可能会使原有定理无效的逻辑。像命题逻辑或一阶谓词逻辑这类传统逻辑都具有“单调性”，即当公设或前提增多时，所能推出的结果(即定理)可能随之增多，但决不会减少。非单调逻辑则不然，当公设或前提增多时，所推出的结果(即定理)有可能减少。例如，我们知道“鸟一般是会飞的”，当告诉我们‘，a是一只鸟”时，我们便会得出“a会飞”的结果来。当又告诉我们“b是一只驼鸟”，而我们又不知道驼鸟是不会飞的，便又会得出“b会飞”的结果。但当告诉我们“驼鸟不会飞”后，便会撤消“b会飞”这一结果。 随着认知科学和人工智能的发展，人的常识和人的常识性推理越来越成为突出的问题。常识推理与传统逻辑的演绎推理之根本区别是常识推理具有不确定性，即常识推理并不都是在完全确定的信息状态下进行的。在问题求解过程中，当出现与默认信息相违背的信息时，人们能制定相应的可能方案，但在违背信息出现之前，人们常继续间题的求解。因为传统逻辑难以解决常识推理问题，人们就从非单调逻辑方面找出路，非单调逻辑的研究大约始于20世纪的70年代末，80年代初就已出现了多种非单调逻辑系统，迄今为止，比较重要的非单调逻辑系统有墓于一阶逻辑的约束化理论、荃于模态语言的自动认知理论和介于二者之间的耿认推理逻辑。 因为人工智能从一开始就致力于不完全、不确定情形的问题求解，它着重于系统行为的合理性，而不过分追求解的最优或精确，所以非单调逻辑越来越受到人工智能研究人员的重视。 (王兵山)
