liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Complexity of state-variable planning under structural restrictions
Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.ORCID-id: 0000-0002-5288-3330
1995 (engelsk)Licentiatavhandling, monografi (Annet vitenskapelig)
Abstract [en]

Computationally tractable planning problems reported in the literature have almost exclusively been defined by syntactical restrictions. To better exploit the inherent structure in problems, it is probably necessary to study also structural restrictions on the underlying state-transition graph. Such restrictions are typically hard to test since this graph is of exponential size. We propose an intermediate approach, using a state variable model for planning and defining restrictions on the state-transition graph for each state variable in isolation. We identify such restrictions which are tractable to test and we present a planning algorithm which is correct and runs in polynomial time under these restrictions.Moreover, we present an exhaustive map over the complexity results for planning under all combinations of four previously studied syntactical restrictions and our five new structural restrictions. This complexity map considers both the bounded and unbounded plan generation problem. Finally, we extend a provably correct, polynomial-time planner to plan for a miniature assembly line, which assembles toy cars. Although somewhat limited, this process has many similarities with real industrial processes.

sted, utgiver, år, opplag, sider
Linköping: Univ. , 1995. , s. 114
Serie
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 478
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-163515Lokal ID: LiU-Tek-Lic 1995:10ISBN: 9178715083 (tryckt)OAI: oai:DiVA.org:liu-163515DiVA, id: diva2:1392114
Tilgjengelig fra: 2020-02-06 Laget: 2020-02-06 Sist oppdatert: 2020-02-06bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Person

Jonsson, Peter

Søk i DiVA

Av forfatter/redaktør
Jonsson, Peter
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 61 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf