知识表示和推理（Knowledge Representation and Reasoning,KRR）是人工智能核心研究内容之一,旨在为实现基于知识的智能系统提供知识......

随着科学技术的迅速发展,非线性问题大量出现在自然科学、工程技术乃至社会科学的许多领域中,成为当前科学研究的焦点.分歧是一种......

本文首先指出了文献 [1]强等价在分析两个方案的安全性关系中的局限性 ,并对它进行了推广———安全强等价 ,利用相互转换的方法证......

主要讨论EIGamal签名方案及其变体方案之间的安全性关系.首先指出已有的文献在证明过程中的一个误用,该误用会对相应签名方案的安......

在文中，对文献【8】中介绍的具有输出字符功能的模糊自动机和模糊有限状态自动机的定义作了修改，并对它们进行了系统的研究，揭示了此......

讨论等价、弱等价、强等价等几个概念以及这几个概念在语言学史与各个学派上由模糊不清而提炼成较为清晰的形式，探讨一些与这几个概......

计算主义的核心论题是，认知是一种计算。认知者及信息人的认知过程与计算模型的运算过程是相同的，亦即“认知=计算”论题。这就需要......

主要讨论ElGamal签名方案及其变体方案之间的安全性关系.首先指出已有的文献在证明过程中的一个误用,该误用会对相应签名方案的安......