【摘 要】
：
Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。要使归结过程的机械化步骤在计
【基金项目】
：
教育部重大攻关课题资助（05JZD0008）
论文部分内容阅读
Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。要使归结过程的机械化步骤在计算机上具有可行性,还要告诉计算机一种搜索策略,即指导计算机进行归结的方法。这种方法显然是一种归纳逻辑方法。计算机中的逻辑推导既不是单纯的演绎过程,也不是单纯的归纳过程。计算机语言既是演绎的又是归纳的,是二者的融合。
其他文献
要想成功受精,母牛的一系列活动（发情、排卵、配子运行）与公牛的活动（产生精子、输精）必须正常发生。这其中的任何一项未能正常进行,或在错误的时间进行,都会导致受精失败。下面
奶牛情期受胎率主要有以下几方面决定因素：一是母牛自身的繁殖性能;二是发情鉴定的准确率;三是配种员的输精技术;四是与配公牛的繁殖性能。关于如何提高情期受胎率,主要从以下
坚持党的领导、人民当家作主和依法治国的有机统一，是中国特色社会主义民主政治的基本特征，是社会主义民主政治的优势所在，是继续推进政治体制改革和加强政治文明建设应当遵循的
猪细小病毒感染,又称猪细小病毒病,是由猪细小病毒引起的繁殖障碍病。猪在感染细小病毒后一般不表现明显的临床症状,主要为繁殖母猪胚胎早期死亡,后期出现流产、死产或木乃伊
近年来产母猪异常发情问题严重影响了母猪的生产性能和猪场效益.如不能及时发现,认直鉴定和诊断治疗,将会延误配种,使繁殖母畜不能如期给养殖户带来效益.笔者根据多年的工作
疝是腹腔的内脏以肠管、肠系膜、网膜、膀胱脱出于天然孔（脐、鼠蹊）或腹壁肌肉的病理裂孔的一种常见病.
牛、绵羊、犬等常发生阴茎和包皮感染，马偶见，而猪和猫则很少发生。最常见的是无临床症状的包皮腔内亚临床感染。严重的龟头包皮炎引起疼痛、不愿交配、包皮狭窄、阴茎和包皮粘
隐睾是较常见的睾丸位置先天性异常,是指一侧或两侧睾丸未能按正常发育过程从腹膜后下降至阴囊底部,而滞留于腹腔、腹股沟管、阴囊入口处的一种疾病,又称睾丸下降不全.临床上
职业教育的发展一直备受价值分类和选择的困扰。职业教育的价值主要有五个方面：专业教育、能力培育、社会服务、终身发展、人格陶冶。职业教育的五种价值目标不是孤立的，在各种
塔斯基将真理概念定义为：在对泉语言O中一闭语句是真的，当且仅当，它被所有的对象序列所满足。该定义的含义是，如果将该闭语句分解成开语句后，其中的自由变元能被某些对泉序列所满