{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2023,9,23]]，“日期-时间”：“2023-09-23T16:07:24Z”，“时间戳”：1695485244369}，“引用-计数”：0，“发布者”：“AI Access Foundation”，“内容-域”：{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[”jair“]，“摘要”：“最近，基于答案集编程的规划被提出作为实现声明性规划系统的一种方法。在本文中，我们提出了Kc语言，它通过动作成本扩展了声明性规划语言K。Kc提供了可容许和最优计划的概念，这些计划的总体行动成本分别在给定的限制内。所有计划中的最小值（即最便宜的计划）。正如我们所演示的，这种新颖的语言允许以声明的方式表达一些重要的规划任务。此外，它还可以用于表示其他优化标准下的规划问题，例如计算“最短”计划（步骤最少），以及优化最便宜和最快计划的组合。我们研究了Kc语言的复杂性，并提供了对逻辑程序的转换，以便通过答案集编程解决规划问题。此外，我们报告了选定问题的实验结果。我们的经验令人鼓舞，答案集规划可能是表达性规划系统的一种有价值的方法，在该系统中，复杂的规划问题可以自然地指定和解决<\/jats:p>“，”DOI“：”10.1613\/jair.1148“，”type“：”journal-article“，”created“：{”date-parts“：[[2018,7,12]，”date-time“：”2018-07-12T13:20:57Z“，”timestamp“：1531401657000}，”page“：，“author”：[{“given”：“T.”，“family”：“Eiter”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“W.”，“family”：“Faber”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“N.”，“family”：“Leone”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“additional”，“affiliation”：[]｝，｛“given”：“A.”，“family”：“Polleres”，“sequence”：“additional”，“affiliation”：[]｝]，“成员”：“16860“，“published-online”：{“date-parts”：[[2003,8,1]]}，“container-title”：[“Journal of Artificial Intelligence Research”]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/jair.org\/index.php\/jair \/article \/download\/10336\/24707”，“内容类型”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“”https:\/\/jair.org\/index.php\/jair \/article \/download\/10336\/24709“，“content-type”：“application\/postscript”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\//jair.org\\index.php/jair \/article\/dowwnload\/1036\/24708”，“content-type“：”application\/zip“，”content-versiion“：”vor“，”intended-application“：”“短信提醒”}，{URL“：”https:\/\/jair.org\/index.php\/jair \/article\/download\/10336\/24707“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,10,28]]，”date-time“：“2019-10-28T22:25:18Z”，”timestamp“：1572301518000}，”score“：1，”resource“：{“primary”：{“URL”：“”https:\/\/jair.org\/index.php\/jair \/article\/view\/10336“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2003,8,1]]}，“引用计数”：0，“URL”：“http://\/dx.doi.org\/10.1613\/jaire.1148”，“关系”：{}，‘ISSN’：[“1076-9757”]，“ISSN-type”：[{“值”：“1076-9757”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2003,8,1]]}}}