2. 您的位置
3. 首页
4. 期刊论文
5. 人工智能中的时序逻辑研究

人工智能中的时序逻辑研究

来源 :云南师范大学学报：自然科学版 | 被引量 : 0次 | 上传用户：GoldGhost

【摘 要】

：

时序逻辑是人工智能研究领域的重要内容之一,文章讨论各种不同的时序逻辑在本体基元、时序结构、时间约束和时间算子选择等四个方面的区别,分析基于点和基于区间时序逻辑的优

【作 者】

：

伍晓敏 尹红丽 段鹏 王永明 

【出 处】

：

云南师范大学学报：自然科学版

【发表日期】

：

2003年z1期

【关键词】

：

时序逻辑 本体基元 时序结构 时间约束 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

时序逻辑是人工智能研究领域的重要内容之一,文章讨论各种不同的时序逻辑在本体基元、时序结构、时间约束和时间算子选择等四个方面的区别,分析基于点和基于区间时序逻辑的优缺点,研究线性时序逻辑与分支时序逻辑的主要区别.同时,基于时序逻辑对单Agent形式化公理及多Agent协商公理体系的构建进行了初步讨论.

其他文献

大一力学教学浅谈

文章从知识现代化、物理方法教育、物理学史的教育、理论与实际相联系等方面介绍了关于大一力学教学的一些看法和体会.

期刊

力学教学物理方法知识现代化物理学史mechanicsmodernization of knowledge method of physicshis

方阵的非奇异性判断及求逆矩阵的几种方法

矩阵的非奇异性判断及逆矩阵的求解在数学研究中是一个很重要的问题,文章给出几种常用的方法以助解决.

期刊

方阵非奇异性奇异阵逆矩阵行列式代数余子式伴随阵范数法初等变换法nonsingularity inverse matrix determin

图书馆藏书清点工作的实践与体会

从图书清点的重要性、清点的目的、清点的准备工作、清点的过程等几个方面介绍了北京联合大学图书馆图书清点工作中的一些体会。

期刊

图书馆图书清点馆藏管理library book inventory collection maintenance

知识管理在高校图书馆中的应用研究

介绍了高校图书馆中知识管理的主要内容,分析了知识管理理论的应用和特点,指出人力资源管理是高校图书馆知识管理中应特别关注的问题。

期刊

知识管理高校图书馆人力资源管理knowledge management university library human resource manag

新型复合钢筋混凝土结构性能研究

基于断裂力学的基本原理,提出了一种外粘贴阻裂增强层的复合钢筋混凝土新结构,介绍了新结构的制作工艺。

期刊

钢筋混凝土断裂力学阻裂增强层reinforced concrete fracture mechanics crack resistance enhan

德国与韩国城乡基础设施一体化建设思考

我国是发展中大国,互联网时代的迅速发展推动了城市化进程的不断加快。而城市化过程中农村地区基础设施薄弱、城乡基础设施建设差距较大的问题逐步凸显。本文选取德国和韩国

期刊

城市化农村基础设施城乡基础设施一体化

基于边缘移动匹配法的RIDPCM

RIDPCM(循环插值差分脉冲编码调制)是利用插值来获得预测图像的一种图像压缩编码技术,如果插值所得的预测图像与原图像越接近,则二者之差的误差信号的动态范围就越小,就可以

期刊

RIDPCM循环插值差分脉冲编码调制图像压缩图像编码边缘移动匹配法误差信号RIDPCM edge-shifted matching interpo

关于小康社会民用电度表检定技术的探讨

阐述了从温饱到小康民用电力负载的变化,分析了从温饱到小康民用电力负载的特点,提出了适应小康社会民用电力特点的民用电能表的检定方法。

期刊

民用电度表检定技术民用电力负载civil watt-hour meter detection technology civil power load

试论土肥技术推广中应解决的问题

我国作为一个人口大国,耕地面积本少之又少。为了在有限的土地资源上提升农产品的产量和质量,土肥技术推广势在必行。

期刊

土肥技术技术推广问题解决办法

普遍的高斯定理和界面上的电场力

讨论了带电导体表面和电场中二介质界面上的电场强度和所受到的静电力.给出了普遍的或推广的高斯定理--通过任一闭合假想曲面(即高斯面)的电场通量等于闭合面内电荷及闭合面

期刊

电磁学电场强度静电力高斯定理电场通量电荷电场力带电导体electric field strength Gauss theorem surfa