Let Uq(osp(1|2n)) be the quantized enveloping superalgebra corresponding to the Lie superalgebra osp(1|2n). In terms of ......

<正>常识揄的难点是前提知识的不完备性、揄规则的不精确性以及知识中显性或隐性矛盾存在的普遍性。常识推理的第一个特点是“常识......

标记逻辑是一种重要的次协调逻辑，标记逻辑中的２种推理关系，二次都是次协调的，可以用统一的方法处理一致的知识不一致的知识，单调的，有基......

悖论逻辑ＬＰ是一发协调逻辑，发展协调逻辑的目的是使得不会从矛盾推出任一命题，但它有一个主要缺点：就量些在经典逻辑中有效的推理在ＬＰ中不......

The study of the confluences of the roots of a given set of polynomials—root-pattern problem— does not appear to have ......

分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关......

自动定理证明的历史几乎与计算机科学的历史一样长，计算机科学中的尖端领域——人工智能的研究也是从自动定理证明开始的。自动推理......