Making DL-Lite Planning Practical

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

Abstract

Planning in the presence of background ontologies is a topic of long-standing interest in AI. It combines the problems of (1) belief update complexity and (2) state-space combinatorics. DL-Lite offers an attractive solution to (1), with belief updates possible at the ABox level. Indeed, it has been shown that DL-Lite planning can be compiled into the commonly used planning language PDDL. Yet that compilation was previously found to be infeasible for off-the-shelf planning systems. Here we analyze the reasons for this problem and find that the bottleneck lies in the planner pre-processes, in particular in the naïve DNF transformations used to compile the PDDL input into the planners' internal representations. Consequently, we design a PDDL pre-compiler realizing a polynomial DNF transformation. We leverage a particular PDDL language feature (“derived predicates”) to avoid the need for excessive control structure. Our pre-compiler turns out to be quite effective: the previous bottleneck disappears, and experiments on a broad range of benchmarks demonstrate the first practical technology for DL-Lite planning.

Details

Original languageEnglish
Title of host publicationProceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021)
EditorsMeghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem
Pages641-645
Number of pages5
ISBN (electronic)9781956792997
Publication statusPublished - 2021
Peer-reviewedYes

External IDs

Scopus 85126192962
ORCID /0000-0001-9936-0943/work/142238111

Keywords

ASJC Scopus subject areas