What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2009, Pages 4163-4168

  Dzifcak, Juraj ^a   Scheutz, Matthias ^b   Baral, Chitta ^a   Schermerhorn, Paul ^b  

^a ASU ^*

^b INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACHIEVABILITY; ACTION EXECUTION; ACTION LANGUAGE; ACTION SEQUENCES; DYNAMIC LOGIC; GOAL MANAGEMENT; NATURAL LANGUAGES; OFFICE ENVIRONMENTS; ROBOTIC ARCHITECTURES; SPOKEN LANGUAGES;

QUERY LANGUAGES; ROBOTICS; ROBOTS; TEMPORAL LOGIC;

LINGUISTICS;

EID: 70350359650     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.2009.5152776     Document Type: Conference Paper

References (18)

1. Fahiem Bacchus and Froduald Kabanza. Planning for temporally extended goals. Annals of Math and AI, 22:5-27, 1998. (Pubitemid 128403997)
2. Chitta Baral, Juraj Dzifcak, and Tran Cao Son. Using ASP and lambda calculus to characterize NL sentences with normatives and exceptions. In AAAI, 2008.
3. Chitta Baral, Vladik Kreinovich, and Raul Trejo. Computational complexity of planning with temporal goals. In IJCAI-01, pages 509- 514, 2001.
4. Chitta Baral and Jicheng Zhao. Goal specification in presence of nondeterministic actions. In Proceedings of ECAI'04, pages 273-277, 2004.
5. Patrick Blackburn and Johan Bos. Representation and Inference for Natural Language: A First Course in Computational Semantics. Center for the Study of Language and Inf, 2005.
6. Timothy Brick and Matthias Scheutz. Incremental natural language processing for HRI. In Proceedings of the Second ACM IEEE International Conference on Human-Robot Interaction, pages 263- 270, Washington D.C., March 2007.
7. Patrick Doherty, Joakim Gustafsson, Lars Karlsson, and Jonas Kvarnström. Temporal action logics (TAL): Language specification and tutorial. Linköping Electronic Articles in Computer and Information Science, 3(15), 1998.
8. E. Allen Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 997-1072, 1990.
9. Will Fitzgerald and R. James Firby. The dynamic predictive memory architecture: Integrating language with task execution. In Proceedings of the IEEE Symposia on Intelligence and Systems, Washington, D.C, 1998.
10. L.T.F. Gamut. Logic, Language, and Meaning. The University of Chicago Press, 1991.
11. Robert Goldblatt. Parallel action: Concurrent dynamic logic with independent modalities. Studia Logica, 51(3/4):551-578, 1992.
12. Geert-Jan M. Kruijff, Pierre Lison, Trevor Benjamin, Henrik Jacobsson, and Nick Hawes. Incremental, multi-level processing for comprehending situated dialogue in human-robot interaction. In Language and Robots: Proceedings from the Symposium (LangRo'2007)IJCAI- 01, pages 509-514, 2007.
13. R. Müller, T. Rofer, A. Landkenau, A. Musto, K. Stein, and A. Eisenkolb. Coarse qualitative description in robot navigation. In C. Freksa, W. Braner, C. Habel, and K. Wender, editors, Spatial Cognition II, pages 265-276. Spinger-Verlag, Berlin, 1998.
14. Rajdeep Niyogi and Sudeshna Sarkar. Logical specification of goals. In Proc. of 3rd international conference on Information Technology, pages 77-82, 2000.
15. P. E. Rybski, J. Stolarz, K. Yoon, and M. Veloso. Using dialog and human observations to dictate tasks to a learning robot assistant. Journal of Intelligent Service Robots - To appear, 2008.
16. Matthias Scheutz. ADE - steps towards a distributed development and runtime environment for complex robotic agent architectures. Applied Artificial Intelligence, 20(4-5):275-304, 2006.
17. Matthias Scheutz, Kathleen Eberhard, and Virgil Andronache. A parallel, distributed, realtime, robotic model for human reference resolution with visual constraints. Connection Science, 16(3):145-167, 2004.
18. Mark Steedman. The syntactic process. MIT Press, 2000.