首页    期刊浏览 2024年11月24日 星期日
登录注册

文章基本信息

  • 标题:Tranformation of Cost-based Hypothetical Reasoning into Two Continuous Optimization Problems and a Reasoning Method with their Collaboration
  • 本地全文:下载
  • 作者:Yutaka Matsuo ; Mitsuru Ishizuka
  • 期刊名称:人工知能学会論文誌
  • 印刷版ISSN:1346-0714
  • 电子版ISSN:1346-8030
  • 出版年度:2001
  • 卷号:16
  • 期号:5
  • 页码:400-407
  • DOI:10.1527/tjsai.16.400
  • 出版社:The Japanese Society for Artificial Intelligence
  • 摘要:Cost-based Hypothetical Reasoning is an important framework for knowledge-based systems; however it is a form of non-monotonic reasoning and thus an NP-hard problem. To find a near-optimal solution in polynomial time with respect to problem size, some algorithms have been developed so far using optimization techniques. In this paper, we show two major ways of transforming propositional clauses in the hypothetical reasoning problems into constraints. One transforms the clauses into linear inequalities and is good at getting a low-cost solution, while the other transforms them into non-linear equalities and is good at finding a feasible solution. We them show a method of integrating these two transformations by using augmented Lagrangian method. Here, each variable and constraint is regarded as a processor and the searh is realized by their interaction. Two kinds of processors are derived from the two transformations; the structure of these processors are changed dynamically during the search. The cooperation of these two processors allows to obtain better near-optimal solutions than by our previous SL method. This effect is shown in the experiments using two problems with different problem structures.
  • 关键词:hypothetical reasoning ; augmented Lagrangian method ; near-optimal solution ; optimization
国家哲学社会科学文献中心版权所有