推理机

✍ dations ◷ 2025-06-08 15:20:21 #推理机

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

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

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

相关

  • 欧海尔国际机场奥黑尔国际机场(英语:O'Hare International Airport,IATA代码:ORD;ICAO代码:KORD;FAA代码:ORD)是美国伊利诺伊州芝加哥市的主要机场,位于市中心西北27公里。自1960年代扩建完成直到199
  • 攀枝花市攀枝花市,旧称渡口市,是中华人民共和国四川省下辖的地级市,位于四川省西南部边缘。市境东面与北面同凉山彝族自治州接壤,西面与云南省丽江市相连,南面与云南省楚雄彝族自治州为邻
  • 司马睿晋元帝司马睿(276年5月27日-323年1月3日),字景文,东晋第一位皇帝。司马懿的曾孙、琅邪武王司马伷之孙、琅邪恭王司马觐之子,母为琅邪王妃夏侯光姬。司马睿在八王之乱期间政治上从
  • 汝南县汝南县,是中华人民共和国河南省驻马店市下辖的一个县。古称安城县、汝阳县等,曾是豫州州治。东晋时置悬瓠城为汝南郡治所,亦是上蔡县治。南北朝时,南北双方政权围绕此城争夺激烈
  • 弗兰克·卢宾弗兰克·约翰·卢宾(英语:Frank John Lubin,1910年1月7日-1999年7月8日),又名普拉纳斯·约纳斯·卢比纳斯(立陶宛语:Pranas Jonas Lubinas),立陶宛裔美国篮球运动员。他曾代表美国参加
  • 贝尔纳贝·布斯凯诺贝尔纳贝·布斯凯诺(Bernabe Buscayno),曾用名“库曼德·丹特”(Kumander Dante,意为“被压迫者的保护者”),是菲律宾共产党领导的军事组织新人民军的创立者。生于丹辘省卡帕斯的一
  • 刘重麟刘重麟(?-1845年),中国清朝官员,本籍陕西同州府,贡生出身。之后,先后担任广西永安州知州、归顺州知州、浙江宁波府知府、严州府知府、广西桂平梧郁道、湖北汉黄德道及江西督粮道。1
  • 吉姆·道格拉斯吉姆·道格拉斯(Jim Douglas;1951年6月21日-)是美国的一位政治人物。在2003年至2011年期间,吉姆·道格拉斯特担任第80任佛蒙特州州长职务。他的党籍是共和党。道格拉斯在2002年的
  • 昭烈皇后 (蜀汉)昭烈皇后(2世纪-3世纪),甘氏,在各类书籍中又称甘皇后、甘夫人。《夔州府志》名为甘梅。沛县(今属江苏省)人,是刘备当初在徐州小沛居住时,曾纳为妾室。甘氏在荆州过世后,葬在荆州南郡。
  • 倒置档倒置档是大型检索服务数据库所采用的基本档案结构之一,和另一种档案结构“线形档(或称“打印档”)”(print file)常被相提并论。“线形档”由数据库制造商(如:ERIC)制作,以一本