• 인지과학
• /
• 제10권4호
• /
• pp.71-83
• /
• 1999

기존의 기호주의 적 추론 시스템은 경직성 문제로 인하여 유연성을 결여하고 있다. 이는 기호주의 적 지식표현 체계가 지식의 유연한 의미구조를 충분히 반영하고 있지 못할 뿐 아니라 추론 방법도 논리를 바탕으로 하기 때문이다. 이러한 문제를 해결하기 위하여, 우리는 최근 인공 신경 망에 기반 한 유연한 지식표현과 추론을 위한 연결주의 적 의미 망(CSN)을 제안한 바 있다. CSN은 인간의 유사성과 연관성에 기반 하여 근사 추론과 상식추론을 수행할 수 있다. 그러나 CSN 모델에서는 상위개념간의 관계를 표현하는 데 있어서 단순한 전향 신경 망을 이용함으로써 상위개념간의 일반적이고 구조화된 관계를 표현하거나 변수의 표현 및 바인딩의 어려움과 같은 문제점이 있었다. CSN모델의 이런 문제점을 해결하기 위해 본 논문에서는 상위개념간의 일반적이고 구조화된 지식표현을 가능하게 하고 추론이 용이한 기호주의 표현 체계와 이 표현 체계 안에서 의미구조를 표현하고 학습할 수 있는 연결주의 학습 모델인 CSN을 결합한 기호-연결주의 통합 시스템 SymCSN(Symbolic CSN)을 제안하고, 실험을 통하여 제안한 시스템이 인간과 유사한 유연한 지식표현과 추론을 위한 모델임을 보인다.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제8권1호
• /
• pp.1-18
• /
• 2004

Current interest in mathematics learning that focuses on understanding, mathematical reasoning and meaning making underscores the need to develop ways of analyzing classrooms that foster these types of learning. In this paper, the author show that the constructs of social and socio-mathematical norms, which grew out of taking a symbolic interactionist perspective, and Toulmins scheme for argumentation, as elaborated for mathematics education by Krummheuer [The ethnology of argumentation. In: The emergence of mathematical meaning: Interaction in classroom cultures (1995, pp. 229-269). Hillsdale, NJ: Erlbaum], provide us with means to analyze aspects of explanation, justification and argumentation in mathematics classrooms, including means through which they can be fostered. Examples from a variety of classrooms are used to clarify how these notions can inform instruction at all levels, from the elementary grades through university-level mathematics.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1993년도 Fifth International Fuzzy Systems Association World Congress 93
• /
• pp.887-890
• /
• 1993

By introducing the notion of constraint-oriented fuzzy inference, we will show that it provides us ways of fuzzy control methods that has abilities of adaptation, learning and self-organization. The basic supporting techniques behind these abilities are“hard”processing by Artificial Intelligence or traditional computational framework and“soft”processing by Neural Network or Genetic Algorithm techniques. The reason that these techniques can be incorporated to fuzzy control systems is that the notion of“constraint”itself has two fundamental properties, that is, the“modularity”property due to its declarativeness and the“logicality”property due to its two-valuedness. From the former property, the modularity property, decomposing and integrating constraints can be done easily and efficiently, which enables us to carry out the above“soft”processing. From the latter property, the logicality property, Qualitative Reasoning and Instance Generalization by Symbolic Reasoning an be carried out, thus enabling the“hard”processing.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제18권1호
• /
• pp.1-18
• /
• 2004

Current interest in mathematics learning that focuses on understanding, mathematical reasoning and meaning making underscores the need to develop ways of analyzing classrooms that foster these types of learning. In this paper, I show that the constructs of social and sociomathematical norms, which grew out of taking a symbolic interactionist perspective, and Toulmins scheme for argumentation as elaborated for mathematics education by Krummheuer, provide us with means to analyze aspects of explanation justification and argumentation in mathematics classrooms, including means through which they can be fostered. Examples from a variety of classrooms are used to clarify how these notions can inform instruction at all levels, from the elementary grades through university-level mathematics.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제43권1호
• /
• pp.97-107
• /
• 2004

Current interest in mathematics learning that focuses on understanding, mathematical reasoning and meaning making underscores the need to develop ways of analyzing classrooms that foster these types of learning. In this paper, I show that the constructs of social and sociomathematical norms, which grew out of taking a symbolic interactionist perspective, and Toulmin's scheme for argumentation, as elaborated for mathematics education by Kummheuer, provide us with means to analyze aspects of explanation, justification and argumentation in mathematics classrooms, including means through which they can be fostered. Examples from a variety of classrooms are used to clarify how these notions can inform instruction at all levels, from the elementary grades through university-level mathematics.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1994년도 추계학술발표회 및 정기총회
• /
• pp.12-12
• /
• 1994

Simulation output knowledge analysis is one of problem-solving and/or knowledge adquistion process by investgating the system behavior under study through simulation . This paper describes an approach to simulation outputknowldege analysis using fuzzy neural network model. A fuzzy neral network model is designed with fuzzy setsand membership functions for variables of simulation model. The relationship between input parameters and output performances of simulation model is captured as system behavior knowlege in a fuzzy neural networkmodel by training examples form simulation exepreiments. Backpropagation learning algorithms is used to encode the knowledge. The knowledge is utilized to solve problem through simulation such as system performance prodiction and goal-directed analysis. For explicit knowledge acquisition, production rules are extracted from the implicit neural network knowledge. These rules may assit in explaining the simulation results and providing knowledge base for an expert system. This approach thus enablesboth symbolic and numeric reasoning to solve problem througth simulation . We applied this approach to the design problem of broadband communication network.

• 정보과학회 논문지
• /
• 제45권1호
• /
• pp.22-29
• /
• 2018

지난 수십 년 동안 인공 신경망은 음성 인식에서 이미지 분류에 이르기까지 수많은 분야에서 성공적으로 사용되었다. 그러나 인공 신경망은 특정 결론이 어떻게 도출되었는지 알 필요가 있음에도 불구하고 이러한 결과를 설명할 수 있는 능력이 부족하다. 대부분의 연구는 신경망에서 이진 규칙을 추출하는데 초점을 맞추고 있지만, 기계 학습 응용 프로그램에 사용되는 데이터는 연속된 값이 포함되어 있기 때문에 실용적이지 않은 경우가 있다. 이러한 격차를 줄이기 위해 본 논문에서는 연속된 값이 포함된 데이터로부터 학습된 신경망에서 논리 규칙을 추출하는 알고리즘을 제안한다. 초평면 기반 선형 분류기를 사용하여 입력 및 은닉 층 사이에서 학습된 가중치로부터 규칙을 추출하고, 비선형 분류 규칙을 생성하기 위해 은닉 층과 출력 층에서 학습된 이진 규칙과 분류기를 결합한다. 비선형 연속값으로 구성된 여러 데이터셋을 대상으로 진행한 실험에서 제안하는 방법이 논리적 규칙을 정확하게 추출할 수 있음을 보였다.

• 대한수학교육학회지:수학교육학연구
• /
• 제17권4호
• /
• pp.453-475
• /
• 2007

오늘날 문자의 도입과 함께 시작되는 학교대수는 초등수학에서 중등수학으로의 이행에서 가장 큰 장애요인이 되고 있다. 이는 산술과 차별화된 대수의 본질에 기인하는 것으로, 문자와 식, 방정식에서의 구문론적 측면을 강조하는 것만으로 해결 될 수 없다. 이에 최근 학교대수와 관련된 연구에서는 대수적 사고에 대한 논의가 집중적으로 다루어지고 있다. 본 연구는 대수적 사고 요소를 분석하여 산술에서 대수로의 이행과 초기 대수지도과정을 개선하기 위한 방안을 탐색해본 것이다. 먼저 역사-발생적, 인식론적, 기호-언어학적 관점으로부터 학교대수에서 요구되는 대수적 사고를 분석하고, 이로부터 형식 불역의 원리를 비롯하여 변수 개념과 양적인 추론, 대수적인 해석-식 세우기, 변환추론-식의 변형, 연산감각-식의 조작 등을 핵심적인 대수적 사고 요소로 확인한다. 그리고 초등학교와 중학교 수학 교과서를 분석하고 학생들을 대상으로 한 대수적 사고 능력 검사와 면담을 실시하고, 이를 토대로 학교수학에 포함된 대수적 사고 요소를 살펴본다. 또한 초등학교 수학에서부터 대수적 사고 요소를 강조함으로써 대수 입문기에 해당하는 중학교 이후의 대수 학습에 대한 준비와 더불어 대수적 사고 요소에 초점을 맞춘 산술에서 대수로의 이행을 이끌어내기 위한 지도 방안을 탐색해본다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제24권3호
• /
• pp.611-626
• /
• 2010

본 연구는 일차항수의 합성 성질에 관한 수학적 지식의 발견을 CAS 그래핑 계산기를 도구로 활용하여 조명하였다. 이를 위하여 먼저 CAS 그래핑 계산기와 같은 공학이 도구로 생성되는 의미와 과정을 살펴보았고, 실험수학의 견지에서 CAS를 활용한 관찰, 추측, 추론과 증명 등의 개념 기반형 수학적 활동에 기초한 수학적 지식 발견의 탐구 활동을 구상하였으며, 이 활동의 실제적 적용으로 일차함수의 반복 합성에 의해 얻어진 함수족들의 성질을 분석하였다. 이를 통하여 CAS 그래핑 계산기가 가지는 도구의 기능적 능력인 그래프 그리기, 표의 생성이나 기호 조작은 지필로는 힘든 반복 합성한 함수족의 탐구를 유의미하도록 함을 알 수 있었고, CAS가 수학적 활동에 매개되어 학교수학의 새로운 교수-학습 변화에 대한 주요한 역할을 담당할 수 있음을 확인할 수 있었다.

• 한국산학기술학회논문지
• /
• 제18권11호
• /
• pp.94-103
• /
• 2017

자동으로 해킹을 수행하는 도구 및 기법의 발전으로 인해 최근 신규 보안 취약점들이 증가하고 있다. 대표적인 취약점 DB인 CVE를 기준으로 2010년부터 2015년까지 신규 취약점이 약 8만건이 등록되었고, 최근에도 점차 증가하는 추세이다. 그러나 이에 대응하는 방법은 많은 시간이 소요되는 전문가의 수동 분석에 의존하고 있다. 수동 분석의 경우 취약점을 발견하고, 패치를 생성하기까지 약 9개월의 시간이 소요된다. 제로데이와 같은 빠른 대응이 필요한 취약점에 대한 위험성이 더 부각되는 이유이다. 이와 같은 문제로 인해 최근 자동화된 SW보안 취약점 탐색 및 대응 기술에 대한 관심이 증가하고 있다. 2016년에는 바이너리를 대상으로 사람의 개입을 최소화하여 자동화된 취약점 분석 및 패치를 수행하는 최초의 대회인 CGC가 개최 되었다. 이 외에도 세계적으로 Darktrace, Cylance 등의 프로젝트를 통해 인공지능과 머신러닝을 활용하여 자동화된 대응 기술들을 발표하고 있다. 그러나 이러한 흐름과는 달리 국내에서는 자동화에 대한 기술 연구가 미비한 상황이다. 이에 본 논문에서는 자동화된 SW 보안 취약점 탐색 및 대응 기술을 개발하기 위한 선행 연구로서 취약점 탐색과 대응 기술에 대한 선행 연구 및 관련 도구들을 분석하고, 각 기술들을 비교하여 자동화에 용이한 기술 선정과 자동화를 위해 보완해야 할 요소를 제안한다.