论文部分内容阅读
人工智能的一个重要目的就是用计算机实现推理，而对推理规律符号化必须使用命 题逻辑和一阶逻辑,本文介绍了关于命题逻辑的集合论解释,并对矢列演绎系统规则的有效性 进行了证明。
人工智能中的推理方法
【摘 要】
：
人工智能的一个重要目的就是用计算机实现推理，而对推理规律符号化必须使用命 题逻辑和一阶逻辑,本文介绍了关于命题逻辑的集合论解释,并对矢列演绎系统规则的有效性 进行了证
【机 构】
：
佛山教育学院数学系
【出 处】
：
计算机与现代化
【发表日期】
：
2001年2期
其他文献
通过对沈抚灌区长期污水灌溉造成的石油污染状况的调查,从土壤微生物种群数量和土壤酶活性的角度评价了含油污水灌溉对土壤生态系统的影响.结果表明,石油污染物在灌区干渠和
细长轴刚性较差,在加工过程中因机床及刀具等多种因素影响,工件易产生弯曲变形,特别是磨削加工的细长轴,由于零件的尺寸公差、表面粗糙度要求较高,又因磨削前工件一般已经进
针对霍尔传感器自身固有的零位特性,对其产生的零位误差进行分类和深入分析,零位误差的种类是多样的,构成的因素也各不相同,只有对其影响实施有效遏制才能保证测试的精度,零
芙蓉镇冲天楼项目对仿古楼阁建筑设计进行了探析,从文化传承、平面功能、立面造型、消防适应性设计等方面进行分析,为仿古楼阁设计提供参考.
在交通行业日益发展的今天,车牌识别技术对于公路车辆监管以及车辆轨迹跟踪越来越重要,考虑到庞大的车辆信息数据量,单机处理数据能力已不能满足实时性的要求。本文在详细研
目的了解富血小板血浆（PRP）对大鼠腹部岛状皮瓣缺血再灌注损伤的影响。方法建立大鼠腹部岛状皮瓣缺血再灌注损伤动物模型,随机分为3组,各10只。实验组大鼠对侧股动脉注射PRP,对
以磨细的废弃加气混凝土替代部分水泥，并掺入Ca（OH）2、CaSO4、激发剂T对其进行活化，采用力学性能测试、XRD、SEM等对活性激发效果进行评价。结果表明，在不掺入激发剂的情况下，增加
土体冻结过程中不同位置液态水的能量差引起了水分迁移与重分布,进而引发冻胀,关于势能差驱动下的冻土水分迁移问题一直由于技术手段的匮乏而没有完全解决。利用新近推出的可
自1993年我国开设麻醉护理专业以来，麻醉科护士的工作重要性日渐显现。广义的麻醉护士包含“护士麻醉师”与“麻醉科护士”两个不同的概念，现代真正意义上的麻醉护士是指隶属于
农村地区居民在享受社会保障服务程度和质量方面与城镇居民还存在一定的差距.这种情况下,农村残疾人群体在生活中面临两难境地:由于受到身体、智力缺陷的限制难以通过从事农