推理机

✍ dations ◷ 2025-11-05 17:45:56 #推理机

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

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

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

相关

  • 奇性定理彭罗斯-霍金奇点定理(英语:Penrose-Hawking singularity theorems)是关于广义相对论中何时产生引力奇点的问题的一些研究结果。爱因斯坦场方程解的奇点是指下面两个问题类空奇点
  • 一国一城令一国一城令是日本在元和元年(1615年)闰6月13日由江户幕府所发布的命令。在一国(此处的“国”是指令制国,或大名的领国(之后的藩))中,由大名所居住作为政厅所在的城只能保留一个,其余
  • 营口市营口市是中华人民共和国辽宁省下辖的地级市,位于辽宁省中南部,地处渤海之滨,辽东湾畔,地理坐标为东经121°56′—123°02′,北纬39°55′—40°56′。为中国八大水系之一的辽河入
  • 法兰克尼亚王朝法兰克尼亚王朝亦称萨利安王朝是11世纪和12世纪一个统治德国和神圣罗马帝国的王朝,由来自法兰克尼亚的施派尔伯爵康拉德二世创建,故名。1024年罗马帝国奥托王朝的皇帝亨利二世
  • 格鲁吉亚王国格鲁吉亚王国(格鲁吉亚语: საქართველოს სამეფო),格鲁吉亚历史上的一个朝代,由巴格拉特三世于978年建立。11世纪~12世纪为其强盛时期。13世纪,被蒙古军攻陷。1340
  • 胡亚枫胡亚枫(1958年10月-),山东曹县人,汉族,中国共产党党员。中华人民共和国政治人物、第十三届全国人民代表大会黑龙江地区代表。2018年,被选为全国人大代表。6 副主任☆
  • 太平镇 (南平市)太平镇是中国福建省南平市延平区下辖的一个镇。太平镇政府驻太平社区,因驻地村而得名。太平镇共辖1个社区、14个行政村,分别是:太平社区、刘家村、南溪村、九潭村、九风村、际
  • 亚历杭德罗·阿拉维纳亚历杭德罗·阿拉维纳(西班牙语:Alejandro Aravena,1967年7月22日-),智利建筑师,2000在智利创立了Elemental建筑事务所。2016年普利兹克建筑奖得主,也是2016年度威尼斯建筑双年展的策展总监。
  • 格兰河畔圣法伊特格兰河畔圣法伊特(德语:Sankt Veit an der Glan,德语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alternative","TITUS Cyberbit Basic","Arial Unicode MS","IPAPANNEW","Chrys
  • 创造神造物主(英语:a creator deity或creator god),英文通常称为The Creator,又称创世神、创造神,创造大地、世界乃至于天空、太空、宇宙的神祇。在不同神话中,有不同的创造神。在一神论宗教中,唯一真神自身就是世界的创造者,如安拉、耶和华。在中国神话中,以太一、混沌为创造神。佛教则视其他宗教的任何神祇为佛教的天主和天人,并认为世界是由众生共业感召而得,而非是由任何的造物主所创造。