首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  免费   0篇
  国内免费   1篇
综合类   1篇
自动化技术   3篇
  1997年   1篇
  1996年   1篇
  1995年   1篇
  1987年   1篇
排序方式: 共有4条查询结果,搜索用时 7 毫秒
1
1.
本文介绍数据库理论中重要的多值依赖,连接依赖和生成元组依赖及其蕴涵问题,同时给出了比较全面和新的研究进展。  相似文献   
2.
王克文  胡久稔 《软件学报》1997,8(11):838-851
Lin提出的辩论推理系统为非单调推理形式提供了一种统一的基础,其推理机制由所谓的论点结构实现.由Lin的系统导出的非单调推理并不具有累加性,而该性质是衡量一个非单调推理关系的重要标志之一.利用Brewka的方法,本文提出标记辩论推理的概念,并且证明缺省逻辑CDL可以嵌入本系统,从而也间接地给出了标记辩论系统具有累加性的一种充分条件.为了彻底地恢复累加性,本文提出了强封闭论点结构的概念,且由标记辩论系统的强封闭论点结构定义的非单调推理具有累加性.  相似文献   
3.
基于辩论推理模式,本文提出了诱导推理的一种计算模型,其特点简洁,直观,并且包含了多种现有的诱导框架,该诱导模型为常识推的计算机实现提供了一种新的途径。  相似文献   
4.
本文给出了F——随机变量的一些重要性质,并证明了在有限的模糊状态下,独立的F——随机变量序列的存在定理。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号