Study of Mutual Exclusion Invariants in Planning Processes

Joseph Stanton

Study of Mutual Exclusion Invariants in Planning Processes.

Rel. Fabio Fagnani, Sara Bernardini. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Matematica, 2019

Preview	PDF (Tesi_di_laurea) - Tesi Licenza: Creative Commons Attribution Non-commercial No Derivatives. Download (1MB) \| Preview
	Archive (ZIP) (Documenti_allegati) - Altro Licenza: Creative Commons Attribution Non-commercial No Derivatives. Download (235kB)

Abstract

The thesis consists of an overview of PDDL2.1, Mutual Exclusive Invariants that exist within planning domains and the conditions that are sufficient to prove their existence. The main part of the thesis explains the implemention of the majority of the checks within the TIS (Temporal Invariant Synthesis) algorithm to find these invariants within durative action planning domains.

Relatori

Fabio Fagnani, Sara Bernardini

Tipo di pubblicazione

Elettronica

URI

https://webthesis.biblio.polito.it/id/eprint/12734

Modifica (riservato agli operatori)