polito.it
Politecnico di Torino (logo)

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

[img]
Preview
PDF (Tesi_di_laurea) - Tesi
Licenza: Creative Commons Attribution Non-commercial No Derivatives.

Download (1MB) | Preview
[img] 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
Anno accademico: 2019/20
Tipo di pubblicazione: Elettronica
Numero di pagine: 68
Soggetti:
Corso di laurea: Corso di laurea magistrale in Ingegneria Matematica
Classe di laurea: Nuovo ordinamento > Laurea magistrale > LM-44 - MODELLISTICA MATEMATICO-FISICA PER L'INGEGNERIA
Ente in cotutela: ROYAL HOLLOWAY - UNIVERSITY OF LONDON (REGNO UNITO)
Aziende collaboratrici: NON SPECIFICATO
URI: http://webthesis.biblio.polito.it/id/eprint/12734
Modifica (riservato agli operatori) Modifica (riservato agli operatori)