RISS 학술연구정보서비스

검색
다국어 입력

http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.

변환된 중국어를 복사하여 사용하시면 됩니다.

예시)
  • 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
  • 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
닫기
    인기검색어 순위 펼치기

    RISS 인기검색어

      검색결과 좁혀 보기

      선택해제

      오늘 본 자료

      • 오늘 본 자료가 없습니다.
      더보기
      • 무료
      • 기관 내 무료
      • 유료
      • Logical Verification of AND/OR-net Structures for Task-Knowledge Representation in Service Robotic Scenarios

        Christian Martens,Jochen Schuttler,Axel Graser 한국과학기술원 인간친화 복지 로봇 시스템 연구센터 2003 International Journal of Assistive Robotics and Me Vol.4 No.2

        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 on a relatively low task level. This puts a high cognitive load on its users, so that controlling these systems turns out to be very tiresome. In order to eliminate this disadvantage system control on a higher task level becomes a necessary prerequisite. For this purpose, detailed information about the task to be solved i.e. task-knowledge has to be supported. This kind of information enables the system to reason about its internal as well as about its environmental state in a (semi-)autonomous manner. This paper presents an approach for the logical verification of the input of such task-knowledge. The task-knowledge is represented on the basis of AND/OR-net structures. These net structures can be created easily by non-service robotic experts (application programmer e.g. care personnel). The logical verification during knowledge input on a semantic level becomes possible due to the enhanced a priori knowledge about the net elements (i.e. objects and operators) and their relationships.

      연관 검색어 추천

      이 검색어로 많이 본 자료

      활용도 높은 자료

      해외이동버튼