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

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

지식베이스를 사용한 자동공정계획 시스템의 개발 (A Knowledge-Based Computer Aided Process Planning System)

  • 조규갑;오수철
    • 한국정밀공학회지
    • /
    • 제7권3호
    • /
    • pp.66-74
    • /
    • 1990
  • This paper presents a knowledge-based computer aided process planning system that automatically selects machine tools, machining operations and cutting tools and determines sequences of the machining operations for prismatic parts in die manufacturing. In the proposed system, parts are described by manufacturing features and grouped into part families based on the functions. Each part is repressented by a part frame which consists of basic data and manufacturing features. Knowledge for manufacturing is acquired from the domain expert and represented by frames. A decision model for selection of machine tools, machining operations and cutting tools and for determining sequences of the machining operations are developed by employing the Mealy machine in finite automata with output. The decision procedure and the order of priority which inputs manufacturing features into the Mealy machine are represented by rule for each part family. Backward chaining is used for the proposed system. The proposed system is implemented by using TURBO-PROLOG on the IBM PC/AT. A case study for the slide core is presented to show the function of the proposed system.

  • PDF

경험적 탐색기법에 근거한 배전계통의 선로 재구성 앨고리즘 (NETWORK RECONFIGURATION ALGORITHM FOR AUTOMATED DISTRIBUTION SYSTEM BASED ON THE BEST-FIRST TREE SEARCH)

  • 정경희;김호용;고윤석
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1991년도 하계학술대회 논문집
    • /
    • pp.350-353
    • /
    • 1991
  • This study develops an expert system which solves the problems of the MTr/feeder overloads and the feeder constraints in automated radial distribution systems. Then, the objective is to perform the network reconfiguration by switching the tie and sectionalizing switches which eliminates the system violation, while achieving the load balance of the MTrs/feeders. To reduce the search space, an expert system based on heuristic rules is presented, and implemented in AI language Prolog. This system adopts the best-first tree search technique. The computational results are also prepared to show the performance of the heuristic algorithm developed.

  • PDF

퍼지가능성 척도를 이용한 전기화재 원인진단 시스템의 구축 (Construction of Diagnosis System for Electric-fire Causes using Fuzzy Possibility Measure)

  • 김두현;김상철
    • 한국안전학회지
    • /
    • 제7권4호
    • /
    • pp.105-114
    • /
    • 1992
  • This paper presents an study on the knowledge based system for diagnosing the fire causes using the Fuzzy Possibility Measure( FPM ) about the electric-fire ignition. The Ignition values needed for causes diagnosis is computed as FPM for electric-fire ignition based on the internal scale technique that assigns numerically the characteristic difference of facts to the-tin-ear scale. For the convinience of inference, ignition sources are classified into seven types : short, ground fault, leakge of electricity, overcurrent, cord junction overheating, bad Insulation and spark. The system for causes diagnosis of electric-fire is composed of Knowledge Acquisition System, Inference Engine and Man-Machine Interface, The diagnosis system is wrritten in an artificial intelligence langusge “PROLOG” which uses depth-first search and backward chaining schemes in reasoning process.

  • PDF

765kV 변전소의 고장진단 전문가 시스템에 관한 연구 (A Study on the Fault Diagnosis Expert System for 765kV Substations)

  • 이흥재;강현재
    • 전기학회논문지
    • /
    • 제58권7호
    • /
    • pp.1276-1280
    • /
    • 2009
  • This paper presents a fault diagnosis expert system for 765kV substation. The proposed system includes the topology processor and intelligent alarm processing subsystems. This expert system estimates the fault section through the inference process using heuristic knowledge and the output of topology processor and intelligent alarm processing system. The rule-base of this expert system is composed of basic rules suggested by Korea Electric Power Corporation and heuristic rules. This expert system is developed using PROLOG language. Also, user friendly Graphic User Interface is developed using visual basic programming in the windows XP environment. The proposed expert system showed a promising performance through the several case studies.

765kV 변전소의 지능형 경보처리에 관한 연구 (A Study on the Intelligent Alarm Processing for 765kV Substation)

  • 이흥재;이은재
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2009년도 제40회 하계학술대회
    • /
    • pp.284_285
    • /
    • 2009
  • 전력 시스템은 사회와 산업이 발전함에 따라서 거대화되고 복잡해지고 있으며, 따라서 전력시스템을 안정적으로 운용하기 위하여 다양한 첨단기능들이 개발되고 있다. 본 논문에서 제안한 765kV 변전소의 지능형 경보처리 시스템은 중앙감시제어 시스템으로부터 입력되는 방대한 경보들로부터 고장진단에 필요한 보호계전기 및 스위치 동작 정보를 필터링하는 기능을 수행하도록 개발되었다. 시스템으로 부터 필터링된 경보들은 고장진단 시스템을 통하여 사고 발생 시 운영자의 사고 처리 시 신뢰도 증진시키고 수행시간을 단축시킨다. 경보처리 시스템은 실계통에서 운용되고 있는 이중 모선 1.5CB 방식의 765kV급 변전소를 대상으로 하며 인공지능 언어인 PROLOG 언어를 기반으로 개발되었다.

  • PDF

실험계획 전문가 시스템 (An Expert System for Design of Experiment)

  • 김성인;문순환
    • 산업공학
    • /
    • 제7권2호
    • /
    • pp.99-105
    • /
    • 1994
  • The Artificial Intelligence Lab of Industrial Engineering Department, Korea University is continuing to develop expert systems for quality control methods such as acceptance control, process control and reliability analysis. As a series of these efforts, The Artificial Intelligence Lab of Industrial Engineering Department, Korea University is continuing to develop expert systems for quality control methods such as acceptance control, process control and reliability analysis. As a series of these efforts, this paper concerns an expert system for design of experiment. The system includes factorial experiments, response surface methodology and Taguchi method. PROLOG is used as a language with dBASE III+ for the data base management system and C for calculations and graphics. This system selecting the appropriate method and analyzing the data obtained can be implemented on an IBM PC 386 or a higher level machine.

  • PDF

우리말 정보 자료를 처리하는 지능형 정보 검색 시스템의 설계 (Design of a Korean Intelligent Information Retrieval System)

  • 정영미
    • 정보관리학회지
    • /
    • 제8권2호
    • /
    • pp.3-31
    • /
    • 1991
  • 본 연구에서는 지능형 정보 검색의 개념을 정립하고, 지능형 정보 검색 시스템의 모 형을 제시하였다. 실제로 우리말 문헌을 검색하는 지능형 시스템을 구현하였으며, 이 시스템 은 자연 언어 인터페이스, 이용자 모형화, 격관계를 이용한 자동 색인, 복수의 검색 기법 등 을 수용한다.

  • PDF

한국어-일본어 기계번역 시스템의 수식어 처리와 중문처리 (Modifiers and Compound Sentences Processing of a Korean-Japanese Machine Translation System)

  • 주인숙;백모현;진중화;임선태;임인칠
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1987년도 전기.전자공학 학술대회 논문집(II)
    • /
    • pp.1046-1049
    • /
    • 1987
  • This paper proposes a Korean-Japanese Machine Translation System that processes unregistered words, modifiers and compound sentences. In mophological analysis, the unregistered words are processed by using unregistered word processing algorithm. The modifiers are processed by consulting noun-attributes and grammar rules. The compound sentence processing algorithm recognizes whether the sentence that includes commas is compound sentence or not. This system performs on IBM-PC/AT DOS using Prolog-1.

  • PDF

제품개발을 위한 온톨로지 기반 지식 프레임워크 (Ontology-based Knowledge Framework for Product Development)

  • 서효원;이재현
    • 한국CDE학회논문집
    • /
    • 제11권2호
    • /
    • pp.88-96
    • /
    • 2006
  • This paper introduces an approach to ontology-based framework for knowledge management in a product development domain. The participants in a product life cycle want to share the product knowledge without any heterogeneity. However, previous knowledge management systems do not have any conceptual specifications of their knowledge. We suggest the three levels of knowledge framework. First level is an axiom, which specifies the semantics of concepts and relations. Second level is a product development knowledge map. It defines the common domain knowledge which domain experts agree with. Third level is a specialized knowledge for domain, which includes three knowledge types; expert knowledge, engineering function and data-analysis-based knowledge. We propose an ontology-based knowledge framework based on the three levels of knowledge. The framework has a uniform representation; first order logic to increase integrity of the framework. We implement the framework using prolog and test example queries to show the effectiveness of the framework.

지식공간론을 활용한 학습과제분석 지원도구의 개발 (Development of a Tool to Support Learning Tasks Analysis Using the Knowledge Space Theory)

  • 조형철;임진숙;김성식
    • 컴퓨터교육학회논문지
    • /
    • 제7권1호
    • /
    • pp.129-139
    • /
    • 2004
  • 정보화로 급변하는 사회는 학교 교육이 전통적인 교수-학습 방식에서 탈피하여 수업의 혁신과 효율성을 달성할 것을 요구하고 있다. 효율성 있는 수업이 되기 위해서는 학습자의 사전 지식에 대한 분석과 이에 따른 수업계획이 필요하다. 지식공간론은 학습자의 지식상태에 대한 효과적인 분석 방법을 제공해 준다. 본 연구는 지식공간론을 활용한 학습자 지식상태분석의 여러 방법들을 개발하여 교실수업의 효율성을 높이기 위한 학습과제분석 지원도구를 설계 및 구현하였다.

  • PDF