推理机

✍ dations ◷ 2025-08-22 00:34:17 #推理机

推理机是实施问题求解的核心执行机构,常见于专家系统。它是对知识进行解释的程序,根据知识的语义,对按一定策略找到的知识进行解释执行,并把结果记录到动态库的适当空间中去。

推理机的程序与知识库的具体内容无关,所以对知识库的修改不需要改动推理机。

纯粹的形式推理会降低问题求解的效率。因此一般采用推理机和知识库相结合的方法。

相关

  • 莎草纸.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
  • 3Q3Q可以指:
  • 萨摩麟萨摩麟(学名:),也作萨摩兽,是长颈鹿科下已灭绝的一属,生活在中新世和上新世的欧亚大陆和非洲大陆。萨摩麟头上长有两个皮骨角,腿长较长。萨摩麟和山西兽属之间关系紧密。2015年的一
  • 弗尔迪·艾尔诺弗尔迪·艾尔诺(匈牙利语:Földi Ernő,?-),匈牙利男子乒乓球运动员。他曾获得1938年世界乒乓球锦标赛男子团体金牌。
  • 山谷惠里子山谷惠里子(日语:山谷えり子,户籍姓名为:小川惠里子,1950年9月19日-),日本女性政治家,自由民主党党员。现任国家公安委员会委员长(第89、90代)。出身于东京都武藏野市。现任参议院议员(
  • 悬臂悬臂是只有一端锚固的梁。悬臂将荷载以弯矩和剪力的形式传递到支座。悬臂施工允许悬垂结构在没有外部支撑的情况下施工。悬臂结构也可以用桁架和预制板来建造。悬臂梁与那些
  • 加藤匠马加藤匠马(日语:加藤 匠馬/かとう たくま ,1992年4月29日-)是一名出生于日本三重县松阪市的棒球选手,司职捕手,目前效力于日本职棒中日龙。
  • 比弗岩坐标:.mw-parser-output .geo-default,.mw-parser-output .geo-dms,.mw-parser-output .geo-dec{display:inline}.mw-parser-output .geo-nondefault,.mw-parser-output .geo-multi-punct{display:none}.mw-parser-output .longitude,.mw-parser-output .latitude{white-space:n
  • 王晨 (亚洲小姐)王晨(1990年1月19日-),艺名王珞可,昵称小葵,英文名Mukii,山东威海人,曾经参选2009年亚洲小姐,现时除了是平面模特儿、演员和车模外,更是深圳电视台体育健康频道的《体育播报》的体育记者。王晨于1990年1月19日在山东威海出生。王晨于2008年就读深圳大学影视戏剧表演专业科,并于2012年7月毕业。2009年参选亚洲小姐,获得了中国网络赛区冠军。在才艺表演中表演说故事,并获得最佳才艺奖亚军,但在总决赛中最后以前十二名不幸落选。王晨于2010年参与《QQ幻想世界:千名魅力天使代言》活动而成为了
  • 阿斯古斯阿斯古斯(;1992年6月19日-)是一位秘鲁足球运动员。在场上的位置是中后卫。他现在效力于德国足球甲级联赛球队沃尔夫斯堡足球俱乐部,曾效力秘鲁足球甲级联赛球队梅格足球俱乐部。