• Journal of Korean Society for Quality Management
• /
• v.22 no.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.

• The KIPS Transactions:PartB
• /
• v.9B no.6
• /
• pp.817-826
• /
• 2002

In Korean dialogue honorification phenomenon may occur, an honorific pronoun may be used, and a subject or an object may be completely omitted when it can be recovered based on context. This paper proposes that in order to process Korean dialogue in which such distinct linguistic phenomena occur and to construct its representation structure we mark and use the following information explicitly, not implicitly : information about dialogue participants, information about the speech act of an utterance, information about the relative order of social status for the people involved in dialogue, and information flow among utterances of dialogue. In addition, this paper presents a method of marking and using such situational information and an appropriate representation structure of Korean dialogue. In this paper we set up Korean dialogue representation structure by modifying and extending DRT (Discourse Representation Theory) and SDRT (Segmented Discourse Representation Theory). Futhermore, this paper shows how to process Korean dialogue computationally and construct its representation structure by using Prolog programming language, and then applies such representation structure to spontaneous Korean dialogue to know its validity.

• The KIPS Transactions:PartA
• /
• v.10A no.6
• /
• pp.605-614
• /
• 2003

In this paper we introduce a new style multiparadigm language named Argos which applies a compositional approach [20] to multiparadigm programming. Argos is a superset of the Java, and its grammar has an extension point which allows other languages to be used in Argos programs. Therefore, Argos can support object-oriented programming and multiparadigm programming by enabling each method in a class to be implemented with one of the Java, C, Prolog, Python, and XML languages. Since Argos allows the existing languages to be used, it has advantages such as easiness of learning and high reusability. The Argos compiler is implemented according to the delegating compiler object (DCO) model[28,29]. The compiler partitions a program Into several parts according to the languages used in methods and delivers the parts the languages' processors which compile the parts.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.4
• /
• pp.816-823
• /
• 2005

Non-Horn logic programs are extended from Horn logic programs to the level of 1st order predicate logic. Even though they are more expressive than Horn logic programs, They are not practically used because we do not have efficient implementations. Currently to execute non-Horn logic programs, we translate them to equivalent Horn logic programs using the proof procedure InH-Prolog and compile the Horn logic programs to WAM(Warren Abstract Machine) instructions. In this paper, we propose EWAM(Extended Warren Machine) that executes non-Horn logic programs more efficiently and a compilation scheme that compiles non-Horn logic programs to the EWAM instruction. We implement an EWAM emulator and a compiler and measured the performance of the EWAM emulator and the compiler and found that they are very efficient.

• Nuclear Engineering and Technology
• /
• v.25 no.2
• /
• pp.193-203
• /
• 1993

A new heuristic method for loading pattern search has been developed to overcome short-comings of the algorithmic approach. To reduce the size of vast solution space, general shuffling rules, a regionwise shuffling method, and a pattern grouping method were introduced. The entropy theory was applied to classify possible loading patterns into groups with similarity between them. The pattern search program was implemented with use of the PROLOG language. A two-group nodal code MEDIUM-2D was used for analysis of power distribution in the core. The above mentioned methodology has been tested to show effectiveness in reducing of solution space down to a few hundred pattern groups. Burnable poison rods were then arranged in each pattern group in accordance with burnable poison distribution rules, which led to further reduction of the solution space to several scores of acceptable pattern groups. The method of maximizing cycle length(MCL) and minimizing power-peaking factor(MPF) were applied to search for specific useful loading patterns from the acceptable pattern groups. Thus, several specific loading patterns that have low power-peaking factor and large cycle length were successfully searched from the selected pattern groups.

• 한국HCI학회:학술대회논문집
• /
• 2006.02a
• /
• 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 추론엔진과 유전자 알고리즘을 사용하였다.

• International Commerce and Information Review
• /
• v.11 no.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.

• Proceedings of the Society of Korea Industrial and System Engineering Conference
• /
• 2002.05a
• /
• 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.

• Proceedings of the KIEE Conference
• /
• 1991.11a
• /
• 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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.245-248
• /
• 2011

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