推理机

✍ dations ◷ 2025-03-06 02:13:09 #推理机

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

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

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

相关

  • 二硫硫有着大量的同素异形体,其数量只是仅次于碳。 硫在自然界中最常见的形式是黄色的正交晶系α-硫,其中包含S8的皱褶环。二硫为硫的双原子分子。在720°C,硫主要以二硫存在。在53
  • 圣巴尔多禄茂教堂坐标:47°32′41″N 12°58′21″E / 47.54472°N 12.97250°E / 47.54472; 12.97250圣巴尔多禄茂教堂(St. Bartholomä)是一座天主教朝圣教堂,位于德国巴伐利亚州的贝希特斯加
  • 一人息子《一人息子》,又译《独生子》,日本名导演小津安二郎于1936年所拍摄的电影。故事叙述守寡的母亲为了培养独生子从信州的乡下前往东京念中学,卖掉了祖传的土地及房屋,前往丝织厂当
  • 模糊电子学模糊电子学(Fuzzy electronics)是由模糊逻辑取代双值逻辑代数的电子学。模糊电子学是是由专门硬件实现的模糊逻辑。可以和用传统处理器上的软件实现的模糊逻辑相比较。模糊电
  • 坎蒂洛坎蒂洛(Kantilo),是印度奥里萨邦Nayagarh县的一个城镇。总人口8727(2001年)。该地2001年总人口8727人,其中男性4470人,女性4257人;0—6岁人口952人,其中男507人,女445人;识字率72.20%,其
  • 高表仁高表仁,隋朝、唐朝时官员。是隋代尚书左仆射高颎第三子,封渤海郡公。高表仁娶太子杨勇女大宁公主,官至谷州刺史。高颎在607年被杀后,高表仁被贬徙蜀郡。入唐后,历官新州刺史,贞观
  • 阿武咲奎也阿武咲奎也,(1996年7月4日-),本名打越奎也,日本青森县北津轻郡中泊町出身的现役大相扑力士。他所属的相扑部屋是阿武松部屋。身高176cm、体重163kg、血型O型。最高位置是西小结(2
  • Radio (单曲)《Radio》是新加坡歌手孙燕姿首张商业发行的单曲,于2015年2月27日开放数位下载发行。实体单曲仅接受预定,不会正式铺货发行。
  • 奥尔德斯县奥尔德斯县(加利西亚语:Comarca de Ordes,西班牙语:Comarca de Órdenes)是西班牙加利西亚自治区拉科鲁尼亚省的一个县。
  • 鲛人之歌《鲛人之歌》是中国大陆男歌手周深为电视剧《与君初相识》演唱的片尾曲。此曲获得腾讯音乐由你榜、QQ音乐、酷狗音乐、酷我音乐共十个榜单周榜或日榜冠军。周深凭借此曲及之前的多首歌曲,打破了由你榜三项新纪录。此曲是腾讯音乐由你榜2022年度国风歌曲TOP6。《与君初相识》是一部中国大陆2022年仙侠言情电视剧,周深演唱的歌曲《鲛人之歌》是其片尾曲,于2022年3月15日在音乐平台作为单曲发布,3月28日收录于《与君初相识 电视剧影视原声带》专辑。以下内容整理自YOYOROCK滚石移动油管频道:《鲛人之歌》获得腾讯