• 제목/요약/키워드: 논리적 추론 방법

검색결과 127건 처리시간 0.024초

무게중심 복합구간에 의한 정성 추론 기법에 관한 연구 (A Study on the Methodology of Qualitative Reasoning Using Centroid-Oriented Composite Interval)

  • 박천경;김성근
    • 대한기계학회논문집
    • /
    • 제16권7호
    • /
    • pp.1351-1362
    • /
    • 1992
  • 본 연구에서는 단순한 구간대신에 구간내에 제한된 형태의 가능성 분포를 갖 는 복합구간으로 학장하는 것이다. 그리고 이러한 가능성 분포는 퍼지 집합이론에서 사용되는 것처럼 일반적인 분포형태 전체를 사용하는 것이 아니라, 가능성 분포의 무 게중심만 정의하고 이 무게중심과 구간경계만을 사용하여 시스템 변수가 갖는 정성값 을 나타낸다. 이를 바탕으로 새로운 상태변화와 그 규칙을 정의함으로써 정성 모델 링과 시뮬레이션을 할 수 있는 정성 수학을 공식화하였다.이와 같은 방식으로 구한 정성 모델과 추론방법으로 기존의 논문에 나와 있는 시뮬레이션 결과와 비교하여 본 논문에서 제시한 정성해의 논리적 건전성(soundness)을 보였다.

클라우드 컴퓨팅을 사용한 대용량 온톨로지 저장을 위한 저장 구조 (Data Scheme for Large size Ontology using Cloud Computing)

  • 민영근;이복주
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(C)
    • /
    • pp.353-357
    • /
    • 2010
  • 많은 연구로부터 다양한 온톨로지들이 구축되었다. 온톨로지가 표현하는 영역이 점차 넓어짐에 따라 온톨로지의 크기가 증가하였으나 이를 위한 효율적인 저장방법은 연구되지 않았다. 또한 다양한 온톨로지의 사용방법 중 서술 논리를 사용한 추론은 온톨로지의 크기가 작아도 연산이 매우 많이 필요하여 실제로 사용하기가 매우 어렵다. 본 논문에서는 점차 커지는 온톨로지를 효과적으로 저장하기 위하여 온톨로지를 컴퓨터 클라우드에 저장하는 방법과 컴퓨터 클라우드에 저장된 온톨로지를 추론하기 위한 프레임워크를 제안한다. 그리고 실험을 통하여 제안한 방법이 기존의 방법에 비하여 효율적임을 보였다.

  • PDF

장애물의 의도 추론에 기초한 이동 로봇의 지능적 주행 (Intelligent Navigation of a Mobile Robot based on Intention Inference of Obstacles)

  • 김성훈;변증남
    • 전자공학회논문지CI
    • /
    • 제39권2호
    • /
    • pp.21-34
    • /
    • 2002
  • 구조화된 환경에서 사용되어 지는 일반적인 이동 로봇과 달리 시각장애인을 위한 이동 로봇은 다양한 종류의 이동 장애물들을 고려하도록 설계되어야 한다. 그런데, 이동 장애물, 즉 보행자의 대부분은 어떤 의도를 가지고 이동하게 되므로 로봇이 그 의도를 미리 파악하면서 주행한다면 로봇은 지능적인 주행을 할 수가 있다. 본 논문에서는 격자형 맵을 이용하여 장애물의 의도를 추론하는 방법을 제안하다. 먼저 퍼지 논리와 초음파 센서를 이용하여 주위 환경을 격자형 맵으로 표현하고, 격자형 맵의 CLA(Centroid of Largest Area)점을 이용한 장애물 감지 방법 및 장애물 의도 추론 방법을 제안한다. 제안된 방법의 유용성을 확인하기 위해 실험이 수행되었다.

지식기반 경보처리기술 개발을 위한 예비 prototype 구현

  • 김정택;이동영;나난주;송순자;황인구;박재창;권기춘;함창식;김인석
    • 한국원자력학회:학술대회논문집
    • /
    • 한국원자력학회 1995년도 추계학술발표회논문집(1)
    • /
    • pp.129-134
    • /
    • 1995
  • 본 연구에서는 경보에 관한 지식을 획득하는 방법으로 경보간의 논리적 물리적 상관관계를 평가하여 지식구조를 설정하는 방법을 사용하고 있다. 이 지식구조를 지식기반으로 추론하여 주어진 상황에서 필요 없는 경보를 제거하거나 억제하며, 표시된 경보에 대해서도 운전원 조치의 긴급성을 운전상황에 따라 평가하여 우선순위를 동적으로 표시하는 지식기반 다이나믹 경보처리기술을 개발한다. 이를 위해 경보 운전절차서에 나타난 개별 경보들 중에서 주요계통경보들을 운전모드별로 분류하고, 연동신호에 의한 경보와 물리적인 원인-결과의 연동관계의 경보로 평가, 분석하여, 설정된 경보처리기술의 적용가능성을 평가하기 위해 가상 시나리오를 개발하고, 예비 prototype을 구현하였다.

  • PDF

실어증 환자의 접속사 정보처리에 관한 연구 (Text integration processing based on connectives in Aphasics)

  • 김수정;문영선;김미라;김윤정;남기춘
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 1999년도 제11회 한글 및 한국어 정보처리 학술대회
    • /
    • pp.441-446
    • /
    • 1999
  • 본 연구는 접속사를 통한 텍스트 통합 과정이 논리적 추론 종류에 따라 다른 정보처리 과정 혹은 다른 종류의 단원적 구조(modular structure in language processing)에 의해 처리되는지를 조사하기 위해 실시되었다. 또한, 접속사를 통한 추론 과정이 실어증의 증상 종류에 따라 다른 종류의 언어정보처리 손상이 있는지를 평가하기 위해 실시되었다. 실험에 참가한 환자는 이해성 실어증환자(Wernicke aphasic), 전반성 실어증 환자(Global aphasic), 표현성 실어증 환자(Broca aphasic) 등이었다. en 종류의 과제를 이용하였다. 한 과제는 앞 뒤 문장을 논리적 관계성을 표현하는 접속사를 채워 넣는 과제였고 다른 과제는 접속사가 포함된 텍스트가 옳은지를 판단하는 정오 판단 과제였다. 실험재료 문장에 사용된 접속사는 추가적인 정보를 제공하는 '그리고'와 대등 관계를 나타내는 '그러나' 및 인과 관계를 표현하는 '그래서' 였다. 이 세 종류의 접속사는 각기 다른 논리적 관계성을 나타낸다. 실험 결과는 실어증 환자가 전반적으로 채워 넣기 과제에서 보다는 정오 판단 과제에서 더 많은 실수를 보였으며, 표현성 실어증 환자보다는 이해성 실어증 환자가 더 많은 오류를 보였다. 또한, 세 종류의 접속사 중에 '그리고'가 표함된 텍스트에서 더 많은 실수를 보였다. 이 연구에서 나타난 흥미 있는 결과는 표현성 실어증 환자는 '그러나' 접속사가 포함된 텍스트에서의 수행이 '그래서'가 포함된 경우에서보다 좋은 반면에 전반성 실어증 환자는 '그래서'를 포함하는 텍스트에서의 수행이 '그러나'를 포함하는 텍스트에서의 수행이 더 우수해서 이중해리(double dissociation)가 나타난다는 사실이다. 이 결과는 선후 문장이 어떤 종류의 논리적 관계성을 지니는가에 따라 다른 종류의 정보처리가 진행된다는 것을 암시하는 결과이다.>$\textrm{cm}^2$.。C로 비교적 양호한 초전박막의 전기적 특성을 나타내었다.(Mg+Fe)비를 갖고 전자에 비해 Al이 풍부한 환경에서 생성되었으며, 따라서 활석과 연관되지 않은 녹니석은 생성시 광체와 인접한 화강아질 편마암에 의해 주로영향을 받았을 것으로 생각된다. 녹니석의 이러한 2가지 화학조성상의 경향은 녹니석과 공존하는 운모류나 각섬석류들의 화학분석결과와도 잘 일치한다. 이러한 결과는 이 지역의 활석 광상이 초염기성암 기원의 사문암이 열수변질작용을 받아 생성되었음을 명확하게 지시하며, 따라서 활석 광석내에 존재하는 녹니석은 활석의 근원 광물로서 녹니석편암 및 녹니석 편마암 매의 녹니석이 활석화되고 남은 잔존광물이 아니라, 주변암에 의해 성분상의 영향을 받은 열수와 사문암과의 변질교대작용에 의한 활석화과정 중에 주로 생성된 것으로 추정된다. 이러한 결과는 연구지역의 활석광상이 초염기성암의 사문암화 작용과 활석화 작용의 두 가지 변질작용에 의해 형성되어졌음을 알려준다.농도 증가 없이 폐 조직에 약 50배 정도의 고농도 cisplatin을 투여할 수 있었으며, 또한 분리 폐 관류 시 cisplatin에 의한 직접적 폐 독성은 발견되지 않았다이 낮았으나 통계학적 의의는 없었다[10.0%(4/40) : 8.2%(20/244), p>0.05]. 결론: 비디오흉강경술에서 재발을 낮추기 위해 수술시 폐야 전체를 관찰하여 존재하는 폐기포를 놓치지 않는 것이 중요하며, 폐기포를 확인하지 못한 경우와 이차성 자연기흉에 대해서는 흉막유착술에 더 세심한 주의가 필요하다는 것을 확인하였다. 비디오흉강경수술은 통증이 적고, 입원기간이 짧고, 사회로의 복귀가 빠르며, 고위험군에 적용할 수 있고, 무엇보다도 미용상의 이점이 크다는 면에서 자연기흉에 대해 유용한 치료방법임에는 틀림이 없으나 개흉술에 비해 재발율이 높고 비용이 비싸다는 문제가 제기되고 있는 만큼

  • PDF

상황인식을 이용한 보건기상지수 모니터링 (Health Weather Index Monitoring using Context Awareness)

  • 정호일;최성희;최미진;김효준;한경수;류중경;임기욱;정경용
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2011년도 추계학술발표대회
    • /
    • pp.1031-1034
    • /
    • 2011
  • 헬스케어에서의 상황정보는 사용자와 관련된 정보를 추론하여 질 높은 서비스를 제공하기 위해서 사용자가 필요로 하는 능동적이고 지능적인 서비스를 제공하여야 한다. 본 논문에서는 상황인식을 이용한 보건기상지수 모니터링 방법론을 제안한다. 체온, 기온, 조도, 습도, 자외선에 따른 건강지수를 사용자의 현재 위치에 따라 실시간으로 제공하기 위해서, GPS와 기상청의 RSS로부터 추출한 XML를 활용한다. 보건기상지수는 천식지수, 뇌졸중지수, 피부질환지수, 폐질환지수, 꽃가루농도지수, 도시고온지수의 요소에 따라 분석하여 모니터링한다. 상황정보 수집과 추론 과정을 통해 장치간의 유동성을 보장하는 환경에서 서비스를 지원하기 위한 도메인 상황정보를 구성한다. 이기종 디바이스의 유동성이 보장되는 환경에서 새로운 상황이 존재하면 추가된 상황정보의 서비스를 지원하기 위해서 Naive Bayes 분류자를 이용한다. 상황정보 수집, 상황인식 추론, 상황정보 모델링에 따른 새로운 상황 분류하는 방법론에 대해서 논리적 타당성과 유효성을 검증한다.

퍼지논리와 교통패턴을 이용한 유고검지 모형에 관한 연구 (A Study on Incident Detection Model using Fuzzy Logic and Traffic Pattern)

  • 홍남관;최진우;양영규
    • 한국공간정보시스템학회 논문지
    • /
    • 제9권1호
    • /
    • pp.79-90
    • /
    • 2007
  • 본 논문에서는 램프가 설치되어 있는 도로환경에 맞는 효율적인 유고검지를 위하여 퍼지논리 및 교통패턴을 함께 사용하여 유고검지 모형을 구현하였다. 모형에 사용된 교통 데이터는 서울시 내부 순환도로에 있는 루프 검지기에서 3개월 동안 5분 간격으로 수집된 교통량, 점유율, 속도 데이터이다. 본 논문에서는 단일지점 검지기 도로 환경에 맞게 변수들을 퍼지화 시켰으며 추론방법은 MIN-MAX 중심법을 사용하고 비퍼지화 방법은 무게 중심법을 사용하였다. 그리고 요일 및 링크별로 서로 다른 교통 흐름이 형성됨을 감안하여 교통패턴을 구축하였다. 최종적으로 퍼지논리의 유고확률과 교통패턴의 교통패턴 차이 값을 이용하여 유고를 판단하는 유고확률 임계치를 도출하였다. 본 논문에서 제안한 모형의 우수성을 입증하기 위해 APID 알고리즘과 교통패턴을 이용하지 않은 퍼지논리와 비교 검증 하였다. 검지율 및 오검지율 테스트를 수행한 결과 APID 알고리즘의 경우 제대로 유고를 검지하지 못하였으며 퍼지논리만을 이용한 알고리즘의 경우 상당히 높은 오검지율을 도출하였다. 이에 반해 교통패턴 및 퍼지논리를 이용한 본 모형의 경우 퍼지논리만을 사용한 모형에 비해 유고검지율은 5% 낮아졌으나 반면에 오검지율은 18% 낮아지는 향상된 결과를 나타냄을 알 수 있었다.

  • PDF

최적 자동동조 방법에 의한 하이브리드 퍼지제어기의 설계 (Design of a hybrid fuzzy controller with the optimal auto-tuning method)

  • 오성권;안태천;황형수;박종진;우광방
    • 제어로봇시스템학회논문지
    • /
    • 제1권1호
    • /
    • pp.63-70
    • /
    • 1995
  • 퍼지논리제어기는 산업응용에 광범위하게 연구되고 있으며, 계속적으로 사용되고 있다. 그러나 퍼지집합의 조정을 통해 최적규칙을 구축하기 위하여, 시행착오에 의한 매우 능숙한 기술이 요구된다. 이 논문에서는 첫째로, 퍼지논리제어기와 기존의 PID 제어기로 구성된 하이브리드 퍼지제어기를 제안한다. 즉, 시스템의 제어 입력은 퍼지변수로서, 과도상태에서의 FLC출력과 정상상태에서의 PID 출력의 컨벡스(convex) 결합이다. 둘째로, 간략추론법과 개선된 컴플렉스방법을 이용한 강력한 자동동조알고리즘이 퍼지논리제어기의 성능을 자동적으로 개선하기 위하여 사용된다. 이방법은 오차변화율및 제어출력의 제한조건에 의하여, 언어제어규칙, 퍼지계수(scaling factor), PID계수, 하이브리드 퍼지논리제어기의 하중계수의 최적값을 자동적으로 추정한다. 시뮬레이션은 시간지연 플랜트및 하수처리시스템의 활성오니공정과 같은 비선형 플랜트에서 실행되고, 시스템의 성능은 평가지수 ITAE로 평가된다.

  • PDF

초등 예비교사가 모의수업 시연에서 구성한 과학적 추론의 인식론적 의미 - 증거-설명 연속선의 관점 - (Epistemological Implications of Scientific Reasoning Designed by Preservice Elementary Teachers during Their Simulation Teaching: Evidence-Explanation Continuum Perspective)

  • 맹승호
    • 한국초등과학교육학회지:초등과학교육
    • /
    • 제42권1호
    • /
    • pp.109-126
    • /
    • 2023
  • 이 연구는 초등 예비교사가 모의수업 시연에서 구성한 과학적 추론을 증거-설명의 연속선 관점에서 해석하여 그들의 과학적 추론이 갖는 인식론적 의미를 조사하였다. 연구를 위해 계절 변화에 관한 모의 수업을 시연한 예비교사 2명, 고기압과 저기압 및 바람에 관한 모의수업을 시연한 예비교사 2명이 연구 참여자로 선정되었다. 예비교사의 교수발화 중에서 귀납적, 연역적(가설-연역적) 추론, 또는 귀추적 추론의 사례가 드러난 에피소드에서 각 추론이 증거-설명의 연속선의 단계에서 어떤 역할을 하는지 비교하여 예비교사의 과학적 추론이 가진 인식론적 의미를 분석하였다. 계절 변화의 원인에 관한 모의수업을 시연했던 두 예비교사는 학생들이 수집한 데이터를 비교하여 증거를 인식하였고, 증거와 가설을 비교하여 가설을 검증하는 가설-연역적 추론을 활용하여 설명을 구성하였다. 고기압과 저기압 및 바람의 방향을 주제로 모의수업을 시연했던 두 예비교사는 모둠별 데이터를 종합하여 증거로 인식하는 귀납적 추론과 선형적 논리 구조를 가진 연역적 추론을 설명구성 전략으로 선택하여 최종 설명을 제시하였다. 연구에 참여한 예비교사들은 유사한 주제의 모의수업 시연에서 대체로 비슷한 흐름의 과학적 추론을 활용하여 과학지식을 구성하였으나, 증거-설명의 연속선에서 데이터, 증거, 모델, 설명으로 전개되는 인식론적 의미 측면에서 조금씩 다른 양상을 보였다. 또한, 일부 사례를 제외하면, 공통적으로 증거에서 모델을 탐색하는 과학적 추론은 부족하였으며, 가설이나 설명모델을 추리하기 위한 귀추적 추론이 부재하였다. 이 연구에서 분석틀로 적용했던 증거-설명의 연속선 접근은 과학적 추론의 인식론적 의미를 파악할 수 있게 하며 대안적인 과학적 추론 함양 지도 방법으로 사용될 수 있음을 논의하였다.

온톨로지 Open World 추론과 규칙 Closed World 추론의 통합 (Integration of Ontology Open-World and Rule Closed-World Reasoning)

  • 최정화;박영택
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제37권4호
    • /
    • pp.282-296
    • /
    • 2010
  • OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.