개인학습용 전문가 시스템을 위한 지식 표현

정목동(Mok-Dong Chung),신교선(Koe-Seun Shin) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.2

본 논문에서는 상호주도 전략을 사용하며, 오버레이 모델과 버그 모델을 사용한 학생 모델을 통해서 효과적인 교육과정을 수행하는 UNIX교육을 위한 개인학습용 전문가 시스템을 제안한다. 제안된 시스템은 교육과정 뿐 아니라 교육 계획 수립과정에도 학생가 직접 참여할 수 있도록 하여서, 보다 상호주도적이면서 학습 성취도가 서로 다른 여러 사람들을 적절히 교육하는 것을 목표로 하고 있다. 지식은 프레임과 생성 규칙을 이용하여 표현한다. 현재 이 시스템은 UNIX의 명령어 중에서 12개를 대표적으로 선택하였으며, 이 중 2개의 명령어에 대해서 SPARC STATION의 SCLISP을 이용하여 구현 하고 있다.

지식 기반 자동 프로그래밍 시스템 KAPS의 설계와 구현

정목동(Mok Dong Chung),김영택(Young Taek Kim) 한국정보과학회 1988 정보과학회논문지 Vol.15 No.4

자동 프로그래밍 시스템은 현재 인간이 하고 있는 프로그래밍 행위의 일부를 자동 프로그래밍 시스템이 대신 해주어서 인간에게 보다 편리한 프로그래밍 환경을 제공하는것을 그 목적으로 한다. 본 논문에서 설계하고 구현한 지식기반 자동 프로그래밍 시스템 KAPS는 입력으로 초고급언어에 해당하는 추상 알고리즘과 자료 형을 받아들여서 출력으로 C 프로그램을 생산해낸다. 운용방법은 지식공학기법과 프로그램 변형기법을 사용하며, KAPS 시스템의 제어구조는 프로그램 명세를 입력으로 받아서 지식 베이스로부터 적절한 규칙을 선택해서 이 명세를 변형한 다음 전체 데이타베이스에 넣는다. 이 과정을 최종적인 C 프로그램이 완성될때 까지 반복한다. 구현된 KAPS 시스템은 기존의 자동 프로그래밍 시스템에 비해서 전문 프로그래머 뿐만 아니라 비전문 프로그래머라도 보다 쉽게 프로그램할 수 있다는 장점이 있다. Automatic Programming system helps the programmer make his programming activity easy. and gives him a good programming environment. We design and implement a knowledge - based automatic programming system, KAPS, whose input is very high level language such as abstract algorithm and data type, and whose output is C program. The method of operation is based on knowledge engineering and program transformation technique. The control structure of KAPS accepts the program specification, transforms this specification according to the proper rules in the knowledge base, and stores the transformed program specification into the global database. KAPS repeats these procedures until the completion of the target C program When compared with that of other automatic programming systems, the advantage of KAPS is that nonprofessional programmer as well as professional programmer can program with ease using KAPS.

지식 기반 자동 프로그래밍 시스템의 설계에 관한 연구

정목동(Mok Dong Chung),김영택(Yung Taek Kim) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.1

자동 프로그래밍 (Automatic Programming)은 인공 지능의 한 응용 분야이면서 소프트웨어 공학과 관련이 있는 분야이다. 자동 프로그래밍 시스템은 인간의 프로그래밍 과정의 일부를 도와주는 시스템을 말한다. 본 논문에서는 입력 명세로서 최고급 언어(Vary High Level Language)를 사용 하고, 운용 방법으로 지식 공학(Knowledge Engineering)과 프로그램 변형규칙(Program Transformation)을 반복 적용 하는 지식 기반 자동 프로그래밍 시스템(Knowledge Based Automatic Programming System)의 설계를 다룬다.

선언적 프로그램 명세의 자동 변환

정목동(Mok Dong Chung),김영택(Yung Taek Kim) 한국정보과학회 1990 정보과학회논문지 Vol.17 No.2

기존의 자동 프로그래밍 시스템은 주로 초고급 구조에만 중점을 두었기 때문에 초고급 언어에 익숙하지 못한 프로그래머가 이들 시스템의 명세 언어를 사용하여 프로그램할 때나, 혹은 전문 프로그래머라도 프로그램의 크기가 상대적으로 큰 프로그램을 작성할 경우에는 상당한 어려움을 겪는다. 이와 같은 어려움을 덜어주기 위해서 본 논문에서는 선언적 구문과 절차적 구문으로 구성된 KAPL이라고 부르는 명세 언어를 설계하고, 프로그래밍 지식을 이용하여 고수준의 자료 구조와 제어 구조를 저수준의 자료 구조와 제어 구조로 자동 변형하는 방법을 제시하는데, 특히 KAPL의 구문중 선언적 구문의 자동 변화에 관해서 논한다. 구현된 시스템의 KAPL 명세 언어에 의한 프로그래밍은 초고급 구조에 익숙한 전문 프로그래머 뿐만 아니라, 초고급 구조에 익숙하지 못한, 전문 지식이 부족한 프로그래머라도 프로그램할 수 있다는 특징이 있다. Nonprofessional programmers found it very difficult to program using very high level languages, because the existing automatic programming systems are mainly dependent on very high level constructs. Even professional programmers may find a lot of difficulties when they write a relatively long program in these languages A method is suggested for reducing such difficulties by programming with an automatic programming language, called KAPL, which consists of declarative and procedural constructs. In this paper, we describes an automatic transformation method from higher level data structure and control structure to lower level data structure and control structure using programming knowledge Especially, this paper centers on the transformation from the declarative program spedification. As a result, nonprofessional programmers, unfamiliar with very high level constructs, as well as professional programmers are able to program using KAPL.

상황 인식 보안에 관한 고찰

정목동(Chung, Mokdong) 한국정보보호학회 2006 情報保護學會誌 Vol.16 No.2

본 고에서는 상황 인식(Context-Awareness)의 의미와 관련 기술을 소개하고, 상황 인식에 바탕을 두고 있는 상황 인식 보안(Context-Aware Security) 기술 동향을 살펴본 다음 그 응용 예를 알아본다. 상황 인식에 관한 연구는 국내외적으로 상당한 연구가 진행 되어 왔지만, 상황 인식 기술을 컴퓨터 보안에 응용하는 상황 인식 보안 연구는 최근에야 시작 되었기 때문에 본 고를 준비하는데 어려움이 있었다.

CORBA 를 이용한 멀티에이전트 기반 원격 학습 프레임워크

정목동(Mok Dong Chung) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.11

The most of intrusion detection methods do not detect intrusion on real-time because it takes a long time to analyze an auditing data for intrusions. To solve the problem, we are studying a real-time intrusion detection. Therefore, this paper proposes an agent model using multi warning level for real-time intrusion detection. It applies to distributed environment using an extensibility and communication mechanism among agents, supports a portability, an extensibility and a confidentiality of IDS.

RFID 기술의 물류 IT 응용

정목동(Mokdong Chung) 한국정보과학회 영남지부 2005 한국정보과학회 영남지부 학술발표논문집 Vol.13 No.1

다중변수 기반 에이전트 중재 전자상거래 협상모델 및 프레임워크 설계

정목동(Mokdong Chung) 한국정보과학회 2001 정보과학회논문지 : 소프트웨어 및 응용 Vol.28 No.11

오늘날의 1세대 구매 에이전트는 상품의 전체 특징 변수(attribute)에 대해서보다는 주로 판매자들이 제시한 가격만 비교해서 구매행위를 대행해 주고 있으며, 간혹 가격 이외의 변수에 대한 비교를 해주는 에이전트의 경우에도 협상(negotiation) 과정에서 전체 변수를 적절하게 고려해주는 협상 모델은 찾아보기 힘들다. 따라서 전자 상거래의 협상 모델(negotiation model)을 가격 변수뿐만 아니라 상품의 전체 변수로 확장 시켜 주는 것이 절실히 요구되고 있다. 본 논문에서는 유틸리티(utility) 이론과 간결한 휴리스틱스(simple heuristics)에 바탕을 두어서 가격, 상품의 특성, 보장 기간, 서비스 정책 등에 대해서 협상을 벌이는 에이전트 중재에 의한 전자 상거래 협상 모델을 제시하고, 이를 구현하는 프레임워크 Pmart원시 시스템에 관해서 논한다. Pmart는 객체 지향 기술에 바탕을 둔 소프트웨어 재사용과 확장성을 제공하고 있으며, 네트워크 투명성과 플랫폼 독립성을 위하여 Java와 CORBA를 이용하여 구현하고 있다. Today's first generation shopping agent is limited to comparing merchant offerings usually on price instead of their full range of attributes. Even in the full range comparison, there is not a good model which considers the overall features in the negotiation process. Therefore, the negotiation model needs to be extended to include negotiations over the more attributes. In this paper, we propose a negotiation model in the agent-mediated electronic commerce to negotiate over prices, product features, warranties, and service policies based on utility theory and simple heuristics. We will describe a prototype agent-mediated electronic commerce framework called Pmart. This framework provides the software reuse and the extensibility based on the object-oriented technology. It is implemented on Windows-based platforms using Java and CORBA for the network transparency and platform independence.

에이전트 중재에 의한 전자상거래 협상모델 및 프레임워크 Pmark

정목동(Mokdong Chung) 한국정보과학회 영남지부 2000 한국정보과학회 영남지부 학술발표논문집 Vol.8 No.1

Fuzzy Logic-based Context-Aware Access Control Model for the Cloud Computing Environment

징스다,정목동,Jing, Si Da,Chung, Mok-Dong The Institute of Electronics and Information Engin 2011 電子工學會論文誌-CI (Computer and Information) Vol.41 No.2

무선 환경에서의 인증 모델은 많은 보안 위험을 내포하고 있다. 그러나 이 분야에 일반적으로 사용되는 표준 기술이 존재하는 것이 아니어서 본 논문에서는 무선 인증 환경에서 보다 강화된 보안을 제시할 수 있는 퍼지 논리 기반의 인증 모델을 제시한다. 제안하는 모델을 위해서 퍼지 논리 기반의 분류 방법을 사용하고 적절한 판단을 위해서 개선된AHP 알고리즘과 사례 기반의 추론 방법을 추가적으로 사용한다. 개선된AHP 알고리즘을 사용해서 다양한 상황정보를 수치화하고, 제안된 인증 모델을 사용해서 입력 데이터에 대한 보안 등급을 계산한 다음, 다양한 환경의 상황정보를 가진 무선환경에 제안된 인증 모델을 안정적으로 사용할 수 있을 것이다. 향후에는 상황인식 연구를 클라우드 컴퓨팅 분야를 포함한 다양한 분야로 제안 모델을 확대하면 더욱 안전한 보안 환경을 기대할 수 있을 것이다. Authentication model in the wireless environment has many security vulnerabilities. However, there is no adapting standard method in this field. Therefore, we propose a fuzzy logic based authentication model to enhance the security level in the authentication environment. We use fuzzy logic based classification to construct our model, and also additionally utilize improved AHP and case-based reasoning for an appropriate decision making. We compute the context information by using the improved AHP method, use the proposed model to compute the security level for the input data, and securely apply the proposed model to the wireless environment which has diverse context information. We look forward to better security model including cloud computing by extending the proposed method in the future.