RISS 학술연구정보서비스

검색
다국어 입력

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

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

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

    RISS 인기검색어

      검색결과 좁혀 보기

      선택해제

      오늘 본 자료

      • 오늘 본 자료가 없습니다.
      더보기
      • 무료
      • 기관 내 무료
      • 유료
      • A Logical Framework for Behaviour Reasoning and Assistance in a Smart Home

        Liming Chen,Chris Nugent,Maurice Mulvenna,Dewar Finlay,Xin hong,and Michael Poland 한국과학기술원 인간친화 복지 로봇 시스템 연구센터 2008 International Journal of Assistive Robotics and Me Vol.9 No.4

        Smart Homes(SH) have emerged as a realistic intelligent assistive environment capable of providing assistive living for the elderly and the disabled. Nevertheless, it still remains a challenge to assist the inhabitants of a SH in performing the ""right"" action(s) at the ""right"" time in the ""right"" place. To address this challenge, this paper introduces a novel logical framework for cognitive behavioural modelling, reasoning and assistance based on a highly developed logical theory of actions - the Event Calculus. Cognitive models go beyond data- centric behavioural models in that they govern an inhabitant's behaviour by reasoning about its knowledge, actions and environmental events. In our work we outline the theoretical foundation of such and approach and describe cognitive modelling of SH. We discuss the reasoning capabilities and algorithms of the cognitive SH model and present the details of the various tasks it can support. A system architecture is proposed to illustrate the use of the framework in facilitating assistive living. We demonstrate the perceived effectiveness of the approach through presentation of its operation in the context of a real world daily activity scenario.

      • A Logical Framework for Behaviour Reasoning and Assistance in a Smart Home

        Liming Chen,Chris Nugent,Maurice Mulvenna,Dewar Finlay,Xin Hong,Michael Poland 동국대학교 정보융합기술원 2008 International Journal of Assistive Robotics and Sy Vol.9 No.4

        Smart Homes (SH) have emerged as a realistic intelligent assistive environment capable of providing assistive living for the elderly and the disabled. Nevertheless, it still remains a challenge to assist the inhabitants of a SH in performing the “right” action(s) at the “right” time in the “right” place. To address this challenge, this paper introduces a novel logical framework for cognitive behavioural modelling, reasoning and assistance based on a highly developed logical theory of actions - the Event Calculus. Cognitive models go beyond datacentric behavioural models in that they govern an inhabitant’s behaviour by reasoning about its knowledge, actions and environmental events. In our work we outline the theoretical foundation of such an approach and describe cognitive modelling of SH. We discuss the reasoning capabilities and algorithms of the cognitive SH model and present the details of the various tasks it can support. A system architecture is proposed to illustrate the use of the framework in facilitating assistive living. We demonstrate the perceived effectiveness of the approach through presentation of its operation in the context of a real world daily activity scenario.

      연관 검색어 추천

      이 검색어로 많이 본 자료

      활용도 높은 자료

      해외이동버튼