arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2301.10079cs.AI
收藏

用于自动规划的改写技术:系统综述

Reformulation Techniques for Automated Planning: A Systematic Review

University of Huddersfield(哈德斯菲尔德大学)

Diaeddin Alarnaouti, George Baryannis, Mauro Vallati

AI总结:

本文系统综述了自动规划中改写技术的研究,旨在提供该领域全面视角并促进未来研究。

摘要:

自动规划是人工智能领域的重要分支,是智能自主代理的重要组成部分。领域无关规划的核心在于将规划逻辑,即自动推理部分,与知识模型分离,后者编码了用于推理的正式领域知识表示。这种分离使得改写技术得以应用,通过改变模型的表示方式来提高计划生成的效率。过去几十年中,大量研究致力于改写技术的设计。本文对经典规划中改写技术的大量研究成果进行了系统综述,旨在提供该领域的全面视角,并促进该领域未来的研究。作为实际成果,我们提供了现有技术类别的定性比较,帮助研究人员了解其优缺点。

英文摘要:

Automated planning is a prominent area of Artificial Intelligence, and an important component for intelligent autonomous agents. A cornerstone of domain-independent planning is the separation between planning logic, i.e. the automated reasoning side, and the knowledge model, that encodes a formal representation of domain knowledge needed to reason upon a given problem to synthesise a solution plan. Such a separation enables the use of reformulation techniques, which transform how a model is represented in order to improve the efficiency of plan generation. Over the past decades, significant research effort has been devoted to the design of reformulation techniques. In this paper, we present a systematic review of the large body of work on reformulation techniques for classical planning, aiming to provide a holistic view of the field and to foster future research in the area. As a tangible outcome, we provide a qualitative comparison of the existing classes of techniques, that can help researchers gain an overview of their strengths and weaknesses.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑