• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.279-282
• /
• 2011

최근 기업들이 SOA, 웹 서비스, 유틸리티 컴퓨팅, 클라우드 컴퓨팅 등과 같은 서비스 지향적인 컴퓨팅 환경에 관심을 가지면서 SLA(Service Level Agreement) 기반의 자동화된 계약관리의 수요가 증가하고 있다. 일반적으로 기업에서는 종이에 자연언어로 표현된 SLA를 사용하고 있다. 이를 SLM(Service Level Management) 시스템에서 이해하고 계약조항을 직접 실행시키는 한 방법으로서 본 논문에서는 ASLA(Active SLA) 도입을 제안하였다. ASLA에서는 계약조항이 내용이 Prolog로 표현 된다.사람이 계약조항을 분석하여 Prolog로 표현할 때는 사람에 따라 변환 결과가 달라질 수 있을 뿐만 아니라 작업시간이 많이 소요된다는 단점이 있다. 본 논문에서는 제한된 자연어로 작성된 SLA를 APE(Attempto Parsing Engine)를 사용하여 ASLA를 얻는 방법을 제안한다. 그 방법의 핵심은 SLA ${\rightarrow}$ [APE Parser] ${\rightarrow}$ DRS(Discource Representation Structure) ${\rightarrow}$[drs2prolog] ${\rightarrow}$ Prolog 프로그램 ${\rightarrow}$ [prolog2xml] ${\rightarrow}$ ASLA로 요약할 수 있다.

• 한국정보통신학회논문지
• /
• 제6권5호
• /
• pp.755-761
• /
• 2002

인터넷이 등장하기 전에는 대부분의 응용 프로그램이 표준입출력 장치로 호스트 컴퓨터에 연결된 단말기를 사용하며 수행되었다. 오늘날은 인터넷의 사용이 보편화되었고 많은 서비스가 인터넷에 연결된 웹 브라우저 상에서 제공된다. 단말기를 통한 표준입출력 방식과 웹 브라우저를 통한 통신 입출력 방식은 기술적으로 다르기 때문에 과거에 작성된 단말기용 응용 프로그램을 쉽게 인터넷을 통하여 웹 브라우저 상에서는 수행시킬 수는 없다. 본 논문은 표준입출력 방식으로 작성된 프로그램의 소스를 수정하지 않고 다시 컴파일만 하여 인터넷에 연결된 웹 브라우저 상에서도 서비스할 수 있게 해주는 웹 입출력 (WEBIO) 라이브러리의 개발에 대하여 기술한다. 현재 C 및 Prolog 언어 용 웹 입출력 라이브러리가 개발되어 시험 중이다.

• 대한전기학회논문지
• /
• 제35권3호
• /
• pp.87-94
• /
• 1986

This paper introduce a new test generation method based on built-in data base which is suitable for generating of test set by using PROLOG language. The program presented in this paper deals with all the information required for fault detection from the rules describing output signals and internal signals. Example shows the validity of proposed PROLOG program which results in a effective generation of test set comparable to the conventional D-algorithm.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 정기총회 및 창립40주년기념 학술대회 학회본부
• /
• pp.316-320
• /
• 1987

This paper deals with expert system for power system fault restoration and accompanying numerical data processing. Nowadays, expert system which is a branch or artificial intelligence expands its application area to many fields. And it requires computer language for A.I. to be versatile. Expert system for power system handles numerous numerical data and language for A.I. has its deficiency in numerical data processing. However some recent version of the A.I. language rind ways of overcoming this dilemma by giving the way or linking conventional algorithmic languages to them. This study presents numerical data processing routines described in Turbo prolog which is run in IBM PC and linking numerical data processing routines written in Turbo C to Turbo prolog.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1985년도 하계학술회의논문집
• /
• pp.242-245
• /
• 1985

논리회로의 합성이란 minimize된 Boolean Expression을 실재로 존재라는 TTL IC로 Implement시키는 과정을 말한다. 즉, IC pin assignment 의 과정인 것이다. 본 논문에서는 논리회로를 합성하는 expert system의 초보적인 형태를 제안하고 있다.

• 예술인문사회 융합 멀티미디어 논문지
• /
• 제7권7호
• /
• pp.847-856
• /
• 2017

본 논문은 사용자들에게 알맞은 공원을 추천해주는 시스템을 제안한다. 사회적, 심리적, 환경적, 신체적 등 사람들에게 긍정적인 요소를 제공하는 도시공원의 기능에 따라 서울시 도시공원을 6가지로 분류한다. 분류된 공원을 규칙기반 전문가 시스템을 기반으로 사용자들에게 추천한다. 공원 선택에 영향을 주는 요인들을 언어 객체로 설정하여 규칙 기반 추론 시스템을 논리 프로그램 언어인 PROLOG로 구현한다. 공원 추천의 규칙 기반 객체는 활동·다목적성과 접근성, 이용 시간을 기준으로 총 9가지 언어 객체를 설계하고 그에 따른 허용된 값을 부여한다. 이를 이용하여 생성된 규칙들이 사용자의 선호도에 따라 점화되고 추천 공원을 추론한다. 선호도에 대한 정보는 사용자들에게 직접 공원 선택에 있어서 기준이 되는 세 가지 요소에 대한 질문을 건네는 대화의 방식으로 얻는다. 결과적으로 공원 추천 시스템을 통해 공원 이용자들의 공원 이용 및 여가 생활에 대한 만족감을 높여주고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 전기.전자공학 학술대회 논문집(II)
• /
• pp.1467-1470
• /
• 1987

This paper proposes a functional simulation algorithm which decrease the internal memory space and run time in simulation of VLSI. Flip-flop, register, ram, rom, ic and fun are described as functional elements in the simulator. Especially icf is made as new functional element by combining the gate and the functional element, therefore icf is used efficiently in simulation of VLSI. The proposed algorithm is implemented on PC-AT(MS-DOS) in by Prolog-1.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 추계학술대회 학술발표 논문집
• /
• pp.545-552
• /
• 1998

본 연구에서는 prolog을 저자 언어로 사용한 퍼지 지능형 튜터링 시스템을 습득 모듈, 튜터링 콘크롤러, 전문가 지식의 3부분으로 구성하여 UNSW prolog로 실행시켰다. 습득 모듈은 기존의 지식에 새로운 정보를 첨가하여 사용하는 모듈이고 튜터링 콘트롤러는 시스템 사이의 정보를 상호 조정하는데 사용한다. 전문가 지식은 전문가의 지식을 저장한 내부 지식 베이스로서 가르칠 내용에 대한 정보와 해를 구하는 해결 모듈을 포함하고 있다. 특히 애매한 지식 처리를 위하여 퍼지 이론을 적용하였다. 하지만 지능형 튜터링 시스템의 구현을 위하여 먼저 고려해야 할 것이 전문가 지식에서 지식의 변환 방법이다. 그러므로 본 논문에서는 frame과 시멘틱 네트의 성질을 결합하여 계측적 frame 상태로 지식을 포현하였다. 계층적 frame에서 설정된 frame을 goal을 나타내게 하여 G frame이라 하였다. G-frame을 AND-OR 그래프 특성에 따라서 prolog언어를 저자 언어로 사용하여 퍼지 지능형 튜터링 시스템을 설계 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.352-354
• /
• 2002

업무규칙은 선언적인 방법으로 업무정책을 표현하고 업무조항을 정의한다. 또한 업무프로세스를 정의하고 프로세스가 수행되는 과정에 제약을 가한다. 본 논문에서는 능동문서 처리 프레임워크를 구현하였다 즉, 사무문서에 함축되어 있는 업무규칙을 어플리케이션 로직과 분리하여 생각하였고, 업무규칙은 Prolog로 명시적으로 표현하였다. 이 Prolog 규칙은 논리프로그램 추론엔진에서 수행가능하고, 이종의 규칙기반 어플리케이션에서 사용할 수 있도록 XML 문서로 변환하였다. 이렇게 문서의 데이터와 규칙을 저장한 XML 문서는 규칙기반의 시스템과 워크플로우 관리시스템(WFMS) 환경에서 처리된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
• /
• pp.709-711
• /
• 2001

본 논문에서는 XML 문서에 문서검증을 위한 로직을 추가하였다 로직을 기술하기 위해 규칙 표현에 효과적인 Prolog를 이용하였고 검증 규칙을 XML 문서로 변환하여 원래의 XML 문서에 포함시켰다. XML 문서검증에 관한 연구가 기존에는 주로 문서 구조의 검증에 치중한 반면 본 논문은 XML 엘리먼트의 데이터 값 검증에 역점을 두었다. 또한 폼 값의 검증을 XML과 Prolog를 이용하여 검증함으로써 스크립트언어를 사용해 검증하는 일반적인 방법을 개선하였다.