基于“期望”的非单调推理的探讨

来源 :电子器件 | 被引量 : 0次 | 上传用户:wazyymm
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文介绍了以期望集合和期望序列的两种方法来进行非单调推理的思想,并进一步介绍了以 不完全先序序列来推理的思想。这两种思想前后相承,提出了非单调逻辑研究中的最新见解。
其他文献
问:铝氧化标牌的特点和用途是什么?答:铝氧化标牌的主要特点是耐磨耐蚀性能好,主要用在机床标牌仪器面板、高级化妆盒、圆珠笔帽等。
作为中国数码印花行业的领军企业,杭州宏华数码科技股份有限公司在刚刚结束的第14届上海国际纺织工业展上以414m2的大面积高调亮相,展出了VEGA1600、VEGA2500和VEGA3200三种不
建立高效液相色谱 荧光检测器测定炒制坚果中苯并(a)芘残留量的方法,样品采用正已烷 ∶ 丙酮(V ∶ V=3 ∶ 1)混合溶剂萃取后,经中性氧化铝柱净化后用配备荧光检测器高效液相色谱仪
UV-200SCR光固化丝印胶水是科望公司推出的UV新产品,其突出特点是环保、好印、稳定、速干、黏结力强。UV胶水无挥发性溶剂,无刺激性气味,属绿色环保产品;与市场上的溶剂型和水性
郑师傅开了一个小车行。家庭不算宽裕,儿子在外面打工,平时的花销就靠修摩托车、自行车那几个钱。大概是日子紧张的缘故,修车一般不赊账。
随着农村电网改造工程的全面竣工,S9-M,S11-M系列三相全密封式10kV配电变压器已经在10kV配电网络中得到了广泛应用。对于有着丰富叠铁心10kV配电变压器维修经验的基层修试技术
4月1日上午,第34届中国洛阳牡丹文化节赏花仪式在洛阳中国国仡园启动。本届中国洛阳牡丹文化节以“国色天香,世界绽放”为主题,共11项丰体活动和27项专项活动,涵盖赏花旅游、文化
奥宝科技推出的UCI整合式UV油墨固化技术将运用于该公司所生产的Newprint文字喷墨印刷系统上,并确保该机在印刷电路板(PCB)制造过程中会有极佳的性能表现。UCI整合式UV油墨固化
石油消费作为能源消费的重要组成部分,受到国民经济增长、国家产业发展政策和产业结构演变、能源消费结构变化等因素的影响,本文将对此进行探讨。
2007年1月20日凌晨2时30分,河南省禹州市张得供电所内安装的电力设施防盗报警器突然铃声大作。在所内值班的所长孙现洲、职工李小卡忙起身查看。发现是该所辖区内的其祥王1号