• 품질경영학회지
• /
• 제22권3호
• /
• pp.152-160
• /
• 1994

This paper concerns an expert system for reliability management. The system includes data base, life data analysis, life testing sampling plans and system operation. PROLOG is used as a language with dBASE III+ for the data base management system and C for calculations and graphics. This system analyzing the data and selecting an appropriate sampling plan can be implemented on an IBM PC 386 or a higher level machine.

• 정보처리학회논문지B
• /
• 제9B권6호
• /
• pp.817-826
• /
• 2002

한국어대화에서는 존대현상(honorification phenomenon)이 일어나기도 하고, 존대대명사(honorific pronoun)가 사용되기도 하며, 맥락상 되찾을 수 있으면 주어나 목적어가 완전히 생략되기도 한다. 이러한 특징적인 언어현상이 일어나는 한국어대화를 처리하고 그것의 표상구조를 만들기 위해서 대화참석자에 관한 정보, 발화문의 화행에 관한 정보. 대화에 관련된 사람들의 사회적 지위에 있어서의 상대적 순위에 관한 정보, 대화에 나타나는 발화문 사이의 정보흐름 등을 묵시적으로가 아니라 명시적으로 표시하고 이용할 것을 본 논문은 제안한다. 또한. 본 논문은 이러한 상황정보(situational information)를 표시하고 이용하는 방법과 한국어대화의 적절한 표상구조를 제시한다. 본 논문에서 한국어대화표상구조의 설정은 담화표상이론(Discourse Representation Theory)과 분할담화표상이론(Segmented Discourse Representation Theory)을 수정ㆍ확대하여 이루어진다. 나아가서, 본 논문은 한국어대화를 전산적으로 어떻게 처리하고 그것의 표상구조를 구축하는지를 프롤로그 프로그래밍 언어를 사용하여 보여주고 나서, 그러한 표상구조의 타당성을 알아보기 위해 자연발생적 한국어대화에도 적용시켜 본다.

• 정보처리학회논문지A
• /
• 제10A권6호
• /
• pp.605-614
• /
• 2003

본 논문에서는 멀티패러다임 프로그래밍의 결합 방식(compositional approach)[20]을 프로그래밍 언어에 적용한 새로운 형태의 멀티패러다임 언어인 Argos를 소개한다. Argo는 자바 언어의 수퍼셋이고, Argos 언어의 메소드를 정의하는 문법은 다른 언어의 문법을 사용할 수 있는 확장점을 가지고 있다. 따라서 Argos 클래스의 각 메소드는 자바, C, Prolog, Python 등의 여러 프로그래밍 언어들 중에서 하나를 선택해서 구현할수 있도록 허용함으로써 객체지향과 멀티패러다임 프로그래밍을 동시에 지원한다. Argos의 메소드는 기존의 프로그래밍 언어로 작성할 수 있기 때문에 다른 멀티패러다임 언어에 비해 상대적으로 배우기 쉽고, 라이브러리 재사용성도 높은 장점을 가지고 있다. Argos 컴파일러는 입력 프로그램 을 사용된 언어에 따라 분할하고, 분할된 메소드 코드를 해당 언어의 처리기에 전달해서 컴파일하는 DCO(delegating compiler object) 모델[28,29]에 따라 구현된다.

• 한국정보통신학회논문지
• /
• 제9권4호
• /
• pp.816-823
• /
• 2005

비혼(non-Horn) 논리 프로그램은 혼(Horn) 논리 프로그램을 1계 술어 논리(1st order predicate logic) 수준으로 확장하였기 때문에 표현력은 크지만 효율적으로 구현된 사례가 없어서 실용적인 언어로 사용되지는 못하였다. 지금까지 연구된 효율적인 방법은 비혼 논리 프로그램을 증명절차 InH-Prolog의 의미를 이용하여 동등한 혼 논리 프로그램으로 변환한 후 변환된 혼 논리 프로그램을 WAM(Warren Abstract Machine) 명령어로 컴파일하여 수행시키는 방법이다. 본 논문에서는 이 방법을 향상시키기 위하여 비혼 논리 프로그램을 효율적으로 수행하는 EWAM(Extended WAM)과 비혼 논리 프로그램을 EWAM 명령어로 컴파일하는 방법을 제안한다. 또한 본 논문에서는 제안한 EWAM의 에뮬레이터 및 컴파일러를 구현하여 그 성능을 측정하였다. 본 논문에서 구현한 EWAM 에뮬레이터 및 컴파일러의 성능을 측정한 결과 기존 방법보다 매우 효율적임을 확인하였다.

• Nuclear Engineering and Technology
• /
• 제25권2호
• /
• pp.193-203
• /
• 1993

재장전노심의 핵연료 장전모형 설계를 위한 기존의 알고리즘 탐색방법의 단점을 보완하기 위한 새로운 경험적 탐색방법을 개발하였다. 노심의 핵연료 장전모형으로 고려될 수 있는 수없이 많은 경우의 수를 줄이기 위하여 일반적 핵연료 배치규칙, 영역별 배치방법 그리고 장전모형의 집단화 방법을 이용하였다. 비슷한 장전모형을 모아서 집단화시키는 기준으로 엔트로피 이론을 이용하였다. 또한 PROLOG언어를 이용하여 주어진 배치규칙에 따라 장전모형을 탐색하는 프로그램을 만들었다. 장전모형들의 노심내 출력분포 해석에는 2군 nodal코드인 MEDIUM-2D를 사용하였다. 이와같은 방법을 사용한 결과 수백개 정도의 장전모형 집단을 찾아낼 수 있었고, 여기에 가연성 독봉 배치규칙에 따라 가연성 독봉을 배치한 결과 장전모형 집단의 수를 수십개까지로 감소시킬 수 있었다. 이러한 장전모형 집단들로부터 실제로 이용 가능한 장전모형을 찾아내기 위하여, 주기길이 최대화방법과 첨두 출력 최소화방법을 사용하였다. 그 결과 고리 3호기 제10주기의 예상 재장전모형보다 주기길이는 길고 첨두출력은 낮은 장전모형을 찾아낼 수 있었다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2006년도 학술대회 1부
• /
• pp.1168-1174
• /
• 2006

본 논문에서는 실감형 Networked Virtual Environment (NVE)의 사실성 증진을 위한 Non Player Character (NPC)의 지능적 제어 프레임워크를 제안한다. 이 프레임워크는 반응의 다양성, 실시간성 그리고 NPC의 능동성면에서 기존 게임에서 사용되는 NPC 구현 기법과 차이가 있다. 기존 NPC 제어구조의 경우, 휴먼 사용자의 행동에 따른 NPC의 반응이 일정 스크립트나 규칙에 따르기 때문에 정형적이며, 또한 NPC의 반응시간에 대한 실시간성을 고려하지 않고 있다. 또한 NPC는 휴먼 사용자의 액션에 반응하는 종속적이고 수동적인 역할만을 담당한다. 제안하는 프레임워크에서는 NPC는 각자의 취향을 가지고 있어 다양한 반응과 행동양식을 보일 수 있으며, NPC의 행동 결정 시간에 어느 정도 실시간성을 부여할 수 있으며, 또한 NPC의 역할이 수동적 형태에서 벗어나 능동적으로 계획하여 행동을 실행할 수 있다. 프레임워크의 구현을 위해 SWI-Prolog의 Rule based 추론엔진과 유전자 알고리즘을 사용하였다.

• 통상정보연구
• /
• 제11권3호
• /
• pp.25-45
• /
• 2009

The e-Trade environment has enabled the complex trade processes to be automated using e-Trade information systems, which had been manually processed through many trade-related parties in the past. Korea has completed the development of the most advanced e-Trade platform called "u-Trade Hub," which can process automatically all the trade-related activities from marketing to payment. It is anticipated for the world trade environment to have more FTAs throughout the world and this will complicate the trade processes more and more in the future. This means the constant cost-bearing updates of the e-Trade environment to adapt the process changes brought by new FTAs with other countries. In this paper, we propose the systematic approach to easily as well as less costly adapt the possible trade process changes resulted from the future FTAs by adopting a rule base management system. The prototype system to test the applicability of the proposed approach is developed using Win-Prolog 4.8 environment.

• 한국산업경영시스템학회:학술대회논문집
• /
• 한국산업경영시스템학회 2002년도 춘계학술대회
• /
• pp.57-62
• /
• 2002

Recently, due to the development of internet based information technology, organizations Is utilizing electronic documents as important media for processing business work and sharing Information exchange. These electronic documents are mos4 form like documents and are important user interfaces for business applications. But, presently web-based electronic documents are lack of the characteristics that are taken in documents, such as document writing rules and its workflow. This Paper deals with XML-based business document that include the structure, data, and logic and proposes the framework for validating the data and logic included within business documents using Prolog.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1991년도 추계학술대회 논문집 학회본부
• /
• pp.71-74
• /
• 1991

This paper is described an expert system which performs the network reconfiguration in order to operate distribution systems optimally using heuristic rules. The proposed network reconfiguration is able to not only eliminate abnormal states such as overload of transformers/lines and low voltage violation, but also achieve minimum power loss and optimum load balancing under normal states. In order to apply the network reconfiguration efficiently, an expert system is adopted a best-first tree searching strategy on the basis of heuristics, and is implemented in AI language Turbo PROLOG. Several examples are used to illustrate concepts described above.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.245-248
• /
• 2011

최근 기업들이 SOA, 웹 서비스, 유틸리티 컴퓨팅, 클라우드 컴퓨팅 등과 같은 서비스 지향적인 컴퓨팅 환경에 관심을 가지면서 SLA(Service Level Agreement) 기반의 자동화된 계약관리를 원하고 있다. 일반적으로 SLA는 종이에 자연언어로 표현되어 있어서 SLA 관리나 SLA 기반의 정보처리의 자동화가 제한된다. 이에 본 논문에서는 문서형 SLA를 실행가능한 언어로 표현하는 방법을 제안한다. 그 방법의 핵심은 SLA 문장을 단문, 중문, 또는 복문 형식으로 재구성하고 각 문장을 술어논리로 표현한 뒤, 이를 Prolog 기반 프로그램으로 변환하여 실행가능한 SLA(Active SLA)를 얻는다는 것이다. 이와 함께 ASLA를 활용한 SLA 기반의 계약관리 업무의 자동화에 대한 구체적인 예도 볼 것이다.