Abstract-syntes av robot beteenden mot icke-triviala mål kräver ofta resonemang om både diskreta och kontinuerliga aspekter av den underliggande domänen. Befintliga metoder för att bygga automatiserade verktyg för sådana syntesproblem försöker förstärka metoder från antingen diskret planering eller kontinuerlig kontroll med hybridelement, men i stort sett misslyckas med att säkerställa en enhetlig behandling av båda aspekterna av domänen. I denna uppsats presenterar vi en ny formalism, Constriced Intuitionistic Linear Logic (CILL), sammanslagning av kontinuerliga begränsningslösare med linjär logik för att ge ett enda språk där hybrida egenskaper hos robotiska beteenden kan uttryckas och resoneras med. Efter en mild introduktion till linjär logik beskriver vi de två nya bindväven i CILL, som införts för att koppla samman begränsningsdomänen med språkets logiska fragment. Vi illustrerar sedan tillämpningen av CILL för robotplaneringsproblem inom Balanserade Blocks World, en "fysiskt realistisk" utvidgning av Blocks World-domänen. Även om några av de formella bevisen för de semantiska grunderna för språket och ett effektivt genomförande av ett teorem bevis ännu inte är klara, CILL lovar att vara en kraftfull formalism i resonemang inom hybrid domäner.
Saranli och Pfenning REF föreslår en begränsad intuitionistisk linjär logik för hybridrobotplaneringsproblem.
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
{'venue': 'Proceedings 2007 IEEE International Conference on Robotics and Automation', 'journal': 'Proceedings 2007 IEEE International Conference on Robotics and Automation', 'mag_field_of_study': ['Computer Science']}