메뉴 건너뛰기




Volumn 56, Issue 11, 2008, Pages 942-954

Monitoring the execution of robot plans using semantic knowledge

Author keywords

Mobile robots; Plan execution and monitoring; Semantic knowledge

Indexed keywords

ARTIFICIAL INTELLIGENCE; INFORMATION THEORY; KNOWLEDGE REPRESENTATION; ROBOTS; SEMANTICS;

EID: 53849127829     PISSN: 09218890     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.robot.2008.08.003     Document Type: Article
Times cited : (29)

References (40)
  • 1
    • 0015440625 scopus 로고
    • Learning and executing generalized robot plans
    • Fikes R., Hart P., and Nilsson N. Learning and executing generalized robot plans. Artificial Intelligence 3 4 (1972) 251-288
    • (1972) Artificial Intelligence , vol.3 , Issue.4 , pp. 251-288
    • Fikes, R.1    Hart, P.2    Nilsson, N.3
  • 3
    • 53849115098 scopus 로고    scopus 로고
    • Springer-Verlag
    • Beetz M. Plan-Based Control of Robotic Agents. Lecture Notes in AI vol. 2554 (2002), Springer-Verlag
    • (2002) Lecture Notes in AI , vol.2554
    • Beetz, M.1
  • 4
    • 27544461446 scopus 로고    scopus 로고
    • Execution monitoring in robotics: A survey
    • Pettersson O. Execution monitoring in robotics: A survey. Robotics and Autonomous Systems 53 2 (2005) 73-88
    • (2005) Robotics and Autonomous Systems , vol.53 , Issue.2 , pp. 73-88
    • Pettersson, O.1
  • 5
    • 36348999310 scopus 로고    scopus 로고
    • A. Bouguerra, L. Karlsson, A. Saffiotti, Semantic knowledge-based execution monitoring for mobile robots, in: IEEE Int. Conf. on Robotics and Automation, 2007, pp. 3693-3698
    • A. Bouguerra, L. Karlsson, A. Saffiotti, Semantic knowledge-based execution monitoring for mobile robots, in: IEEE Int. Conf. on Robotics and Automation, 2007, pp. 3693-3698
  • 6
    • 51349118665 scopus 로고    scopus 로고
    • A. Bouguerra, L. Karlsson, A. Saffiotti, Handling uncertainty in semantic-knowledge based execution monitoring, in: IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, 2007, pp. 437-443
    • A. Bouguerra, L. Karlsson, A. Saffiotti, Handling uncertainty in semantic-knowledge based execution monitoring, in: IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, 2007, pp. 437-443
  • 7
    • 9444297815 scopus 로고    scopus 로고
    • S. Lemai, F. Ingrand, Interleaving temporal planning and execution in robotics domains, in: National Conf. on AI, 2004, pp. 617-622
    • S. Lemai, F. Ingrand, Interleaving temporal planning and execution in robotics domains, in: National Conf. on AI, 2004, pp. 617-622
  • 8
    • 53849083153 scopus 로고    scopus 로고
    • K. Haigh, M. Veloso, Planning, execution and learning in a robotic agent, in: Int. Conf. on AI Planning Systems, 1998, pp. 120-127
    • K. Haigh, M. Veloso, Planning, execution and learning in a robotic agent, in: Int. Conf. on AI Planning Systems, 1998, pp. 120-127
  • 10
    • 53849131391 scopus 로고    scopus 로고
    • G. DeGiacomo, R. Reiter, M. Soutchanski, Execution monitoring of high-level robot programs, in: Int. Conf. on Principles of Knowledge Representation and Reasoning, 1998, pp. 453-465
    • G. DeGiacomo, R. Reiter, M. Soutchanski, Execution monitoring of high-level robot programs, in: Int. Conf. on Principles of Knowledge Representation and Reasoning, 1998, pp. 453-465
  • 11
    • 1642526674 scopus 로고    scopus 로고
    • Intelligent execution monitoring in dynamic environments
    • Fichtner M., Großmann A., and Thielscher M. Intelligent execution monitoring in dynamic environments. Fundamenta Informaticae 57 2-4 (2003) 371-392
    • (2003) Fundamenta Informaticae , vol.57 , Issue.2-4 , pp. 371-392
    • Fichtner, M.1    Großmann, A.2    Thielscher, M.3
  • 12
    • 0344320637 scopus 로고    scopus 로고
    • K. BenLamine, F. Kabanza, History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots, in: IEEE Int. Conf. Tools with AI, 2000, pp. 312-319
    • K. BenLamine, F. Kabanza, History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots, in: IEEE Int. Conf. Tools with AI, 2000, pp. 312-319
  • 14
    • 0026960956 scopus 로고    scopus 로고
    • R. Firby, Building symbolic primitives with continuous control routines, in: Int. Conf. on AI Planning Systems, 1992, pp. 62-69
    • R. Firby, Building symbolic primitives with continuous control routines, in: Int. Conf. on AI Planning Systems, 1992, pp. 62-69
  • 15
    • 0842311322 scopus 로고    scopus 로고
    • Probabilistic models for monitoring and fault diagnosis: Application and evaluation in a mobile robot
    • Fernández J., Sanz R., and Diéguez A. Probabilistic models for monitoring and fault diagnosis: Application and evaluation in a mobile robot. Applied AI 18 1 (2004) 43-67
    • (2004) Applied AI , vol.18 , Issue.1 , pp. 43-67
    • Fernández, J.1    Sanz, R.2    Diéguez, A.3
  • 17
    • 26944465721 scopus 로고    scopus 로고
    • G. Fraser, G. Steinbauer, F. Wotawa, Plan execution in dynamic environments, in: Int. Conf. on Industrial and Engineering Applications of AI and Expert Systems, 2005, pp. 208-217
    • G. Fraser, G. Steinbauer, F. Wotawa, Plan execution in dynamic environments, in: Int. Conf. on Industrial and Engineering Applications of AI and Expert Systems, 2005, pp. 208-217
  • 18
    • 0032321133 scopus 로고    scopus 로고
    • J. Fernández, R. Simmons, Robust execution monitoring for navigation plans, in: IEEE/RSJ Conf. on Intelligent Robots and Systems, 1998, pp. 551-557
    • J. Fernández, R. Simmons, Robust execution monitoring for navigation plans, in: IEEE/RSJ Conf. on Intelligent Robots and Systems, 1998, pp. 551-557
  • 19
    • 53849089655 scopus 로고    scopus 로고
    • M. Beetz, D. McDermott, Fast probabilistic plan debugging, in: European Conf. on Planning, 1997, pp. 77-90
    • M. Beetz, D. McDermott, Fast probabilistic plan debugging, in: European Conf. on Planning, 1997, pp. 77-90
  • 20
    • 0034248883 scopus 로고    scopus 로고
    • Towards focused plan monitoring: A technique and an application to mobile robots
    • McCarthy C., and Pollack M. Towards focused plan monitoring: A technique and an application to mobile robots. Autonomous Robots 9 1 (2000) 71-81
    • (2000) Autonomous Robots , vol.9 , Issue.1 , pp. 71-81
    • McCarthy, C.1    Pollack, M.2
  • 21
    • 34250626226 scopus 로고    scopus 로고
    • C. Galindo, A. Saffiotti, S. Coradeschi, P. Buschka, J. Fernández-Madrigal, J. González, Multi-hierarchical semantic maps for mobile robotics, in: IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, 2005, pp. 3492-3497
    • C. Galindo, A. Saffiotti, S. Coradeschi, P. Buschka, J. Fernández-Madrigal, J. González, Multi-hierarchical semantic maps for mobile robotics, in: IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, 2005, pp. 3492-3497
  • 22
    • 0036450779 scopus 로고    scopus 로고
    • C. Theobalt, J. Bos, T. Chapman, A. Espinosa-Romero, M. Fraser, G. Hayes, E. Klein, T. Oka, R. Reeve, Talking to Godot: Dialogue with a mobile robot, in: IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, 2002, pp. 1338-1343
    • C. Theobalt, J. Bos, T. Chapman, A. Espinosa-Romero, M. Fraser, G. Hayes, E. Klein, T. Oka, R. Reeve, Talking to Godot: Dialogue with a mobile robot, in: IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, 2002, pp. 1338-1343
  • 23
    • 38349056379 scopus 로고    scopus 로고
    • J. Hois, M. Wünstel, J. Bateman, T. Röfer, Dialog-based 3D-image recognition using a domain ontology, in: Int. Conf. on Spatial Cognition, 2006, pp. 107-126
    • J. Hois, M. Wünstel, J. Bateman, T. Röfer, Dialog-based 3D-image recognition using a domain ontology, in: Int. Conf. on Spatial Cognition, 2006, pp. 107-126
  • 24
    • 37249016561 scopus 로고    scopus 로고
    • A. Nüchter, O. Wulf, K. Lingemann, J. Hertzberg, B. Wagner, H. Surmann, 3D mapping with semantic knowledge, in: RoboCup Int. Symposium, 2005, pp. 335-346
    • A. Nüchter, O. Wulf, K. Lingemann, J. Hertzberg, B. Wagner, H. Surmann, 3D mapping with semantic knowledge, in: RoboCup Int. Symposium, 2005, pp. 335-346
  • 25
    • 0003727420 scopus 로고    scopus 로고
    • Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P. (Eds), Cambridge University Press
    • In: Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P. (Eds). The Description Logic Handbook: Theory, Implementation, and Applications (2003), Cambridge University Press
    • (2003) The Description Logic Handbook: Theory, Implementation, and Applications
  • 26
    • 53849093480 scopus 로고    scopus 로고
    • R. MacGregor, Retrospective on LOOM. Technical report, Information Sciences Institute, University of Southern California, 1999
    • R. MacGregor, Retrospective on LOOM. Technical report, Information Sciences Institute, University of Southern California, 1999
  • 27
    • 53849084528 scopus 로고    scopus 로고
    • A. Bouguerra, L. Karlsson, A. Saffiotti, Active execution monitoring using planning and semantic knowledge, in: ICAPS Workshop on Planning and Plan Execution for Real-World Systems, 2007
    • A. Bouguerra, L. Karlsson, A. Saffiotti, Active execution monitoring using planning and semantic knowledge, in: ICAPS Workshop on Planning and Plan Execution for Real-World Systems, 2007
  • 29
    • 0031388389 scopus 로고    scopus 로고
    • D. Koller, A. Levy, A. Pfeffer, P-classic: A tractable probabilistic description logic, in: National Conf. on AI, 1997, pp. 390-397
    • D. Koller, A. Levy, A. Pfeffer, P-classic: A tractable probabilistic description logic, in: National Conf. on AI, 1997, pp. 390-397
  • 30
    • 0029332990 scopus 로고
    • A multivalued logic approach to integrating planning and control
    • Saffiotti A., Konolige K., and Ruspini E. A multivalued logic approach to integrating planning and control. Artificial Intelligence 76 1-2 (1995) 481-526
    • (1995) Artificial Intelligence , vol.76 , Issue.1-2 , pp. 481-526
    • Saffiotti, A.1    Konolige, K.2    Ruspini, E.3
  • 31
    • 44649140430 scopus 로고    scopus 로고
    • A. Ramisa, S. Vasudevan, D. Scaramuzza, R. de Mántaras, R. Siegwart, A tale of two object recognition methods for mobile robots, in: Int. Conf. on Computer Vision Systems, 2008, pp. 353-362
    • A. Ramisa, S. Vasudevan, D. Scaramuzza, R. de Mántaras, R. Siegwart, A tale of two object recognition methods for mobile robots, in: Int. Conf. on Computer Vision Systems, 2008, pp. 353-362
  • 32
    • 3042535216 scopus 로고    scopus 로고
    • Distinctive image features from scale-invariant keypoints
    • Lowe D. Distinctive image features from scale-invariant keypoints. International Journal of Computer Vision 60 2 (2004) 91-110
    • (2004) International Journal of Computer Vision , vol.60 , Issue.2 , pp. 91-110
    • Lowe, D.1
  • 33
    • 14044257268 scopus 로고    scopus 로고
    • N. Koenig, A. Howard, Design and use paradigms for gazebo, an open-source multi-robot simulator, in: IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, 2004, pp. 2149-2154
    • N. Koenig, A. Howard, Design and use paradigms for gazebo, an open-source multi-robot simulator, in: IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, 2004, pp. 2149-2154
  • 34
    • 77953856735 scopus 로고    scopus 로고
    • A. Saffiotti, M. Broxvall, PEIS ecologies: Ambient intelligence meets autonomous robotics, in: Int. Conf. on Smart Objects and Ambient Intelligence, 2005, pp. 275-280
    • A. Saffiotti, M. Broxvall, PEIS ecologies: Ambient intelligence meets autonomous robotics, in: Int. Conf. on Smart Objects and Ambient Intelligence, 2005, pp. 275-280
  • 35
    • 53849114742 scopus 로고    scopus 로고
    • A. Bouguerra, Robust execution of robot task-plans: A knowledge-based approach. PhD thesis, Department of Technology, Örebro University, Sweden, 2008
    • A. Bouguerra, Robust execution of robot task-plans: A knowledge-based approach. PhD thesis, Department of Technology, Örebro University, Sweden, 2008
  • 36
    • 53849144379 scopus 로고    scopus 로고
    • R. Möller, V. Haarslev, M. Wessel, On the scalability of description logic instance retrieval, in: Int. Workshop on Description Logics, 2006
    • R. Möller, V. Haarslev, M. Wessel, On the scalability of description logic instance retrieval, in: Int. Workshop on Description Logics, 2006
  • 37
    • 33750704573 scopus 로고    scopus 로고
    • Y. Guo, A. Qasem, J. Heflin, Large scale knowledge base systems: An empirical evaluation perspective, in: National Conf. on AI, 2006
    • Y. Guo, A. Qasem, J. Heflin, Large scale knowledge base systems: An empirical evaluation perspective, in: National Conf. on AI, 2006
  • 38
    • 0003251724 scopus 로고    scopus 로고
    • Particle filters for mobile robot localization
    • Doucet A., de Freitas N., and Gordon N. (Eds), Springer Verlag
    • Fox D., Thrun S., Dellaert F., and Burgard W. Particle filters for mobile robot localization. In: Doucet A., de Freitas N., and Gordon N. (Eds). Sequential Monte Carlo Methods in Practice (2000), Springer Verlag
    • (2000) Sequential Monte Carlo Methods in Practice
    • Fox, D.1    Thrun, S.2    Dellaert, F.3    Burgard, W.4
  • 39
    • 53849146789 scopus 로고    scopus 로고
    • N. Howden, R. Rnnquist, A. Hodgson, A. Lucas, JACK intelligent agents-summary of an agent infrastructure, in: Int. Conf. on Aut. Agents, 2001
    • N. Howden, R. Rnnquist, A. Hodgson, A. Lucas, JACK intelligent agents-summary of an agent infrastructure, in: Int. Conf. on Aut. Agents, 2001
  • 40
    • 38649122051 scopus 로고    scopus 로고
    • Expressive probabilistic description logics
    • Lukasiewicz T. Expressive probabilistic description logics. Artificial Intelligence 172 6-7 (2008) 852-883
    • (2008) Artificial Intelligence , vol.172 , Issue.6-7 , pp. 852-883
    • Lukasiewicz, T.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.