On linear logic planning and concurrency |
| |
Authors: | Ozan Kahramano?ullar? |
| |
Affiliation: | Imperial College London, Department of Computing, 180 Queen’s Gate, London SW7 2AZ, UK;European Research Council (ERC) Executive Agency, European Commission, 16 Place Rogier/Rogierplein, 1210 Brussels, Belgium;Research Group on Mathematical Linguistics, Rovira i Virgili University, Av. Catalunya 35, 43003 Tarragona, Spain |
| |
Abstract: | 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. These partial order plans exhibit a non-interleaving behavioural concurrency semantics, i.e., labelled event structures. 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. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|