Skip to main content

2016 | OriginalPaper | Buchkapitel

Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication

verfasst von : Chitta Baral, Tran Cao Son, Michael Gelfond, Arindam Mitra

Erschienen in: PRIMA 2016: Principles and Practice of Multi-Agent Systems

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

While most robots in human robot interaction scenarios take instructions from humans, the ideal would be that humans and robots collaborate with each other. The Defense Advanced Research Projects Agency Communicating with Computer program proposes the collaborative blocks world scenario as a testbed for this. This scenario requires the human and the computer to communicate through natural language to build structures out of toy blocks. To formulate and address this, we identify two main tasks. The first task, called the plan failure analysis, demands the robot to analyze the feasibility of a task and to determine the reasons(s) in case the task is not doable. The second task focuses on the ability of the robot to understand communications via natural language. We discuss potential solutions to both problems and present prototypical architecture for the integration of planning failure analysis and natural language communication into an intelligent agent architecture.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Fußnoten
1
Fluents/actions with variables are shorthands for collections of their ground instantiations. The formalization used in this example is a variant of the block world domain representation in planning benchmarks and assumes that each block has a unique color. The goal is simplified to be “build a stack of two blue blocks.”
 
2
Observe that the action \(ask\_permission(.)\) refers to a communication between the robot and the human user and thus is not included in the initial planning domain of \(\mathcal {P}_b\). Furthermore, we assume that the human is collaborative and thus would grant the robot the permission to use his blocks.
 
3
If it cannot deal with a new word, the system should respond by asking for an alternative or about the meaning of the word.
 
Literatur
1.
Zurück zum Zitat Ai-Chang, M., Bresina, J., Charest, L., Chase, A., Hsu, J.C.J., Jonsson, A., Kanefsky, B., Morris, P., Rajan, K., Yglesias, J., Chafin, B.G., Dias, W.C., Maldague, P.F.: Mapgen: mixed-initiative planning and scheduling for the Mars Exploration Rover Mission. IEEE Intell. Syst. 19, 8–12 (2004)CrossRef Ai-Chang, M., Bresina, J., Charest, L., Chase, A., Hsu, J.C.J., Jonsson, A., Kanefsky, B., Morris, P., Rajan, K., Yglesias, J., Chafin, B.G., Dias, W.C., Maldague, P.F.: Mapgen: mixed-initiative planning and scheduling for the Mars Exploration Rover Mission. IEEE Intell. Syst. 19, 8–12 (2004)CrossRef
2.
Zurück zum Zitat Allen, J.F., Ferguson, G.: Human-machine collaborative planning. In: Proceedings of 3rd International Workshop on Planning and Scheduling for Space (2002) Allen, J.F., Ferguson, G.: Human-machine collaborative planning. In: Proceedings of 3rd International Workshop on Planning and Scheduling for Space (2002)
3.
Zurück zum Zitat Baral, C., Son, T.C.: “Add another blue stack of the same height!”: ASP based planning and plan failure analysis. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS, vol. 9345, pp. 127–133. Springer, Heidelberg (2015)CrossRef Baral, C., Son, T.C.: “Add another blue stack of the same height!”: ASP based planning and plan failure analysis. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS, vol. 9345, pp. 127–133. Springer, Heidelberg (2015)CrossRef
4.
Zurück zum Zitat Benton, J., Do, M.B., Kambhampati, S.: Anytime heuristic search for partial satisfaction planning. Artif. Intell. 173(5–6), 562–592 (2009)MathSciNetCrossRefMATH Benton, J., Do, M.B., Kambhampati, S.: Anytime heuristic search for partial satisfaction planning. Artif. Intell. 173(5–6), 562–592 (2009)MathSciNetCrossRefMATH
5.
Zurück zum Zitat Brafman, R.I., Shani, G.: Replanning in domains with partial information and sensing actions. J. Artif. Intell. Res. 45, 565–600 (2012)MathSciNetMATH Brafman, R.I., Shani, G.: Replanning in domains with partial information and sensing actions. J. Artif. Intell. Res. 45, 565–600 (2012)MathSciNetMATH
6.
7.
Zurück zum Zitat Chen, D.L., Mooney, R.J.: Learning to interpret natural language navigation instructions from observations (2011) Chen, D.L., Mooney, R.J.: Learning to interpret natural language navigation instructions from observations (2011)
9.
Zurück zum Zitat DARPA: Communicating with Computers (CwC) (2015) DARPA: Communicating with Computers (CwC) (2015)
10.
Zurück zum Zitat Davis-Mendelow, S., Baier, J.A., McIlraith, S.A.: Assumption-based planning: generating plans and explanations under incomplete knowledge. In: Proceedings of AAAI (2013) Davis-Mendelow, S., Baier, J.A., McIlraith, S.A.: Assumption-based planning: generating plans and explanations under incomplete knowledge. In: Proceedings of AAAI (2013)
11.
Zurück zum Zitat De Giacomo, G., Reiter, R., Soutchanski, M.: Execution monitoring of high-level robot programs. In: Principles of Knowledge Representation and Reasoning, pp. 453–465. Morgan Kaufmann Publishers (1998) De Giacomo, G., Reiter, R., Soutchanski, M.: Execution monitoring of high-level robot programs. In: Principles of Knowledge Representation and Reasoning, pp. 453–465. Morgan Kaufmann Publishers (1998)
12.
Zurück zum Zitat Erdem, E., Patoglu, V., Saribatur, Z.G.: Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive factories with multiple robots. In: ICRA (2015) Erdem, E., Patoglu, V., Saribatur, Z.G.: Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive factories with multiple robots. In: ICRA (2015)
13.
Zurück zum Zitat Erol, K., Nau, D., Subrahmanian, V.: Complexity, decidability and undecidability results for domain-independent planning. Artif. Intell. 76(1–2), 75–88 (1995)MathSciNetCrossRefMATH Erol, K., Nau, D., Subrahmanian, V.: Complexity, decidability and undecidability results for domain-independent planning. Artif. Intell. 76(1–2), 75–88 (1995)MathSciNetCrossRefMATH
14.
Zurück zum Zitat Ferguson, G., Allen, J.F.: Trips: An integrated intelligent problem-solving assistant. In: Proceedings of AAAI, pp. 567–572 (1998) Ferguson, G., Allen, J.F.: Trips: An integrated intelligent problem-solving assistant. In: Proceedings of AAAI, pp. 567–572 (1998)
15.
Zurück zum Zitat Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Proceedings of 7th International Conference on Logic Programming, pp. 579–597 (1990) Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Proceedings of 7th International Conference on Logic Programming, pp. 579–597 (1990)
16.
Zurück zum Zitat Ge, R., Mooney, R.J.: Learning a compositional semantic parser using an existing syntactic parser. In: JCAMACL and IJCNLP, pp. 611–619. Association for Computational Linguistics (2009) Ge, R., Mooney, R.J.: Learning a compositional semantic parser using an existing syntactic parser. In: JCAMACL and IJCNLP, pp. 611–619. Association for Computational Linguistics (2009)
17.
Zurück zum Zitat Kate, R.J., Wong, Y.W., Mooney, R.J.: Learning to transform natural to formal languages. In: Proceedings of AAAI 2005 (2005) Kate, R.J., Wong, Y.W., Mooney, R.J.: Learning to transform natural to formal languages. In: Proceedings of AAAI 2005 (2005)
18.
Zurück zum Zitat Kwiatkowski, T., Zettlemoyer, L., Goldwater, S., Steedman, M.: Inducing probabilistic CCG grammars from logical form with higher-order unification. In: EMNLP, pp. 1223–1233. ACL (2010) Kwiatkowski, T., Zettlemoyer, L., Goldwater, S., Steedman, M.: Inducing probabilistic CCG grammars from logical form with higher-order unification. In: EMNLP, pp. 1223–1233. ACL (2010)
19.
Zurück zum Zitat Kwiatkowski, T., Zettlemoyer, L., Goldwater, S., Steedman, M.: Lexical generalization in CCG grammar induction for semantic parsing. In: EMNLP, pp. 1512–1523. ACL (2011) Kwiatkowski, T., Zettlemoyer, L., Goldwater, S., Steedman, M.: Lexical generalization in CCG grammar induction for semantic parsing. In: EMNLP, pp. 1512–1523. ACL (2011)
20.
Zurück zum Zitat Mooney, R.J.: Learning for semantic parsing. In: Gelbukh, A. (ed.) CICLing 2007. LNCS, vol. 4394, pp. 311–324. Springer, Heidelberg (2007)CrossRef Mooney, R.J.: Learning for semantic parsing. In: Gelbukh, A. (ed.) CICLing 2007. LNCS, vol. 4394, pp. 311–324. Springer, Heidelberg (2007)CrossRef
21.
Zurück zum Zitat Steedman, M.: The Syntactic Process. MIT Press, Cambridge (2000)MATH Steedman, M.: The Syntactic Process. MIT Press, Cambridge (2000)MATH
22.
Zurück zum Zitat Vo, N.H., Mitra, A., Baral, C.R.: The NL2KR platform for building natural language translation systems. In: Association for Computational Linguistics (ACL) (2015) Vo, N.H., Mitra, A., Baral, C.R.: The NL2KR platform for building natural language translation systems. In: Association for Computational Linguistics (ACL) (2015)
23.
Zurück zum Zitat Zettlemoyer, L.S., Collins, M.: Online learning of relaxed CCG grammars for parsing to logical form. In: EMNLP-CoNLL, pp. 678–687 (2007) Zettlemoyer, L.S., Collins, M.: Online learning of relaxed CCG grammars for parsing to logical form. In: EMNLP-CoNLL, pp. 678–687 (2007)
Metadaten
Titel
Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication
verfasst von
Chitta Baral
Tran Cao Son
Michael Gelfond
Arindam Mitra
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-44832-9_25