Bearbeite Veranstaltung: Expressivity of Planning with Horn Description Logic Ontologies

Du bist aus dem folgenden Grund nicht berechtigt, diese Seite bearbeiten:

Diese Aktion ist auf Benutzer beschränkt, die der Gruppe „Benutzer“ angehören.

Event

Title DE:

German title

Title EN:

English title; when creating new events, this will be used to define the page name (which will not change even if you change it later)

Description DE:

Abstract or other additional information in German

Description EN:
State constraints in AI Planning globally restrict the legal environment states. Standard planning languages make closed-domain and closed-world assumptions. Here we address open-world state constraints formalized by planning over a description logic (DL) ontology. Previously, this combination of DL and planning has been investigated for the light-weight DL DL-Lite. Here we propose a novel compilation scheme into standard PDDL with derived predicates, which applies to more expressive DLs and is based on the rewritability of DL queries into Datalog with stratified negation. We also provide a new rewritability result for the DL Horn-ALCHOIQ, which allows us to apply our compilation scheme to quite expressive ontologies. In contrast, we show that in the slight extension Horn-SROIQ no such compilation is possible unless the weak exponential hierarchy collapses. Finally, we show that our approach can outperform previous work on existing benchmarks for planning with DL ontologies, and is feasible on new benchmarks taking advantage of more expressive ontologies. This talk is about joint work with Jörg Hoffmann, Alisa Kovtunova, [[Markus Krötzsch]], Bernhard Nebel, and Marcel Steinmetz. It has been presented at the [https://aaai.org/Conferences/AAAI-22/ AAAI conference] 2022. Access the [https://bbb.tu-dresden.de/b/ali-zgz-l8d-52n BBB Room] for the seminar room on April 28, 11am.

Abstract or other additional information in English

Type of event:

Explanation of possible values

Start:
::

Start of event (date and time); required field

End:
::

End of event (date and time)

Location:

Room where the event is happening

Speaker:

Person who is presenting or chairing; usually the full name without titles

Invited by:

For presentations by a guest speaker, the person who invited her/him

PDF:
Datei hochladen

Optional file download

URL:

Optional URL for the event

Research group:

Related research group (use Ctrl+click for marking/unmarking multiple entries)

Event series:

Related event series (use Ctrl+click for marking/unmarking multiple entries); leave empty if not related to any series

Show on main page:

Events only appear on the main page if this is set to 1

Zusammenfassung:

Abbrechen