• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.31 no.2
• /
• pp.61-70
• /
• 2008

This paper describes case studies on workflow impact analyze with an enterprise ontology (EO). We build the EO with an ontology editor $Prot{\acute{e}}g{\acute{e}}$ and integrate concepts of enterprise architecture and a process model into it to expand the EO. We use the expanded EO and Prolog query rules to analysis workflow dependency relations from the perspectives of routing, data and role. Through this, we analyze impact of changes in workflow process. Moreover, we have found the effectiveness of the EO and $Prot{\acute{e}}g{\acute{e}}$ in modeling business management and, in particular, workflow representation and management.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1994.10a
• /
• pp.141-148
• /
• 1994

In order to improve the productivity of cold forging at low production cost, an integrated system's approach is necessary in handling the material preparation and the optimum process design, considering the forming machines, tooling, and operation including quality control. As the first step toward this approach, an expert system for multi-stage cold forging process design for fasteners with various head geometries is developed using Prolog language on IBM 486 PC. For effective representation of the complex part geometries, the system uses the multiple element input, and the forward inference scheme in determination of the initial billet size and intermediate forging steps. In order to determine intermediate steps, the basic empirical rules for extrusion, heading, and trimming were applied. The required forming loads and global strain distributions at each forging step were calculated and displayed on the PC monitor. The designed process sequence drawing can be obtained by AutoCAD. The developed system will be useful in reducing trial and error of design engineers in determining the diameter and height of the initial cylindrical billet from the final product geometry and the intermediate necessary sequences.

• Journal of the Korean Society of Safety
• /
• v.7 no.1
• /
• pp.31-38
• /
• 1992

This paper presents a study on application of expert system technique for the diagnosis of fire-causes in plants. A need is recognized for new methods to diagnose exactly the causes of fires without the help of the human experts. To cope with the difficulty, the expert system techiuque is applied to this area. The expert system suggested in this paper is developed to infer the causes of fires(or, ignition source ) by using the information drawn from the circumstances in fire. For the convenience of inference, ignition sources we classified into eight types ; elecoic spark, adiabatic compression, welding spark, material of high temperature, impact and friction, spontaneous ignition, naked fire, and static electricity. The knowledge base is composed of the rule base and dynamic database, which contain the rules and facts obtained by the expenence in this area, respectively. Both depth-first search and backward chaining schemes are used in reasoning process. This expert system is written in an artificial intelligence language "PROLOG", and its availability is demonstrated through the case study.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.39 no.1
• /
• pp.16-21
• /
• 1990

A Knowledge based expert system is a computer program that emulates the reasoning process of a human expert in a specific problem domain. Expert system has the potential to solve a wide range of problems which require knowledge about the problem rather than a purely analytical approach. This papaer presents the application of knowledge based expert system to power system fault diagnosis. The contents of expert system develpped in this paper is judgement of fault section from a given alarm sets and production of all possible hypothesis for the single fault. Both relay failures and circuit breaker failures are considered simultaneously. Although many types of relay are used in actual system, experts recognize ones as several typical signals corresponding to the fault types. Therefore relays are classified into several types. The expert system is written in an artificial intelligence language "PROLOG" . Best-first search method is used for problem solving. Both forward chaining and backward chaining schemes are used in reasoning process. The application to a part of actual power system proves the availability of the developed expert system.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.36.6-36
• /
• 2001

The problem of robot navigation and control is a complex task. Its complexity and characteristics depends on the characteristics of the environment robot inhabits, robot construction (mechanical abilities to move, sense) and the job the robot is supposed to do. In this paper we propose a hybrid programming approach to mobile robot navigation and control in an indoor environment. In our approach we used declarative, procedural, and object oriented programming paradigms and we utilized some advantages of our distributed computing architecture. The programming languages corresponding to the paradigms we used were C, C++ and Prolog. In the paper we present some details of our mobile robot hardware and software structure, focusing on the software design and implementation.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.945-946
• /
• 2009

현재의 컴퓨터 설문 시스템은 설문의 규칙이나 처리절차들을 하드코딩하는 방식으로 구현하기 때문에 설문이 변경되면 처리엔진을 수정해야 한다. 이것은 설문 처리엔진이 설문에 종속되어 있음을 의미한다. 본 논문에서는 이러한 약점을 해결하고자 능동문서 모델을 이용하여 설문으로부터 처리엔진을 독립시키는 방법을 고안하였다. 능동문서 기반의 설문지는 컨텐츠, 로직, 지식베이스(사용자 응답), 질의로 구성된다. 이 중에서 로직은 다양한 질문유형에 대한 처리 방법을 기술하는 것으로서 어떤 설문 설계자도 정의할 수 있어야 한다. 또한 로직은 직관적으로 서술할 수 있고 실행가능 하도록 XML 형식의 규칙 마크업 언어인 ERML로 표현하였다. ERML로 작성된 로직은 Prolog로 변환된 후 추론기에 등록되며, 사용자 응답에 따라 설문을 제어하고 처리한다. 마지막으로 몇 가지 질문유형을 ERML로 구현하고 설문 시스템(WINAD: The Web Interview System with Active Documents)에 적용한 실험 결과 설문으로부터 처리엔진을 독립시킬 수 있음을 확인했다.

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.3
• /
• pp.135-141
• /
• 2004

With the diversified and enlarged softwares, the issue of software maintenance became more complex and difficult and consequently, the cost of software maintenance took up the highest portion in the software life cycle. We design Reverse Engineering Tool for software restructuring environment to object-oriented system. We design Rule - Based Reverse - Engineering using Class Information. We allow the maintainer to use interactive query by using Prolog language. We use similarity formula, which is based on relationship between variables and functions, in class extraction and restructuring method in order to extract most appropriate class. The visibility of the extracted class can be identified automatically. Also, we allow the maintainer to use query by using logical language. So We can help the practical maintenance. Therefore, The purpose of this paper is to suggest reverse engineering tool and evaluation reverse engineering tool.

• Journal of Korean Library and Information Science Society
• /
• v.19
• /
• pp.35-57
• /
• 1992

This study is an attempt to provide some helpful data for the design and the implementation of the expert system for the book-classification based on the analysis of various cases of the classification-expert system models. Following the introduction, the concepts and some features of an expert system were overviewed in the second chapter, on the basis of which the following concrete cases were introduced and analyzed in the third chapter : (1) ACN System for NC, (2) Expert System for NDC, (3) Expert System for UDC, (4) Herba Medica System, (5) Expert System for IPC, (6) Stratcyclode Project, (7) Expert System for Classification of INIS Database, (8) AutoBC System, and etc. In the conclusion, for the development of the classification-expert system, it was turned out that constructing a new system by using an AI language such as Prolog or LISP is more desirable than employing any one of expert system shells. Together it is necessary for the following requirements to be met : (1) The subject concept of a document elicited should be accurate. (2) Not only a domain knowledge but also the knowledge covering all the subjects should be represented in the knowledge-bases. (3) The knowledge-bases should be organized in such a way that the characteristics of the knowledge about classification should be well defined. (4) rule-base consisting of accurate rules about classification should be made. (5) It should be possible for classification code wanted to be generated immediately.

• Journal of Welding and Joining
• /
• v.10 no.4
• /
• pp.199-212
• /
• 1992

Expert system is a practical application part of the artificial intelligence and can be generally described as a computer-based system designed to simulate the knowledge and reasoning of a human expert, and to make that knowledge conveniently available to other people in a useful way. Expert systems consist of three major components, knowledge base, inference engine and user interface. In this paper, it is aimed to construct a prototype system to design the horizontal-typed pressure vessel. To do this, a representative artificial programming language, Turbo Prolog, was employed, and the knowledge representation was mainly done by the production rule such as "If(condition), than (action)" style and by the predicate logic. In the developed system, it was quite easy to represent the knowledge of "If(condition), then (action)"style and by the predicate logic. In the developed system, it was quite easy to represent the knowledge of "If(condition). then(action)" style and the various table-like data. It was also effective to represent the graphics. Though this expert system is by now small and incomplete, it is possible to expand it to a larger and refined system later.rger and refined system later.

• Proceedings of the KIEE Conference
• /
• 1989.07a
• /
• pp.241-245
• /
• 1989

A knowledge based expert system is a computer program that emulates the reasoning process of a human expert in a specific problem domain. This paper presents an expert system to diagnose the various faults in power system. The developed expert system is represented considering two points; the possibility of solution and the fast processing speed. As uncertainties exist in the facts and rules which comprise the knowledge base of the expert system, Certainty Factor, which is based on the confirmation theory is used for the inexact reasoning. Also, as the diagnosis problem requires the inductive reasoning process in nature, the solution is imperfect and not unique in general. So the expert system is designed to generate all the possible hypothesis in order of the possibility and also it can explain the propagation procedure of the faults for each solution using the built in backtracking mechanism. In realization of the expert system, the processing speed is greatly dependent upon the problem representation, reasoning scheme and search strategy. So, in this paper the fault diagnosis problem itself is analysed from the view point of Artificial Intelligence and as a result, the expert system has the following basic features. 1) The certainty factor is adopted in the inference engine for inexact reasoning. 2) Problem apace is represented using the problem reduction technique. 3) Bidirectional reasoning scheme is used. 4) Best first search strategy is adopted for rapid processing. The expert system was developed us ing PROLOG language.