排序方式: 共有16条查询结果,搜索用时 93 毫秒
1.
本文提出了一种基于Uon Neumann结构的推理数据库系统,它克服了普通数据库系统及一般prolog语言系统各自的缺欠,综合了两种系统的特点,能使现有广泛使用的关系数据库系统升级为推理数据库系统。文中介绍了我们已在 IBM—PCXT上实现的推理数据库查询语言 Hprolog,并详细介绍了Hprolog的两个最低版本Hprologl和Hprolog2。逻辑程序设计语了Hprologl是一个prolog语言子系统。推理数据库查询语言Hprolog2能够基于关系数据库中的元组进行推理。文中最后给出了一个推理数据库的应用实例。 相似文献
2.
3.
针对现有停驻点的问题,将手机用户轨迹与背景地理信息相结合,并引入功能区概念,通过考虑用户在某一功能区域内的整体活动来判断用户是否在此停驻。通过对带有标签的模拟的手机轨迹数据进行实验,证明了新的停驻点识别方法有效地避免了由于正常切换、错误切换带来的误判。停驻点的判断更为宽泛,不仅限于一个小的范围(单个基站的覆盖范围),而是由多个相邻且功能相似小区组成的功能区中的小区集合。 相似文献
4.
关于知识的推理 总被引:1,自引:0,他引:1
近年来,关于知识的推理(Reasoning aboutKnowledge)正在成为计算机科学,特别是人工智能研究中的最重要的分支之一。自从八六年在美国加州召开首届关于知识的推理理论问题国际会议(简称 TARK:Theoretical Aspects of Reasoni-ng about Knowledge)以来,每两年将召开一次TARK 会议。今年三月份召开的 TARK90已是第三次盛会了。关于知识的推理的有关技术已在诸多的领域中得到应用,主要有,经济学,语言学,人工智能及计算机科学。这里,将简要地介绍关于知识的推理的有关基本知识、基本技术及其发展动向。一、关于知识的经典模型关于知识的逻辑推理(通常被称为认识逻辑(Epistemic Logics))的研究,最早由语言哲学家 J.Hintikka 在题为《知识和信念》书中提出了可能世界模型,其基本思路是 相似文献
5.
研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考虑了模糊约束的概念.模糊约束是一个表达式,其中既有语法成分又包含意义信息.模糊推理形式系统中的基本对象是模糊约束,针对模糊约束引进可满足性概念,研究模糊约束可满足性相关性质.利用模糊约束的概念,模糊断言间的推理可以直接在语义环境下加以考虑,因此,以模糊约束为基本元素的模糊推理形式系统随之建立.主要分析新产生断言有效性与模糊约束集可满足性之间的关系,并在此基础上给出了模糊推理形式系统的推理规则.进一步的工作可探讨模糊推理形式系统的可靠性与完全性,建立推理过程的能行机制.研究结果可在人工智能和计算机科学等领域得以应用. 相似文献
6.
聚醚改性硅油的合成研究 总被引:1,自引:0,他引:1
以六水合氯铂酸为催化剂,烯丙基聚醚(F-6)与含氢硅油为原料,在无溶剂甲苯的条件下,加热反应生成聚醚改性硅油,通过测定硅氢键的残余量来计算反应的转化率。分别研究了催化剂量、温度、烯丙基聚醚(F-6)与含氢硅油的物质的量比对反应转化率的影响,得出了最优化的反应条件为:催化剂的质量分数为1.5×10-5,温度120℃,n(聚醚)∶n(硅油)=1.20∶1.00。实验表明,合成的聚醚改性硅油可以有效降低溶剂型聚氨酯树脂溶液(As)树脂的表面张力,使其由30.4mN/m降到27.0mN/m。 相似文献
7.
本文设计并实现了一个二级推理数据库系统.二级推理数据库是传统的数据库系统和PROLOG系统的结合,它可分为二级:数据库级及逻辑程序级.本文给出了二级推理数据库的抽象模型及逻辑语义.重点形式化地描述了语义特性,还讨论了二级推理数据库系统的冗余性、可分辨性及并发性,并得出了一些有意义的结果. 相似文献
8.
9.
自知逻辑是非单调推理的重要的逻辑工具之一。它与缺席逻辑,界限和封闭世界假说等非单调推理的重要概念具有紧密的联系。自知逻辑采用模态逻辑作为形式表达工具,比缺席逻辑具有更可靠的数学基础;它也比界限方法具有更简洁易懂的表达方式。所以,它成为一种最有希望的非单调推理系统。本文将简要地介绍自知逻辑的主要概念,理论与方法。 相似文献
10.
本文由上篇和下篇两个部分组成。上篇主要阐述人工智能理论研究的意义和作用,以消除人们通常对理论性研究所产生的一些误解;同时也进一步对关于知识的推理研究的意义进行分析。下篇主要介绍最近召开的关于知识推理理论问题的国际会议情况,着重其在计算机科学和人工智能领域方面的国际新动态和新进展。 相似文献