Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

Correcting Hierarchical Plans by Action Deletion

Simple item page
dc.contributor.authorBercher, Pascal
dc.contributor.authorBartak, Roman
dc.contributor.authorOndrckova, Simona
dc.contributor.authorBehnke, Gregor
dc.contributor.editorBienvenu, Meghyn
dc.contributor.editorLakemeyer, Gerhard
dc.contributor.editorErdem, Esra
dc.coverage.spatialonline
dc.date.accessioned2023-07-24T22:50:12Z
dc.date.createdNovember 3-12, 2021
dc.date.issued2021
dc.date.updated2022-05-22T08:16:12Z
dc.description.abstractHierarchical task network (HTN) planning is a model-based approach to planning. The HTN domain model consists of tasks and methods to decompose them into subtasks until obtaining primitive tasks (actions). There are recent methods for verifying if a given action sequence is a valid HTN plan. However, if the plan is invalid, all existing verification methods only say so without explaining why the plan is invalid. In the paper, we propose a method that corrects a given action sequence to form a valid HTN plan by deleting the minimal number of actions. This plan correction explains what is wrong with a given action sequence concerning the HTN domain model.en_AU
dc.description.sponsorshipThis research was partially supported by TAILOR, a project funded by EU Horizon 2020 research and innovation programme under GA No 952215, and by the joint Czech-German project registered under the number 21-13882J by the Czech Science Foundation (GACR) and BE 7458/1-1 by Deutsche Forschungsgemeinschaft (DFG). Simona Ondrckova is (partially) supported by SVV project number 260575.en_AU
dc.format.mimetypeapplication/pdfen_AU
dc.identifier.isbn978-1-956792-99-7en_AU
dc.identifier.urihttp://hdl.handle.net/1885/294519
dc.language.isoen_AUen_AU
dc.publisherInternational Joint Conferences on Artificial Intelligence (IJCAI)en_AU
dc.relation.ispartofseries18th International Conference on Principles of Knowledge Representation and Reasoning, KR2021en_AU
dc.rights© 2021 International Joint Conferences on Artificial Intelligence Organizationen_AU
dc.sourceProceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoningen_AU
dc.subjectExplanation findingen_AU
dc.subjectdiagnosisen_AU
dc.subjectcausal reasoningen_AU
dc.subjectabduction Reasoning about actions and changeen_AU
dc.subjectaction languages Reasoning about constraintsen_AU
dc.subjectconstraint programming Explainable AIen_AU
dc.titleCorrecting Hierarchical Plans by Action Deletionen_AU
dc.typeConference paperen_AU
dcterms.accessRightsFree Access via Publisher Siteen_AU
local.bibliographicCitation.lastpage109en_AU
local.bibliographicCitation.startpage99en_AU
local.contributor.affiliationBercher, Pascal, College of Engineering and Computer Science, ANUen_AU
local.contributor.affiliationBartak, Roman, Charles Universityen_AU
local.contributor.affiliationOndrckova, Simona, Charles Universityen_AU
local.contributor.affiliationBehnke, Gregor, Ulm Universityen_AU
local.contributor.authoruidBercher, Pascal, u1092535en_AU
local.description.embargo2099-12-31
local.description.notesImported from ARIESen_AU
local.description.refereedYes
local.identifier.absfor460209 - Planning and decision makingen_AU
local.identifier.absfor461302 - Computational complexity and computabilityen_AU
local.identifier.ariespublicationu6662439xPUB30en_AU
local.identifier.doi10.24963/kr.2021/10en_AU
local.publisher.urlhttps://kr2021.kbsg.rwth-aachen.de/en_AU
local.type.statusPublished Versionen_AU

Downloads

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
kr2021-0010-bartak-et-al.pdf
Size:
1.3 MB
Format:
Adobe Portable Document Format
Description:
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS