• Title/Summary/Keyword: Prolog

Search Result 97, Processing Time 0.028 seconds

Development of Expert System for Designing Power Transmission Gears (II) (동력전달용 치차설계 전문가 시스템 개발연구 II)

  • 정태형;변준형;이동형
    • Transactions of the Korean Society of Mechanical Engineers
    • /
    • v.16 no.1
    • /
    • pp.122-131
    • /
    • 1992
  • An expert system is developed which can design the power transmission involute cylindrical gears on the basis of strength and durability. Bending strength, surface durability, scoring, and wear probability are considered as the basis. The basic components of the expert system are knowledge base, inference engine, and working memory. The knowledges in knowledge base are classified hierarchically into the knowledges used in selection of gear type, selection of materials, and determination of K factor and are represented by rules. In the inference engine two inference methods are implemented with the depth first search method. For-ward chaining method is introduced in the selection of gear type and materials and in the determination of K factor. Backward chaining method is introduced in the detailed design of module and face width in accordance with the validation of strength. And inference efficiency is achieved by constructing the part needing a lot of numerical calculations in strength estimation separately from inference mechanism. The working memory is established to save the results during inference temporarily. In addition, design database of past design results is built for consultation during design and knowledge acquisition facility, explanation facility, and user interface are included for the usefulness of user. This expert system is written with the PROLOG programming language and the FORTRAN language in numerical calculation part which interfaced with PROLOG and can also be executed on IBM-PC compatible computer operated by MS-DOS alone.

$O^{2}LDM$ : A Language for Object-Oriented Logic Data Modeling ($O^{2}LDM$ : 객체지향 논리 데이터모형을 위한 언어)

  • Jeong, Cheol-Yong
    • Asia pacific journal of information systems
    • /
    • v.4 no.2
    • /
    • pp.3-34
    • /
    • 1994
  • In this paper we describe a new data modeling language we call $O^{2}LDM$. $O^{2}LDM$ incorporates features from object-oriented and logic approaches. In $O^{2}LDM$ there is a rich collection of objects organized in a type hierarchy. It is possible to compose queries that involve field selection, function application and other constructs which transcend the usual, strictly syntactic, matching of PROLOG. We give the features of $O^{2}LDM$ and motivate its utility for conceptual modeling. We have a prototype implementation for the language, which we have written in ML. In this paper we describe an executable semantics of the deductive process used in the language. We work some examples to illustrate the expressive power of the language, and compare $O^{2}LDM$ to PROLOG.

  • PDF

Knowledge Conversion between Conceptual Graph Model and Resource Description Framework

  • Kim, Jin-Sung
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.17 no.1
    • /
    • pp.123-129
    • /
    • 2007
  • On the Semantic Web, the content of the documents must be explicitly represented through metadata in order to enable contents-based inference. In this study, we propose a mechanism to convert the Conceptual Graph (CG) into Resource Description Framework (RDF). Quite a large number or representation languages for representing knowledge on the Web have been established over the last decade. Most of these researches are focused on design of independent knowledge description. On the Semantic Web, however, a knowledge conversion mechanism will be needed to exchange the knowledge used in independent devices. In this study, the CG could give an entire conceptual view of knowledge and RDF can represent that knowledge on the Semantic Web. Then the CG-based object oriented PROLOG could support the natural inference based on that knowledge. Therefore, our proposed knowledge conversion mechanism will be used in the designing of Semantic Web-based knowledge representation and inference systems.

Study on Error Check and State Reduction of State Diagram Using Logic Programming (논리 프로그래밍을 사용한 상태도의 오류검출과 상태 축소에 관한 연구)

  • Lee, Geuk;Kim, Min-Hwan;Hwang, Hee-Yeung
    • The Transactions of the Korean Institute of Electrical Engineers
    • /
    • v.35 no.11
    • /
    • pp.487-494
    • /
    • 1986
  • This paper is concerned with the techniques of error check and reduction of state diagram using logic programming. Error check program aims to check not only syntax errors but also semantic errors. And reduction program optimizes the state diagram by finding the redundant equivalence states and removing those from the set of states. The input of both program is state diagram represented as state table form. The output of error check program is error comment. The output of reduction program is equivalence reduced state table. Both programs are implemented using prolog. Prolog has very powerful pattern matching, and its automatic back-tracking capabilities facilitate easy-to-write error check and reduction programs.

  • PDF

Design of an embeded intelligent controller

  • Shirakawa, Hiromitsu;Hayashi, Tsunetoshi;Ohno, Yutaka
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1990.10b
    • /
    • pp.1399-1404
    • /
    • 1990
  • There is an increasing need to apply artificial intelligence to the real application fields of industry. These include an intelligent process control, an expert machine and a diagnostic and/or maintenance machine. These applications are implemented in AI Languages. It is commonly recognized that AI Languages, such as Common Lisp or Prolog, require a workstation. This is mainly due to the fact that both languages need a large amount of memory space and disk storage space. Workstations are appropriate for a laboratory or office environment. However, they are too bulky to use in the real application fields of industry or business. Also users who apply artificial intelligence to these fields wish to have their own operating systems. We propose a new design method of an intelligent controller which is embedded within equipment and provides easy-to-use tools for artificial intelligence applications. In this paper we describe the new design method of a VMEbus based intelligent controller for artificial intelligence applications and a small operating system which supports Common Lisp and Prolog.

  • PDF

A Study on a Negotiation Protocol for Conflict Resolution in BDI Agents System (BDI 에이전트 시스템에서 충돌해결을 위한 협상 프로토콜의 연구)

  • 이명진;장창수;오재광;김진상
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.04b
    • /
    • pp.325-327
    • /
    • 2001
  • 멀티에이전트 시스템(MAS: Multi-Agent System)에서 에이전트는 각자의 목표 달성을 위해 주위 에이전트들과 상호작용하여 목표의 충돌이 없는 일치 상황에 도달하도록 설계될 필요가 있다. 이러한 상호작용은 MAS에서의 협동, 공조, 그리고 협상 등의 분양에 필수적인 요소이다. 본 연구에서는 MAS에서 믿음(Belief), 소망(Desire), 그리고 의도(Intention)를 에이전트 구조의 핵심 요소로 가정하고, FIPA Agent Communication Language(ACL) 사양과 interaction 프로토콜의 변형에 기초하여 BDI 에이전트를 위한 협상 프로토콜을 소개한다. 또한 Java와 Prolog를 결합시킨 InterProlog 프로그래밍 언어로 목표 충돌을 일으키는 BDI 에이전트들을 생성하고 에이전트들이 협상 프로토콜을 사용하여 협상하는 과정을 시험적으로 구현한다.

  • PDF

Drawing of penetrating lines using personal computer (個人용 컴퓨터를 利용한 相貫線의 圖示)

  • 채희창
    • Transactions of the Korean Society of Mechanical Engineers
    • /
    • v.12 no.1
    • /
    • pp.173-182
    • /
    • 1988
  • A program for drawing of penetrating lines was developed in personal computer. PROLOG, a language of Artificial Intelligence, was used and a data structure using relational data base was designed. An algorithm for finding the penetrating lines in the real space was developed. The program can be applied at any types of penetrating problems like curve-surface, surface-surface, curve-object, surface-object, object-object, etc. In developing the program, the following results were obtained. (1) Relational data base built in PROLOG and the function of backtracking are helpful in Computer Graphics. (2) In spite of increasing the number of edges, assigning direction to the edges makes it possible to represent the polygon meshes as the non ordered sets of directional half edges. (3) Topologicaly the penetrating lines of a polygon can be represented as the edge-pairs in the edge list of the polygon,

A Design of an Expert System for the Treatment and the Routing of Contaminated Groundwater (오염된 지하수 처리와 추적을 위한 엑스퍼트 시스템의 개발)

  • 성기원;선우중호
    • Water for future
    • /
    • v.23 no.4
    • /
    • pp.477-486
    • /
    • 1990
  • The domain of contaminated groundwater flow is a broad and multidisciplinary field requiring expertise in engineering, geology, chmistry and toxicology, and is an ideal area for the application of Expert System. The Expert System which is developed in this research can assist user to find possible remedial actions in case that the groundwater was contaminated with toxic pollutants. Documentation including the degree of toxicity, the possibility of chemical reaction and concentration of pollutant can be supported also. Prolog, and artificial intelegence programming language, is used to implement the prototype expert system. This expert system can explicitly advise users about contaminants' toxicity, possiblity reaction with other chemicals and their concentrations.

  • PDF