• 제목/요약/키워드: prolog

검색결과 97건 처리시간 0.03초

기업 온톨로지를 활용한 작업흐름 변화 영향 분석 (Workflow Changes Impact Analysis with Enterprise Ontology)

  • 박지현;양재군;배재학
    • 산업경영시스템학회지
    • /
    • 제31권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.

다양한 머리 형상을 갖는 체결구의 냉간 단조 자동 공정 설계 시스템 (Automatic Process Design System for Cold Forging of Fasteners with Various Head Geometries)

  • 김홍석;임용택
    • 한국소성가공학회:학술대회논문집
    • /
    • 한국소성가공학회 1994년도 추계학술대회 논문집
    • /
    • 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.

  • PDF

전문가시스템 기법을 이용한 화재 원인진단 (Diagnosis of Fire-Causes by using Expert System technique)

  • 정국삼;김두현;김상철
    • 한국안전학회지
    • /
    • 제7권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.

  • PDF

전력계통의 고장진단 전문가 시스템에 관한연구 (Development of an Expert System for the Fault Diagnosis in power System)

  • 박영문;이흥재
    • 대한전기학회논문지
    • /
    • 제39권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.

  • PDF

Intelligent navigation and control system for a mobile robot based on different programming paradigms

  • Kubik, Tomasz;Loukianov, Andrey A.
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 2001년도 ICCAS
    • /
    • 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.

  • PDF

능동문서 기반의 설문지 로직 설계 (Design of Questionnaire Logic in Active Documents)

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

규칙기반 역공학 도구의 구현 및 평가 (A implementation and evaluation of Rule-Based Reverse-Engineering Tool)

  • 진영배
    • 한국컴퓨터정보학회논문지
    • /
    • 제9권3호
    • /
    • pp.135-141
    • /
    • 2004
  • 소프트웨어의 종류가 다양하고, 커짐에 따라서 유지 보수 문제는 더욱 복잡하고 어렵게 되고, 프로그램 에러의 교정이나 요구 사항의 변경, 사용자에 대한 요구가 점차 증가되면서 소프트웨어의 유지 보수가 소프트웨어 생명 주기에서 가장 비용을 많이 차지하는 부분이 되었다. 본 논문에서는 객체지향 시스템에서 소프트웨어 재구성 환경을 위한 역공학 도구를 설계, 구현하였다. 이 도구는 클래스 정보를 이용한 규칙기반 역공학 도구이다. 프로그램 유지보수자가 프롤로그를 이용한 시스템 쿼리를 사용할 수 있도록 하였다. 대부분의 유사한 클래스를 추출하기 위한 재구조화 방법과 변수와 함수 사이의 관계에 근거를 둔 방법을 사용하였다. 추출된 클래스의 가시성이 자동적으로 산출되고, 논리언어를 이용한 쿼리를 사용함으로서 실질적인 유지보수가 이루어지도록 하였다. 또한 이 도구를 평가하는 방법을 제안하였다.

  • PDF

분류전문가시스팀에 관한 연구 (A study on the expert system for classification of books)

  • 김정현
    • 한국도서관정보학회지
    • /
    • 제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.

  • PDF

횡형압력용기의 치수 및 용접설계를 위한 전문가시스템의 개발에 관한 연구 (A Study on Development of Expert System for Dimension and Weld Designs of Horizontal-Type Pressure Vessel)

  • 서철웅;나석주
    • Journal of Welding and Joining
    • /
    • 제10권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.

  • PDF

전력계통의 고장진단을 위한 전문가 시스템의 연구 (An Expert System for Foult Diagnosis in a System)

  • 박영문;이흥재
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1989년도 하계종합학술대회 논문집
    • /
    • 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.

  • PDF