http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
경험적 분류 모형에 기초한 전문가 시스템 개발 도구의 설계
전영표(Y.P.Jun),김영훈(Y.H.Kim),한상기(S.Han),맹승렬(S.R.Maeng),김성수(S.S.Kim),황시영(S.Y.Hwang) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.1
경험적 분류(Heuristic Classification) 모형은 진단 분야에서처럼 미리 나열된 해의 영역에서 특정한 얻는 분류 문제(Classification Problem)를 처리하는 방법론의 하나로 매우 유용하고 효과적인 기법이다. 경험적 분류 모형에서는 주어진 자료로부터 해를 찾아내는 방법을 지식 수준에서 분석하여 자료 추상화(Data Abstraction), 경험적 연상(Heuristic Association), 그리고 정제(Refinement)의 세 단계로 구분하고 있다. 본 논문에서는 이들 세개의 단계들에 대해서 자료 추상화는 틀(Frame) 구조로, 경험적 연상은 전문가의 경험적 지식을 포함하는 규칙(Heuristic Rule) 표현, 그리고 정제 단계는 가설 구조(Hypothesis Structure)로 표현하고 이들을 상위 수준에서 전략적 또는 추상적 제어 지식(Abstract or Strategic Control Knowledge)을 이용하여 전문가의 문제 해결 절차를 모형화 할 수 있는 전문가 시스템 개발 도구를 설계하였다.
PrologTool : Sun 워크스테이션에서의 Prolog 프로그래밍 환경 개발에 관한 연구
전영표(Y. P Jun),김영훈(Y H. Kim),신동욱(D W. Shin),한상기(S. K Han),맹승렬(S. R. Maeng),조정완(J. W. Cho) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.1
PrologTool은 Sun 워크스테이션에서 Prolog 프로그램을 개발하기 위한 도구로서, 기본적으로 윈도우와 마우스에 의한 사용자 인터페이스를 제공해 준다. 본 시스템에서는 Prolog 인터프리터 상에서 프로그램을 개발할 때 자주 발생하는 외부 화일과의 인터페이스를 편리하게 하였고, 중간 단계에 문서 편집기를 마련하여 시스템 내에서 프로그램 화일의 수정을 가능하게 하였다. 특히 마우스에 의한 버튼과 메뉴 시스템은 사용자가 일일히 키-보드를 사용해야 하는 불편을 줄여서 간단한 명령이나 조작을 편리하게 하였다. PrologTool은 호스트 컴퓨터의 화일 구조를 시스템 사용자에게 보여주며 필요에 따라 작업 디렉토리를 변경하거나 특정 화일을 시스템에서 제공하는 문서 편집기로 읽어들이거나 또는 Prolog 인터프리터에 적재할 수 있도록 하였다. 본 논문에서는 PrologTool의 개발과 Prolog 프로그래밍 환경에 대한 설명, 그리고 앞으로의 방향에 대한 제시를 하였다.
확장된 믿음의 추론 모형 및 믿음과 지식의 증명 방법에 대한 연구
김영훈(Y. H. Kim),전영표(Y. P. Jun),한상기(S Han),조정완(J. W. Cho) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.2
Konolige의 믿음의 추론 모형은 기존이 모형이 갖는 단점들을 해결하였으나 상수들간의 같음 관계에서 발생하는 같음 이상이 발생한다. 또한 단지 믿음에 대해서만 증명 방법을 제시하고 있는데 본 논문에서는 믿음의 추론 모형에 같음 관계를 첨가하여 확장하였으며 이를 지식을 포함하는 시스템으로 발전시켰다. 또한 지식과 믿음에 대한 추론 기법을 믿음에서부터 지식에 대한 자기 성찰에까지 통일된 형식으로 일반화하고 이의 정당성과 완전성을 증명하였다.
혼성 지식 표현 시스템에서의 진리 유지 방식에 관한 연구
김영훈(Y.H. Kim),전영표(Y.P Jun),한상기(S.K. Han),맹승렬(S.R. Maeng),조정완(J.W. Cho) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.1
혼성 지식 표현 시스템 Sphinx의 진리 유지 방식은 기존의 TMS 형식의 진리 유지 시스템과는 달리 Sphinx내에 합일된 형태를 하고 있다. 개념 합일을 통해 지식들을 항상 가장 농축된 형태로 유지, 관리함으로써 기존의 TMS 형식의 진리 유지 시스템보다 훨씬 더 기억 공간을 절약할 수 있으며, 따라서 시스템 전체의 성능과 효율이 증가되었다. 또한 일차 논리상의 wff에 대한 설명 기능을 가짐으로써 성능을 향상시켰고, NAF 규칙에 의한 비 단조적 추론을 가능하게 함으로써 부정 지식의 처리 및 모순의 문제를 단순화하였다.
김병만(B M Kim),김영훈(Y H Kim),전영표(Y. P Jun),김승범(S B Kim),한상기(S K Han),조정완(J W Cho) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.1
본 논문에서는 많은 병렬성을 추구하면서 프로세스 사이의 의사소통 (communication)을 줄이기 위해 OR 병렬성과 DCDP 병렬성을 동시에 추구하는 병렬 정리 증명 방법을 제시하였다. 본 병렬 정리 증명 방법에서는 여러 개의 리터럴들을 선택하고, 이 각자의 리터럴에 연결된 연결선들을 동시에 resolve하게 된다. 이때 최적의 리터럴들을 선택하는 문제가 NP 문제이기 때문에 최적의 리터럴들을 선택하는 대신에 준최적의 (suboptimal) 리터럴들을 효율적으로 찾는 방법을 제시하였다. 그리고 OR 관계에 있는 연결선들을 동시에 resolve할 경우에 발생하는 논리적 불일치에 대한 해결책과 연결선을 resolve하는 프로세스 사이의 의사 소통을 줄이는 방법을 제시하였다.