SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:DiVA.org:liu-41596"
 

Sökning: onr:"swepub:oai:DiVA.org:liu-41596" > Extending TALplanne...

  • Kvarnström, Jonas,1973-,Linköpings universitet, Tekniska högskolan, Linköpings universitet, KPLAB - Laboratoriet för kunskapsbearbetning (författare)

Extending TALplanner with concurrency and resources

  • Artikel/kapitelEngelska2000

Nummerbeteckningar

  • LIBRIS-ID:oai:DiVA.org:liu-41596
  • 58094local
  • urn:nbn:se:liu:diva-41596urn

Ingår i deldatabas

Klassifikation

  • Ämneskategori:kon swepub-publicationtype
  • Ämneskategori:ref swepub-contenttype

Serie

  • Frontiers in Artificial Intelligence and Applications,0922-6389 ;54

Anmärkningar

  • 3
  • Published
  • We present TALplanner, a forward-chaining planner based on the use of domain-dependent search control knowledge represented as temporal formulas in the Temporal Action Logic (TAL). TAL is a narrative based linear metric time logic used for reasoning about action and change in incompletely specified dynamic environments. TAL is used as the formal semantic basis for TALplanner, where a TAL goal narrative with control formulas is input to TALplanner which then generates a TAL narrative that entails the goal formula. We extend the sequential version of TALplanner, which has previously shown impressive performance on standard benchmarks, in two respects: 1) TALplanner is extended to generate concurrent plans, where operators have varied durations and internal state; and 2) the expressiveness of plan operators is extended for dealing with several different types of resources. The extensions to the planner have been implemented and concurrent planning with resources is demonstrated using an extended logistics benchmark.

Ämnesord och genrebeteckningar

Biuppslag (personer, institutioner, konferenser, titlar ...)

  • Doherty, Patrick,1957-,Linköpings universitet, Tekniska högskolan, Linköpings universitet, KPLAB - Laboratoriet för kunskapsbearbetning(SwePub:liu)patdo22 (författare)
  • Haslum, Patrik,1973-,Linköpings universitet, Tekniska högskolan, Linköpings universitet, KPLAB - Laboratoriet för kunskapsbearbetning(SwePub:liu)patha57 (författare)
  • Linköpings universitet.Tekniska högskolan.(SwePub:liu)1751 (creator_code:org_t)
  • Linköpings universitet.Institutionen för datavetenskap.KPLAB - Laboratoriet för kunskapsbearbetning.(SwePub:liu)2162 (creator_code:org_t)

Sammanhörande titlar

  • Ingår i:Proceedings of the 14th European Conference on Artificial Intelligence (ECAI)Amsterdam, The Netherlands : IOS Press42749038851586030132s. 501-505

Internetlänk

Hitta via bibliotek

Till lärosätets databas

Sök utanför SwePub

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy