Comparing Planning Domain Models using Answer Set Programming

Lukáš Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Automated planning is a prominent area of Artificial Intelligence, and an important component for intelligent autonomous agents. A critical aspect of domain-independent planning is the domain model, that encodes a formal representation of domain knowledge needed to reason upon a given problem. Despite the crucial role of domain models in automated planning, there is lack of tools supporting knowledge engineering process by comparing different versions of the models, in particular, determining and highlighting differences the models have.

In this paper, we build on the notion of strong equivalence of domain models and formalise a novel concept of similarity of domain models. To measure the similarity of two models, we introduce a directed graph representation of lifted domain models that allows to formulate the domain model similarity problem as a variant of the graph edit distance problem. We propose an Answer Set Programming approach to optimally solve the domain model similarity problem, that identifies the minimum number of modifications the models need to become strongly equivalent, and we demonstrate the capabilities of the approach on a range of benchmark models.
Original languageEnglish
Title of host publicationLogics in Artificial Intelligence
Subtitle of host publication18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings
EditorsSarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz
Place of PublicationCham
PublisherSpringer, Cham
Pages227-242
Number of pages16
Edition1st
ISBN (Electronic)9783031436192
ISBN (Print)9783031436185
DOIs
Publication statusPublished - 24 Sep 2023
Event18th Edition of the European Conference on Logics in Artificial Intelligence - International Center for Computational Logic of TU Dresden, Dresden, Germany
Duration: 20 Sep 202322 Sep 2023
Conference number: 18
https://jelia2023.inf.tu-dresden.de/

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume14281 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference18th Edition of the European Conference on Logics in Artificial Intelligence
Abbreviated titleJELIA 2023
Country/TerritoryGermany
CityDresden
Period20/09/2322/09/23
Internet address

Cite this