Encoding of Planning Problems and their Optimizations in Linear Logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F09%3A10084072" target="_blank" >RIV/00216208:11320/09:10084072 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Encoding of Planning Problems and their Optimizations in Linear Logic

Popis výsledku v původním jazyce

Girard's Linear Logic is a useful formalism which can be used to manage a lot of problems with consumable resources. Its expressiveness is quite good for easily understandable encoding of many problems. We concentrated on expressing planning problems bylinear logic in this paper. We observed a rich usage of a construct of consumable resource in planning problem formulation. This fact motivates us to develop encoding of planning problems in linear logic. This paper shows how planning problems can be encoded in Linear Logic and how to encode some optimizations of these planning problems which can be used to improve the efficiency of finding solutions (plans).T

Název v anglickém jazyce

Encoding of Planning Problems and their Optimizations in Linear Logic

Popis výsledku anglicky

Girard's Linear Logic is a useful formalism which can be used to manage a lot of problems with consumable resources. Its expressiveness is quite good for easily understandable encoding of many problems. We concentrated on expressing planning problems bylinear logic in this paper. We observed a rich usage of a construct of consumable resource in planning problem formulation. This fact motivates us to develop encoding of planning problems in linear logic. This paper shows how planning problems can be encoded in Linear Logic and how to encode some optimizations of these planning problems which can be used to improve the efficiency of finding solutions (plans).T

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

JD - Využití počítačů, robotika a její aplikace

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Lecture Notes in Computer Science

ISSN

0302-9743

e-ISSN

—

Svazek periodika

2010

Číslo periodika v rámci svazku

5437

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

15

Strana od-do

—

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—