Matches in SemOpenAlex for { <https://semopenalex.org/work/W1554784170> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W1554784170 abstract "Since the typical AI problem of making a plan of the actions to be performed by a robot so that it could get into a set of final situations, if it started with a certain initial situation, is generally exponential (it is even EXPTIME-complete in the case of games ‘Robot against Nature’), the planners are very sensitive to the number of variables, the inherent symmetry of the problem, and the nature of the logic formalisms being used. The paper shows that linear logic provides a convenient tool for representing planning problems. In particular, the paper focuses on planning problems with an unbounded number of functionally identical objects. We show that for such problems linear logic is especially effective and leads to dramatic contraction of the search space (polynomial instead of exponential). The paper addresses the key issue: “How to automatically recognize functions similarity among objects and break the extreme combinatorial explosion caused by this symmetry,” by means of replacing the unbounded number of specific names of objects with one generic name and contracting thereby the exponential search space over ‘real’ objects to a small polynomial search space but over the ‘generic’ one, with providing a more abstract formulation whose solutions are proved to be directly translatable into (optimal) polytime solutions to the original planning problem." @default.
- W1554784170 created "2016-06-24" @default.
- W1554784170 creator A5048798287 @default.
- W1554784170 creator A5061049573 @default.
- W1554784170 date "2003-01-01" @default.
- W1554784170 modified "2023-10-14" @default.
- W1554784170 title "Coping Polynomially with Numerous but Identical Elements within Planning Problems" @default.
- W1554784170 cites W147093031 @default.
- W1554784170 cites W1968488709 @default.
- W1554784170 cites W1998363560 @default.
- W1554784170 cites W2017668106 @default.
- W1554784170 cites W2061146398 @default.
- W1554784170 cites W2082529483 @default.
- W1554784170 cites W2258046470 @default.
- W1554784170 cites W2911865844 @default.
- W1554784170 cites W4323966281 @default.
- W1554784170 doi "https://doi.org/10.1007/978-3-540-45220-1_24" @default.
- W1554784170 hasPublicationYear "2003" @default.
- W1554784170 type Work @default.
- W1554784170 sameAs 1554784170 @default.
- W1554784170 citedByCount "2" @default.
- W1554784170 crossrefType "book-chapter" @default.
- W1554784170 hasAuthorship W1554784170A5048798287 @default.
- W1554784170 hasAuthorship W1554784170A5061049573 @default.
- W1554784170 hasConcept C15744967 @default.
- W1554784170 hasConcept C33923547 @default.
- W1554784170 hasConcept C41008148 @default.
- W1554784170 hasConcept C42475967 @default.
- W1554784170 hasConcept C542102704 @default.
- W1554784170 hasConcept C73282008 @default.
- W1554784170 hasConceptScore W1554784170C15744967 @default.
- W1554784170 hasConceptScore W1554784170C33923547 @default.
- W1554784170 hasConceptScore W1554784170C41008148 @default.
- W1554784170 hasConceptScore W1554784170C42475967 @default.
- W1554784170 hasConceptScore W1554784170C542102704 @default.
- W1554784170 hasConceptScore W1554784170C73282008 @default.
- W1554784170 hasLocation W15547841701 @default.
- W1554784170 hasLocation W15547841702 @default.
- W1554784170 hasLocation W15547841703 @default.
- W1554784170 hasOpenAccess W1554784170 @default.
- W1554784170 hasPrimaryLocation W15547841701 @default.
- W1554784170 hasRelatedWork W1596801655 @default.
- W1554784170 hasRelatedWork W2130043461 @default.
- W1554784170 hasRelatedWork W2350741829 @default.
- W1554784170 hasRelatedWork W2358668433 @default.
- W1554784170 hasRelatedWork W2376932109 @default.
- W1554784170 hasRelatedWork W2382290278 @default.
- W1554784170 hasRelatedWork W2390279801 @default.
- W1554784170 hasRelatedWork W2748952813 @default.
- W1554784170 hasRelatedWork W2899084033 @default.
- W1554784170 hasRelatedWork W2530322880 @default.
- W1554784170 isParatext "false" @default.
- W1554784170 isRetracted "false" @default.
- W1554784170 magId "1554784170" @default.
- W1554784170 workType "book-chapter" @default.