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

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

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

  • 정태형;변준형;이동형
    • 대한기계학회논문집
    • /
    • 제16권1호
    • /
    • pp.122-131
    • /
    • 1992
  • 본 연구에서는 동력전달용 치차설계 전문가 시스템을 구축하기 위한 일단의 연구로서 먼저 동력전달용 치차의 치차파손의 원인과 대책의 진단을 위한 전문가 시스 템을 개발하였으며, 본 논문에서는 치차의 강도를 기준으로 삼아 원통치차를 설계할 수 있는 강도 기준 치차설계 전문가 시스템을 개발한다. 즉, 전문가 시스템은 치차 설계에 필요한 지식을 체계적으로 지식 베이스에 구축하며, 이를 이용하여 새로운 설 계안을 도출해 낼수 있는 추론엔진을 구성하고, 설계광정중에 변화하는 설계의 중간결 과 등을 저장하기 위한 임시작업영역을 기본요소로 구축한다. 또한 과거의 설계예를 데이터 베이스로 구축하여 설계시에 참조 할 수 있도록 하며, 새로운 치차의 설계뿐아 니라 설계되어 있는 치차의 강도평가도 할 수 있도록 한다. 전문가 시스템에 사용자 인터페이스, 설명기능, 지식획득기능 등을 추가함으로써 치차분야에 초심자라 할지라 도 개발된 전문가 시스템과의 문답식 대화를 통하여 손쉽게 치차를 설계할 수 있도록 한다.전문가 시스템을 기술하는 프로그램 언어는 PROLOG를 사용하여 퍼스널컴퓨 상 에서 구동될 수 있도록 하며, 강도평가시 많은 수치계산이 필요한 부분은 FORTRAN언어 를 사용하여 기술한 후 PROLOG와 연결(interface)함으로써 전체 전문가 시스템을 구축 한다.

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

  • 정철용
    • Asia pacific journal of information systems
    • /
    • 제4권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

  • 김진성
    • 한국지능시스템학회논문지
    • /
    • 제17권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)

  • 이극;김민환;황희융
    • 대한전기학회논문지
    • /
    • 제35권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년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 26-27 Oct. 1990
    • /
    • 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

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

  • 이명진;장창수;오재광;김진상
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
    • /
    • 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)

  • 채희창
    • 대한기계학회논문집
    • /
    • 제12권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)

  • 성기원;선우중호
    • 물과 미래
    • /
    • 제23권4호
    • /
    • pp.477-486
    • /
    • 1990
  • 지하수 오염처리에 관한 문제는 수공학 이외에도 지질학, 화학, 독극물학 등의 전문지식이 요구된다는 점에서 Expert System(이하 ES)가 설계되기에 이상적인 환경을 지니고 있는 분야이다. 본 연구의 목적은 오염물질로 오염된 지하수의 처리에 대한 조언과 그것에 대한 추적을 위한 소프트웨어의 개발에 있다. Prolog 언어를 사용하여 개발된 이 프로그램은 현장 실무자에게 독극성의 정도와 화학반응의 축연성, 특정지점의 농도계산을 통하여 현 상황에 대한 심각성의 정도와 대응책을 조언하게 된다.

  • PDF