Skip navigation
SuUB logo
DSpace logo

  • Home
  • Institutions
    • University of Bremen
    • City University of Applied Sciences
    • Bremerhaven University of Applied Sciences
  • Sign on to:
    • My Media
    • Receive email
      updates
    • Edit Account details

Citation link: http://nbn-resolving.de/urn:nbn:de:gbv:46-00102863-15
00102863-1.pdf
OpenAccess
 
copyright

Symbolic Search in Planning and General Game Playing


File Description SizeFormat
00102863-1.pdf2.89 MBAdobe PDFView/Open
Other Titles: Symbolische Suche in der Handlungsplanung und im Allgemeinen Spiel
Authors: Kissmann, Peter 
Supervisor: Edelkamp, Stefan 
1. Expert: Edelkamp, Stefan 
2. Expert: Helmert, Malte 
Abstract: 
Search is an important topic in many areas of AI. Search problems often result in an immense number of states. This work addresses this by using a special datastructure, BDDs, which can represent large sets of states efficiently, often saving space compared to explicit representations. The first part is concerned with an analysis of the complexity of BDDs for some search problems, resulting in lower or upper bounds on BDD sizes for these. The second part is concerned with action planning, an area where the programmer does not know in advance what the search problem will look like. This part presents symbolic algorithms for finding optimal solutions for two different settings, classical and net-benefit planning, as well as several improvements to these algorithms. The resulting planner was able to win the International Planning Competition IPC 2008. The third part is concerned with general game playing, which is similar to planning in that the programmer does not know in advance what game will be played. This work proposes algorithms for instantiating the input and solving games symbolically. For playing, a hybrid player based on UCT and the solver is presented.
Keywords: BDDs, Symbolic Search, Action Planning, General Game Playing, Game Solving
Issue Date: 17-Sep-2012
Type: Dissertation
URN: urn:nbn:de:gbv:46-00102863-15
Institution: Universität Bremen 
Faculty: FB3 Mathematik/Informatik 
Appears in Collections:Dissertationen

  

Page view(s)

60
checked on Jan 25, 2021

Download(s)

19
checked on Jan 25, 2021

Google ScholarTM

Check


Items in Media are protected by copyright, with all rights reserved, unless otherwise indicated.

Legal notice -Feedback -Data privacy
Media - Extension maintained and optimized by Logo 4SCIENCE