非单调推理与假说的发生

来源 :海军工程学院学报 | 被引量 : 0次 | 上传用户:youyoucao_1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文对作为人工智能理论基础的人类思维和逻辑的发展及问题进行了讨论,着重研讨了推理的非单调性质、自动推理模式、调节机制,以及假说和猜想的产生。
其他文献
1989年11月22日是海军工程学院建院四十周年院庆日,为弘扬学院四十年建设的成就,展示学院人才培养的硕果,激励广大教职员工及战斗在各条战线上的校友们的工作学习热情,海军工
在工程结构构件承受外荷载之前,对受拉模块中的钢筋,施加预压应力,能够提高构件的刚度,推迟裂缝出现的时间,增加构件的耐久性。本文结合作者多年的工程实践经验就现浇混凝土
四川:计划未来三年建设1200所城乡公办幼儿园 目前,四川省政府决定实施第二期学前教育三年行动计划。2014年至2016年,四川省将建城乡公办幼儿园1200所,平均每年400所。四川省教育
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
图像分割是图像理解与分析的基础。在众多的图像分割方法中,最大类间方差法(OTSU法)被认为是阈值选取最优方法之一。在木材体积非接触测量系统中需要从图像中分割出计算模型,然后根据标定计算并存储。文章结合目标所占比例对分割效果的影响,在分析OTSU的基础上提出改进的最大类间方差算法,并通过实验证明该方法能有效的优化计算模型。
构建以.NET技术为基础的临床虚拟标准化病人系统模型,分析了虚拟标准化病人实现的网络环境基础及虚拟临床环境设计方案,设计了虚拟标准化病人实现的通信流程及数据流向。利用计
由我院四系张盖凡教授等人组成的“多机整流并联系统运行稳定性问题研究”课题组,从1987年7月开始,对国家某重点研制项目中可能出现的系统运行稳定性问题及谐波和电磁干扰情
本文阐述了嫩江公路大桥原型及模型动力试验,通过实测数据分析,给出了该桥的动态特性及振动响应。
政务系统业务需求复杂多变,导致很多电子政务系统都存在扩展性弱、生命周期短,功能细化程度不够,建设及运维成本高等不足。该团队结合多年的政务系统开发实践经验,总结了一套应用
<正>~~
期刊