We present an approach to linear logic planning where an explicit correspondence between partial order plans and multiplicative exponential linear logic proofs is established. This is performed by extracting partial order plans from sound and complete encodings of planning problems in multiplicative exponential linear logic in a way that exhibits a non-interleaving behavioral concurrency semantics. Relying on this fact, we argue that this work is a crucial step for establishing a common language for concurrency and planning that will allow to carry techniques and methods between these two fields.
Scheda prodotto non validato
I dati visualizzati non sono stati ancora sottoposti a validazione formale da parte dello Staff di IRIS, ma sono stati ugualmente trasmessi al Sito Docente Cineca (Loginmiur).
Titolo: | On Linear Logic Planning and Concurrency |
Autori: | Kahramanogullari, Ozan |
Autori Unitn: | |
Titolo del volume contenente il saggio: | Language and Automata Theory and Applications, Second International Conference |
Luogo di edizione: | Berlin |
Casa editrice: | Springer-Verlag |
Anno di pubblicazione: | 2008 |
Codice identificativo Scopus: | 2-s2.0-56449085961 |
Codice identificativo ISI: | WOS:000261729900024 |
ISBN: | 9783540882817 |
Handle: | http://hdl.handle.net/11572/99926 |
Appare nelle tipologie: | 04.1 Saggio in atti di convegno (Paper in proceedings) |