排序方式: 共有12条查询结果,搜索用时 3 毫秒
1.
2.
<正>cyber不是一个独立的词,而是作为一个词根出现在不同的名词中,其中最常见的是cyberspace、cyber security、cyber-physical system等。这些名词在不同的应用领域中常被理解为不同的含义。以cyberspace为例:从事计算机网络研究的人往往把它直译为网络空间;部队上从事电磁对抗的认为它就是电磁空间;搞虚拟现实的人则认为它就是在虚拟现实 相似文献
3.
面向Agent的常识知识库 总被引:28,自引:0,他引:28
常识性知识处理是人工知识研究的核心难题,在分析了对常识的各种研究工作的基础上,论述了一个面向Agent的大规模常识知识库,提出了一种新型的Agent-CBSAgent,描述了面向常识的语义网络描述语言Csnet,对Prolog进行了面向常识的扩充,分析了常识知识库的本体论结构,最后给出了常识知识库的运行机制。 相似文献
4.
陆汝钤 《重庆邮电大学学报(自然科学版)》2008,20(3):253-253
介绍了在少儿图灵测试方面做的一项研究。该测试用一个基于常识知识库的对话系统实现。它能用比较自然的方式和少儿对话。该系统与许多其他对话程序的区别在于它是基于常识的。介绍开展少儿图灵测试研究的动机以及对测试结果的分析。分析少儿图灵测试的成功与缺陷、其主要瓶颈、其变形版本以及它和常识处理的关系。 相似文献
5.
广义L系统 总被引:8,自引:0,他引:8
由Lindenmayer创立的L系统既是一个描述生物生长的数学模型, 又是一种并发的形式语言. 它的研究历来为人所重视. 但是, L 系统及其种种变形刻画的都是同步的并发系统. 实际上, 在自然界中存在着许多异步的并发现象. 因此, 对传统的L系统作了推广, 提出了广义L系统的概念, 证明了广义L系统不能被传统的L系统所覆盖. 还划分了广义L系统的子类, 证明了各子类等价的充分必要条件, 并得到一个基本定 理: 两个GPD0L系统(一种确定型广义L系统)L[m1, m2,…,mj]和L[n1, n1, ,…, nk]等价, 当且仅当k = j并且存在诸mi的公因子g和诸ni的公因子h, 使得 "i : mi/g=ni/h. 相似文献
6.
陆汝钤 《重庆邮电大学学报(自然科学版)》2022,34(6):921-928
从大数据获取大知识是未来人工智能要解决的重要科学问题。本文从大数据(BD)概念诞生谈起,回顾了大数据知识工程(BDKE)的提出和大知识概念的出现。然后从(1)大知识(BK)、大知识系统(BKS)、大知识工程(BKE)等概念的基本定义、(2)大知识规模及其演化、(3)大知识建模、(4)大知识计算、(5)大知识支撑平台、(6)大知识编程语言等六个视角对大知识进行了探讨。最后给出了有关未来研究方向的想法。 相似文献
7.
8.
Herbrand基上的语义映射 总被引:1,自引:0,他引:1
Emden和Kowalski(以下简称E、K二氏)以horn集为对象,研究了谓词逻辑的操作语义、模型语义和不动点语义及它们之间的等价性.但他们只考虑不包含负子句的horn集,这种子句集是一定可以满足的,因而结论是局限的.他们也没有给出最小不动点的构造方法.本文在定义新的语义映射的基础上,解决了这些问题. 相似文献
9.
陆汝钤 《重庆邮电大学学报(自然科学版)》2008,20(3):253-254
This talk presents our research work on children Turing test. It is implemented in a conversation system supported by a commonsense knowledge base. This system can talk to school children in a more or less natural way. The main difference between it and many other conversation programs is its knowledgebased character. In this talk, motivation of children Turing test and the analysis of its results will be described. We will analyze the achievements and failures of children Turing test, its main bottlenecks, its modified versions and its relation to commonsense knowledge processing. In addition, we will propose some conjectures on Turing test under certain hypotheses and give some concluding remarks. 相似文献
10.
知识推理的一个模 总被引:2,自引:0,他引:2
陆汝钤 《中国科学(E辑)》1998,28(4):363-369
引入了能描述操不同语言的多agent系统中知识推理的模态逻辑语言及其Kripke语义与Aumann语义,为其建立了完备的形式化演绎系统;并构造了多agent系统的逻辑的Institution。 相似文献