liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Learning to Ground Existentially Quantified Goals
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten. (MRLAB)ORCID-id: 0000-0003-2354-1486
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten.ORCID-id: 0000-0002-4092-8175
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten.ORCID-id: 0000-0001-9851-8219
2024 (Engelska)Ingår i: Proceedings of the Twenty-First International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2024Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Goal instructions for autonomous AI agents cannot assume that objects have unique names. Instead, objects in goals must be referred to by providing suitable descriptions. However, this raises problems in both classical planning and generalized planning. The standard approach to handling existentially quantified goals in classical planning involves compiling them into a DNF formula that encodes all possible variable bindings and adding dummy actions to map each DNF term into the new, dummy goal. This preprocessing is exponential in the number of variables. In generalized planning, the problem is different: even if general policies can deal with any initial situation and goal, executing a general policy requires the goal to be grounded to define a value for the policy features. The problem of grounding goals, namely finding the objects to bind the goal variables, is subtle: it is a generalization of classical planning, which is a special case when there are no goal variables to bind, and constraint reasoning, which is a special case when there are no actions. In this work, we address the goal grounding problem with a novel supervised learning approach. A GNN architecture, trained to predict the cost of partially quantified goals over small domain instances is tested on larger instances involving more objects and different quantified goals. The proposed architecture is evaluated experimentally over several planning domains where generalization is tested along several dimensions including the number of goal variables and objects that can bind such variables. The scope of the approach is also discussed in light of the known relationship between GNNs and C₂ logics.

Ort, förlag, år, upplaga, sidor
2024.
Serie
arXiv.org ; 2409.20259
Nyckelord [en]
classical planning, gnn, deep learning, artificial intelligence
Nationell ämneskategori
Artificiell intelligens
Identifikatorer
URN: urn:nbn:se:liu:diva-214384DOI: 10.24963/kr.2024/80OAI: oai:DiVA.org:liu-214384DiVA, id: diva2:1964877
Konferens
Conference on Principles of Knowledge Representation and Reasoning (KR 2024)
Forskningsfinansiär
Wallenberg AI, Autonomous Systems and Software Program (WASP)Tillgänglig från: 2025-06-06 Skapad: 2025-06-06 Senast uppdaterad: 2025-06-06

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltexthttps://proceedings.kr.org/2024/80/

Person

Funkquist, MartinStåhlberg, SimonGeffner, Hector

Sök vidare i DiVA

Av författaren/redaktören
Funkquist, MartinStåhlberg, SimonGeffner, Hector
Av organisationen
Artificiell intelligens och integrerade datorsystemTekniska fakultetenProgramvara och system
Artificiell intelligens

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 60 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf