搜索筛选:
搜索耗时0.1024秒,为你在为你在102,285,761篇论文里面共找到 32 篇相符的论文内容
发布年度:
[期刊论文] 作者：王献昌,,
来源：计算机工程与科学 年份：1991
本文认为:不同类型的非单调推理,均可通过对有关对象的确信或不确信的推理过程来表示,因此自省的过程可作为一切形式推理的基础。本文讨论了推理者用于表达和椎导其自身信念...
[期刊论文] 作者：王献昌,,
来源：计算机科学 年份：1994
一、简介受国家自然科学基金(CNSF)的部分资助,我参加了1993年8月28日至1993年9月3日在法国南部城市Chambery召开的第十三届国际人工智能联合大会——IJCAI’93,并宣读...
[期刊论文] 作者：王献昌,
来源：现代农业科技 年份：2005
板栗要想连年丰产,必需打破种板栗只采不管的做法,特别是盛果期的栗树,更要做好采收后的管理工作.否则,会影响翌年板栗的产量和品质.笔者经过多年的调查和探索,认为9～10月上旬...
[期刊论文] 作者：王献昌,
来源：现代农业科技 年份：2005
20世纪80年代初开始营造农田防护林,目前无论在生态效益还是经济效益上均取得了一定的效果.1 基本情况明光市位于江淮丘陵东部,地处北纬32°27'～33°13',东经...
[期刊论文] 作者：王献昌,
来源：计算机学报 年份：1995
缺省逻辑的扩充概念有二个弊端：１、无法描述缺省规则田固有的逻辑关系；２．无法描述结论与验证式之间的逻辑依赖关系。Ｗ．Ｌｕｋａｓｚｅｗｉｃａ提出的ｍ扩充概念解决了问题２但没有解决问题１；本文首先提出了ｅ扩充的......
[期刊论文] 作者：王献昌,
来源：低温建筑技术 年份：1994
承插铸铁管的橡胶圈柔性接口施工王献昌（大庆市第二建筑工程公司）采用青铅、石棉水泥和自应力水泥等填料的承插口型式，早己被大家所熟知，但这些填料接口的施工，大部未能摆脱沉重体......
[期刊论文] 作者：王献昌,
来源：现代农业科技 年份：2009
从大树移植时间、挖掘方式以及种植方法等方面对移植大树技术措施进行了阐述，以供参考。...
[期刊论文] 作者：王献昌,,
来源：计算机工程与科学 年份：1993
本文以耶鲁枪击问题为例,分析了典型的非单调理论在解决框架问题上的局限性;在综述了已有的解决方案所存在的问题后,指出了非单调的推理与逻辑程序设计系统GKD—NMRS在描述和...
[期刊论文] 作者：王献昌,,
来源：安徽林业科技 年份：2004
明光市位于江淮丘陵东部，地处北纬32°27’-33°13’，东经117°15’-118°25’之间，总面积2335km^2，林业用地64．5万亩。有林地46．9万亩，森林覆盖率仅13．4％。境内横跨...
[期刊论文] 作者：王献昌,
来源：国土绿化 年份：2009
山楂又名红果、山里红，是我国独特的栽培果树，历史悠久，野生资源丰富。山楂抗风、耐寒，适应性强，易于管理，结果早而寿命长。山楂果除可食用外还可广泛用于加工领域，并具有很高的医疗......
[期刊论文] 作者：王献昌,
来源：计算机学报 年份：1993
1.稳固模型和良构指派 首先假定读者已熟悉有关逻辑程序设计的最基本概念,有关详细论述请参阅[3]。 定义1.设P是一Horn逻辑程序(简称Horn程序),B_P是P的Herbrand域.T_P...
[期刊论文] 作者：王献昌,
来源：计算机科学 年份：1992
语言和思维的主要作用是将主观规定的性质归于事物,然后断言之。对语言和思维的这一研究构成了元语言的基础。属性本身亦是一类事物,故也可以把元语言看作是对象语言。这个事...
[期刊论文] 作者：王献昌,,
来源：安徽农学通报(下半月刊) 年份：2010
大树移植是城市绿化中为了提高树木的造景效果而经常采用的重要手段和技术,阐述了大树的移植和管护程序。要求在进行此项工程时,必须遵守一定的操作规程,才能保证工程质量,从...
[期刊论文] 作者：王献昌,,
来源：安徽农学通报(下半月刊) 年份：2010
介绍了明光市松栎混交林现状,分析了其迹地更新林分生长状况及其存在的问题,并提出了对策建议,主要是造林设计和抚育管理等。...
[期刊论文] 作者：王献昌,
来源：计算机科学 年份：1993
一、引言无疑,常识(Common Knowledge)的表示和推理是知识领域中极其关键的研究问题,因为常识的特殊性质使它在多主体(Multi-agent)协同推理、通讯中起着重要的作用。可...
[期刊论文] 作者：王献昌,,
来源：计算机科学 年份：1994
在人工智能的发展历史上,有一个对世界都产生了重要影响的计划,这就是始于1982年终于1992年的日本第五代机研究计划。在过去十多年里,日本新一代计算机研究所(ICOT)的第五代...
[会议论文] 作者：王献昌,
来源：第三届全国青年计算机学术会议 年份：1991
...
[会议论文] 作者：王献昌,
来源：中国第三届知识工程研讨会 年份：1990
该文论述了面向多推理者的逻辑体系的特点，提出了一个面向多推理者系统的逻辑框架MRSL（Mulit－Reasoner Reasoning System Logic）。该框架不同于在传统模态逻辑上建立的框架，如Kurt...
[期刊论文] 作者：王献昌,,
来源：中国林业 年份：2009
安徽省明光市的松、栎林大部分是20世纪50年代栽植的,其林分结构有多种类型,既有马尾松纯林,也有黑松低产林,更有为数不少的松栎混交林。目前,这些林分已进入成熟或过熟期,陆...
[期刊论文] 作者：王献昌,张奎,
来源：低温建筑技术 年份：1994
火电厂暖通、除尘设备的安装王献昌，张奎火力发电厂热水采暖系统安装有热水循环泵及凝结水箱或暖风机及大型高心风机与加热器组成的空气幕。通风系统中有各式轴流风机、离心风......
相关搜索：
