교보문고 SCHOLAR 스콜라
이 자료는 국가지식 연계기관과의 협약에 따라 무료로 제공됩니다.
원문을 이용하시기 위해서는 연계기관의 정책을 따르고 있으니
궁금하신 사항은 연계기관을 통해 문의하시기 바랍니다.
곧 연계기관으로 이동합니다
본문내용 바로가기
홈 > 한국과학기술원 인간친화 복지 로봇 시스템 연구센터 > International Journal of Assistive Robotics and Mechatronics
논문 표지

Logical Verification of AND/OR-net Structures for Task-Knowledge Representation in Service Robotic Scenarios

원문보기 원문저장 인용정보복사 구매 4,000원

국문 초록

* 현재 컨텐츠 정보를 준비 중에 있습니다.

영문 초록

  Service robots and especially rehabilitation robots shall support disabled persons in daily life situations as well as in the working environment. Currently available systems offer support...

[더보기]

목차

Abstract
Ⅰ. INTRODUCTION
Ⅱ. AND/OR-NETS FOR TASK-KNOWLEDGE REPRESENTATION
Ⅲ. KNOWLEDGE ENHANCEMENTS
Ⅳ. LOGICAL VERIFICATION NET STRUCTURES
Ⅴ. CONCLUSIONS
REFERENCES

키워드