• 제목/요약/키워드: rule rewriting

검색결과 11건 처리시간 0.019초

이공계 대학생을 위한 Mathematica 기반의 화이트박스 이러닝 콘텐츠 설계 및 개발 (Design and Development of White-box e-Learning Contents for Science-Engineering Majors using Mathematica)

  • 전영국
    • 한국학교수학회논문집
    • /
    • 제18권2호
    • /
    • pp.223-240
    • /
    • 2015
  • 본 논문의 목적은 미적분에 관한 보충학습을 요하는 이공계 대학생들을 위하여 공업수학의 벡터미적분 교육을 중심으로 개념적 이해와 계산 과정의 단계별 풀이를 보여주는 웹 기반 이러닝 콘텐츠를 설계 및 개발하는 것이다. 이를 위하여 먼저 수학교육용 소프트웨어에 관한 고찰을 하였으며 학교 수학에서 등장하는 문제해결의 과정을 규칙 재작성으로 처리함으로써 화이트박스 형태의 콘텐츠 제작에 관한 이론적 토대를 살펴보았다. 구체적으로 Mathematica의 패턴 매칭을 이용하여 미분과 적분 연산자를 구현하였고, 이를 벡터미적분에서 등장하는 매개변수화된 곡선에 대한 길이 구하기 문제에 적용함으로써 콘텐츠 개발의 예를 제시하였다. 튜토리얼 형태로 개발된 이러닝 콘텐츠는 단계별 풀이 과정이 나오는 실습하기 콘텐츠와 퀴즈 문제를 통하여 학습자의 과정을 진단해 주는 형성평가 모듈로 구성되었다. 끝으로 개발된 이러닝 콘텐츠의 특징과 이공계 대학생들의 수학에 관한 기초학력을 증진하는데 활용될 수 있는 장점을 살펴보았으며 향후 연구 방향을 제시하였다.

DNA Coding 및 L-system에 기반한 진화신경회로망 (Evolutionary Neural Networks based on DNA coding and L-system)

  • 이기열;전호병;이동욱;심귀보
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2000년도 추계학술대회 학술발표 논문집
    • /
    • pp.107-110
    • /
    • 2000
  • In this paper, we propose a method of constructing neural networks using bio-inspired emergent and evolutionary concepts. This method is algorithm that is based on the characteristics of the biological DNA and growth of plants. Here is, we propose a constructing method to make a DNA coding method for production rule of L-system. L-system is based on so-called the parallel rewriting mechanism. The DNA coding method has no limitation in expressing the production rule of L-system. Evolutionary algorithms motivated by Darwinian natural selection are population based searching methods and the high performance of which is highly dependent on the representation of solution space. In order to verify the effectiveness of our scheme, we apply it to one step ahead prediction of Mackey-Glass time series.

  • PDF

시계열 예측을 위한 DNA 코딩 방법 (DNA Coding Method for Time Series Prediction)

  • 이기열;선상준;이동욱;심귀보
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 2000년도 제15차 학술회의논문집
    • /
    • pp.280-280
    • /
    • 2000
  • In this paper, we propose a method of constructing equation using bio-inspired emergent and evolutionary concepts. This method is algorithm that is based on the characteristics of the biological DNA and growth of plants. Here is. we propose a constructing method to make a DNA coding method for production rule of L-system. L-system is based on so-called the parallel rewriting mechanism. The DNA coding method has no limitation in expressing the production rule of L-system. Evolutionary algorithms motivated by Darwinian natural selection are population based searching methods and the high performance of which is highly dependent on the representation of solution space. In order to verify the effectiveness of our scheme, we apply it to one step ahead prediction of Mackey-Glass time series.

  • PDF

시계열 예측을 위한 DNA코딩 기반의 신경망 진화 (Evolutionary Neural Network based on DNA Coding Method for Time Series Prediction)

  • 이기열;이동욱;심귀보
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2000년도 춘계학술대회 학술발표 논문집
    • /
    • pp.224-227
    • /
    • 2000
  • In this Paper, we prepose a method of constructing neural networks using bio-inspired emergent and evolutionary concepts. This method is algorithm that is based on the characteristics of the biological DNA and growth of plants. Here is, we propose a constructing method to make a DNA coding method for production rule of L-system. L-system is based on so-called the parallel rewriting mechanism. The DNA coding method has no limitation in expressing the production rule of L-system. Evolutionary algorithms motivated by Darwinian natural selection are population based searching methods and the high performance of which is highly dependent on the representation of solution space. In order to verify the effectiveness of our scheme, we apply it to one step ahead prediction of Mackey-Glass time series, Sun spot data and KOSPI data.

  • PDF

신경망 규칙 추출에서 규칙 결합의 bottom-up 접근 방법 (Bottom-up Approach of Rule Rewriting in Neural Network Rule Extraction)

  • 이은헌;김현철
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2018년도 추계학술발표대회
    • /
    • pp.916-919
    • /
    • 2018
  • 심층신경망 모델은 우수한 성능을 갖고 있음에도 불구하고 모델이 어떤 판단 과정을 통해 결론을 내렸는지 파악하기 어렵다. 그에 따라 판단에 대한 근거가 중요한 분야에서는 심층신경망 모델을 적용한 실제 사례를 찾기 어렵다. 인공신경망 모델을 해석하기 어렵다는 문제를 해결하기 위해 내부 구조를 이용하여 규칙을 추출하는 decompositional 접근법이 제안되었으나 기존의 연구는 대부분 은닉층이 1개인 다층 퍼셉트론 모델에서 규칙을 생성하는 것을 가정하고 있다. 오늘날 사용하는 심층신경망 모델은 일반적으로 여러 은닉층을 가지고 있기 때문에 기존의 접근법을 그대로 적용할 경우 규칙 불확실성에 따라 잘못된 규칙을 추출하는 문제가 발생한다. 본 논문은 decompositional 접근법에 존재하는 규칙 불확실성 문제를 완화하고 깊이가 깊은 심층신경망 모델에 규칙을 추출하는 방법을 제안한다. 제안한 접근법은 실제 활성화 값을 통해 지식을 추출하며, 이를 통해 규칙 불확실성 문제를 완화할 수 있었다.

자동 구축된 구문패턴사전과 규칙을 이용한 구묶음 (Chunking Using Automatic Constructed Syntactic Pattern Dictionary and Rule)

  • 임지희;최호섭;이정철;옥철영
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 2004년도 제16회 한글.언어.인지 한술대회
    • /
    • pp.35-39
    • /
    • 2004
  • 본 논문은 실용적인 구문분석기의 전단계로서, 자동 구축된 구문패턴사전과 규칙을 이용하여 구묶음하는 방법을 제안한다. 우선 규칙은 구문분석 말뭉치(30,875어절)를 대상으로 자동 추출된 고빈도의 규칙(Rewriting Rule)을 본 논문에 맞게 수동으로 구축하였다. 규칙은 조건부, 행위부로 이루어진 이진 규칙(binary rule)의 형태를 이루며, 명사구(NP), 수식어구(AP, DP), 인용구(X), 용언구(VP, VC)을 대상으로 15개를 구축하였다. 그리고 구문패턴은 중심어와 중심어 선행 요소의 특성뿐만 아니라 중심어 후행 요소도 고려하여 형식화시킨 것으로, 중심어의 복합용언 여부에 따라 일반용언패턴과 본+보조용언패턴으로 구분한다. 부분적인 언어 현상의 처리보다는 실세계에서 사용되는 수많은 문장들에 내재되어 있는 매우 광범위한 언어 현상의 처리를 하기 위해, 구문패턴은 형태소주석 말뭉치(460만 어절)을 대상으로 자동 구축하였다. 구축된 구문패턴사전과 규칙을 이용하여 구묶음을 수행한 결과 정확율 83.09%가 나타났다.

  • PDF

시계열 예측을 위한 DNA코딩 기반의 신경망 진화 (Evolutionary Neural Network based on DNA coding method for Time series prediction)

  • 이기열;이동욱;심귀보
    • 한국지능시스템학회논문지
    • /
    • 제10권4호
    • /
    • pp.315-323
    • /
    • 2000
  • 본 논문에서는 생명창발과 진화에 기반한 신경망 구성방법을 제안한다. 이 방법은 생뭉의 DNA 구조의 특성과 식물의 생장에 기반을 둔 방법이다. 본 논문에서 제안한 방법은 DNA 코딩 방법과 L-system의 생장 구칙을 이용하여 신경망을 구성하는 방법이닫. L-system은 병렬적인 제조합 규칙을 이용하여, DNA 코딩 방법은 표현의 제약이 없는 표기법이다. 또한 진화 알고리듬은 다윈의 자연도태를 모방한 탐색법으로 다양한 해공간의 표현과 높은 효율로 탐색이 가능하다. 본 논문에서는 이러한 방법들을 이용햐 신경망을 구성하고, 신경망의 Mackey-Glass, Sunspot, KOSPI 같은 시계열 예측분제에 적용하여 유효성을 입증하고자 한다.

  • PDF

자연어검색시스템을 위한 스태밍알고리즘의 설계 및 구현 (A stemming algorithm for a korean language free-text retrieval system)

  • 이효숙
    • 정보관리학회지
    • /
    • 제14권2호
    • /
    • pp.213-234
    • /
    • 1997
  • 본 연구에서는 자연어 검색시스템을 위한 스태밍알고리즘을 설계하고 이를 구현하였다. 알고리즘은 순환적으로 다음과 같은 세가지 과정으로 진행된다. : 불용어사전에 의한 불용어의 제거; 규칙 테이블1의 적용에 따른 기본 어미의 처리; 전단계에서 처리되고 남은 어절에 대해 규칙테이블 2를 적용하여 확장스태밍 및 다시쓰기루틴으로 진행된다. 알고리즘의 성능 평가를 위한 한글문헌집단을 사용하여 테스트한 결과 압축률 21.4%, 오류율 15.9%의 결과를 나타내었다.

  • PDF

공개 집합 제한 논리 언어의 구현 방법 (An Implementation of Open Set Constraint Logic Language)

  • 신동하;손성훈
    • 정보처리학회논문지A
    • /
    • 제12A권5호
    • /
    • pp.385-390
    • /
    • 2005
  • `집합 제한 논리 언어`는 `집합 이론`을 프로그래밍에 도입한 언어이다. 본 논문은 A. Dovier 연구팀이 제안한 집합 제한 문제 풀이(solver) 절차를 소개하고, 이 절차가 논리 언어 Prolog 상에서 어떻게 구현 가능한 지를 보인다. 이 절차는 `다시쓰기 규칙(rewrite rule)`으로 표현되어 있는데 이 표현의 특징은 일반 프로그래밍 언어가 표현하기 힘든 비결정적 규칙 적용(nondeterministic rule application)과 수학적 변수 (mathematical variable)를 사용한다는 점이다. 본 연구에서는 이들 특징이 Prolog 언어에서 제공되는 비결정적 제어 (nondeterministic control), 논리적 변수(logical variable) 및 리스트(list) 자료구조의 사용으로 쉽게 구현 가능함을 보인다. 본 연구의 구현은 다음과 같은 의의를 가지고 있다. 첫째 본연구는 이 언어의 모든 기능을 완전하게 구현하였다는 점이다. 둘째 본 연구에서는 이 언어의 구현 방법을 누구나 알기 쉽게 기술하였다는 점이다. 셋째 기존의 구현이 상업적 Prolog인 SICStus Prolog를 사용하여 구현한 것과는 달리 본 구현은GNU GPL(General Public License)을 가지는CIAO Prolog를 사용하여 구현하였기 때문에 누구나 자유롭게 사용할 수 있는 점이다. 넷째 본 연구에서 개발된 소스 코드는 공개 소프트웨어이기 때문에 누구나 자유롭게 사용, 수정 및 배포할 수 있다는 점이다.

L-system 모델을 이용한 대공간 구조물의 형태생성 방안 (Shape Creation of Spatial Structures using L-system Model)

  • 김호수;박영신;이민호;한철희
    • 한국공간구조학회논문집
    • /
    • 제11권3호
    • /
    • pp.125-135
    • /
    • 2011
  • 본 연구에서는 morphogenesis 기법의 L-system 모델을 사용하여 대공간 구조물의 형태 생성 방안을 제공하고자 한다. 이와 같은 L-system 모델은 일반적으로 식물의 성장 과정을 시각화하기 위해 적용되어 왔으나 본 연구는 이를 건축 분야에 적용하기 위한 프로세스가 제안된다. L-system 모텔은 크게 문자열 생성 단계와 문자열 분석 단계로 구성되어 있다. 문자열 생성 단계에서는 초기문자열로부터 최종 문자열을 생생하며, 문자열을 생성하기 위해서는 alphabet, axiom 및 rule에 대한 정의가 필요하다. 또한 문자열 해석 단계에서는 문자열의 의미 부여에 따라 다양하게 해석될 수 있다. 특히 다양한 적용 예제를 통해 대공간 구조물의 형태 생성 모델을 구현한다.