Skip to main content
Top

2016 | OriginalPaper | Chapter

9. Open-World Planning Algorithm Based on Logic

Authors : Jie Gao, Ya-song Liu, Rui Bian

Published in: Proceedings of the 2015 Chinese Intelligent Systems Conference

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Existence of certain objects or fluent is often unknown before planning in many domains. Plan synthesis in such open worlds is challenging since we have to take various scenarios into account before searching plans. One way to do this is to employ sensors to observe unknown objects or fluent, assuming the sensors are capable of correctly capturing all information needed for planning. We aims at solving automated planning problem in open world, and call goal state with variables as query-goal. Instead of using sensors, we proposed a novel algorithm PQG (Planner with query-goal) to solve automated planning problem with query-goal, by encoding the planning problem into a planning logic problem, and then applying planning inference method to solve it. Finally, inference result is transformed into a planning solution. We empirically exhibit that our approach is effective in several planning domains.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Jiang Y, Yang Q (2006) Automated planning: theory and practice [M]. Qinghua University Press, Beijing Jiang Y, Yang Q (2006) Automated planning: theory and practice [M]. Qinghua University Press, Beijing
3.
go back to reference Knight R, Rabideau G, Chien S et al (2001) Casper: space exploration through continuous planning[J]. Intell Syst IEEE 16(5):70–75 Knight R, Rabideau G, Chien S et al (2001) Casper: space exploration through continuous planning[J]. Intell Syst IEEE 16(5):70–75
4.
go back to reference Talamadupula K, Benton J, Kambhampati S et al (2010) Planning for human-robot teaming in open worlds[J]. ACM Trans Intell Syst Technol (TIST) 1(2):14 Talamadupula K, Benton J, Kambhampati S et al (2010) Planning for human-robot teaming in open worlds[J]. ACM Trans Intell Syst Technol (TIST) 1(2):14
5.
go back to reference Babarian T, Schmolze JG (2006) Efficient open world reasoning for planning. logical methods in computer. Science 2:1–39 Babarian T, Schmolze JG (2006) Efficient open world reasoning for planning. logical methods in computer. Science 2:1–39
6.
go back to reference Lemai S, Ingrand F (2004) Interleaving temporal planning and execution in robotics domains [C]. AAAI 4:617–622 Lemai S, Ingrand F (2004) Interleaving temporal planning and execution in robotics domains [C]. AAAI 4:617–622
7.
go back to reference Zhuo HH (2015) Crowdsourced action model acquisition for planning. In: Proceedings of the twenty-eighth AAAI conference on artificial intelligence, pp 3004–3009 Zhuo HH (2015) Crowdsourced action model acquisition for planning. In: Proceedings of the twenty-eighth AAAI conference on artificial intelligence, pp 3004–3009
8.
go back to reference Nareyek A (2000) Open world planning as SCSP. In: In papers from the AAAI-2000 workshop on constraints and AI planning. AAAI Press, pp 35–46 Nareyek A (2000) Open world planning as SCSP. In: In papers from the AAAI-2000 workshop on constraints and AI planning. AAAI Press, pp 35–46
9.
go back to reference Davis-Mendelow S, Baier JA, McIlraith SA (2013) Assumption-based planning: generating plans and explanations under incomplete knowledge [J]. AAAI 1101–1109 Davis-Mendelow S, Baier JA, McIlraith SA (2013) Assumption-based planning: generating plans and explanations under incomplete knowledge [J]. AAAI 1101–1109
11.
go back to reference Hoffmann J, Nebel B (2001) The FF planning system: fast plan generation through heuristic search. J Artif Intell Res 14:253–302MATH Hoffmann J, Nebel B (2001) The FF planning system: fast plan generation through heuristic search. J Artif Intell Res 14:253–302MATH
Metadata
Title
Open-World Planning Algorithm Based on Logic
Authors
Jie Gao
Ya-song Liu
Rui Bian
Copyright Year
2016
Publisher
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-48386-2_9

Premium Partner