论文部分内容阅读
针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法.定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法.该方法推理效率高,较已有的推理方法具有一定的优越性.
一阶谓词逻辑的图形推理法
【摘 要】
：
针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法.定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁
【机 构】
：
山东农业大学信息科学与工程学院
【出 处】
：
计算机科学
【发表日期】
：
2014年7期
【基金项目】
：
国家自然科学基金(61170079,61201252);教育部科技论文快速共享项目(2012107);山东省优秀中青年科学家奖励基金(BS2009DX012)资助
其他文献
旨在考察《中国成年人核心心理健康素质总量表》在农民工群体中的心理测量学特征,了解我国农民工心理健康素质的基本情况,并与全国成年人常模进行比较。采用《中国成年人核心
<正>近一段时间,全球多个国家和地区的政府推出了实质性的5G促进举措,同时,承担5G建设的运营商也纷纷公布最新的5G计划。如,日本运营商NTT DoCoMo、软银和KDDI日前均表示,将
为了提高电动汽车入网技术(V2G)的电力系统机组组合实用性和经济性,提出一种考虑可入网电动汽车(PEV)的数量变化和电池电荷状态变化的机组组合算法。利用电池电荷状态与充放
中小企业特别是中小民营企业的蓬勃发展已经成为推动中国经济向前发展的重要力量源泉,然而由于其自身的缺陷和现行金融体制的不足,融资问题一直制约着中小企业发展。金融仓储
过去,橱柜类家具的主要用途是储藏物品.橱和柜通常也有别：橱指的形体较小,且橱面下带抽屉的家具;而柜指形体较大并有两扇对开门的家具.橱主要用于收藏日常衣物用品,可谓是案与
目的:肛门直肠畸形（Anorectal malformations,ARMs）是小儿消化系统最常见的消化系统先天畸形之一,通常表现为肛门闭锁、异位肛门、直肠尿道瘘等,疾病发生率约1/50001/1500。ARM
用６０Ｃｏ－ｒ射线辐射番茄干种子，水培法生根后，观察根尖细胞有丝分裂中出现的桥、断片、粘连、微核等染色体畸变类型，辐射剂量在（５～１０）ｋｒａｄ范围内畸变率较低；在（１０～２０）ｋｒａｄ范围内畸变率最高，畸变类型最丰富，在此范
小儿感冒系以发热、恶寒、咳嗽、头痛为主要症状的外感疾病。一年四季均可随气温的变化而发生,以冬、春季节为多见。任何年龄的小儿均可罹患,1~5岁婴幼儿为最多。蒙药联合“
通过对渠首枢纽泵站建设的必要性进行分析,认为在适宜地点兴建泵站是十分必要的,并对泵站前池流态进行了数值模拟,在前池弯道设置了3座弧型导流墙,使得前池水流基本无回旋,流