首页> 外文期刊>IEEE Expert >Using truth maintenance systems. A tutorial
【24h】

Using truth maintenance systems. A tutorial

机译:使用真相维护系统。教程

获取原文
获取原文并翻译 | 示例
       

摘要

Truth maintenance (also called belief revision or reason maintenance) is an area of AI concerned with revising sets of beliefs and maintaining the truth in the system when new information contradicts existing information. Truth maintenance systems (TMSs) work with inference engines that act as problem solvers within large search spaces. The inference engine explores alternatives, makes choices, and examines the consequences of the choices. If a contradiction is detected during this process, the TMS eliminates it by revising the knowledge base. Together, the TMS and inference engine can solve problems where algorithmic solutions don't exist, and thus offer an efficient way to deal with search spaces that are large due to combinatorial explosions of alternatives. TMSs can be implemented either explicitly in search problem solving tools, or implicitly within applications that solve particular search problems. All applications that solve search problems have something in common that can be extracted and implemented within a tool. This tool can then solve new problems without programming everything from scratch.
机译:真理维护(也称为信念修订或原因维护)是AI的一个领域,当新信息与现有信息相矛盾时,它会修改信念集并在系统中维护真理。真相维护系统(TMS)与推理引擎配合使用,这些推理引擎在大型搜索空间中充当问题解决者的角色。推理引擎探索替代方案,做出选择,并检查选择的后果。如果在此过程中发现矛盾,则TMS会通过修改知识库来消除矛盾。 TMS和推理引擎可以一起解决不存在算法解决方案的问题,从而提供了一种有效的方式来处理由于替代方案的组合爆炸而导致的较大搜索空间。 TMS既可以在搜索问题解决工具中显式实现,也可以在解决特定搜索问题的应用程序中隐式实现。解决搜索问题的所有应用程序都有一些共同点,可以在工具中提取和实现。然后,该工具可以解决新问题,而无需从头开始编写所有程序。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号