• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 추계종합학술대회
• /
• pp.183-187
• /
• 2003

In this paper, we describe an implementation method of "set constraints logic language" using the logic language Prolog. "Set constraints logic language" is a programming language with a new paradigm that uses the "set theory" in programming. In this paper, we explain "set constraints problem solver" that has been proposed by A. Dovier and his researchers and we describe an implementation method of this solver using Prolog. We ran easily implement the "set constraints problem solver" in Prolog, since Prolog easily implements nondeterministic problems and provides a data structure railed list. We have applied the language to several application fields to show the usefulness of the language.

• 정보관리학회지
• /
• 제1권1호
• /
• pp.63-77
• /
• 1984

논리(論理) 프로그래밍언어(言語) Prolog는 여러가지 분야에서 빠르게 보급되고 있다. 본고에서는 자연언어(自然言語), 특회 영어(英語)의 구문해석(構文解析)을 Prolog를 이용하여 시도해 본다.

• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.385-390
• /
• 2005

`집합 제한 논리 언어`는 `집합 이론`을 프로그래밍에 도입한 언어이다. 본 논문은 A. Dovier 연구팀이 제안한 집합 제한 문제 풀이(solver) 절차를 소개하고, 이 절차가 논리 언어 Prolog 상에서 어떻게 구현 가능한 지를 보인다. 이 절차는 `다시쓰기 규칙(rewrite rule)`으로 표현되어 있는데 이 표현의 특징은 일반 프로그래밍 언어가 표현하기 힘든 비결정적 규칙 적용(nondeterministic rule application)과 수학적 변수 (mathematical variable)를 사용한다는 점이다. 본 연구에서는 이들 특징이 Prolog 언어에서 제공되는 비결정적 제어 (nondeterministic control), 논리적 변수(logical variable) 및 리스트(list) 자료구조의 사용으로 쉽게 구현 가능함을 보인다. 본 연구의 구현은 다음과 같은 의의를 가지고 있다. 첫째 본연구는 이 언어의 모든 기능을 완전하게 구현하였다는 점이다. 둘째 본 연구에서는 이 언어의 구현 방법을 누구나 알기 쉽게 기술하였다는 점이다. 셋째 기존의 구현이 상업적 Prolog인 SICStus Prolog를 사용하여 구현한 것과는 달리 본 구현은GNU GPL(General Public License)을 가지는CIAO Prolog를 사용하여 구현하였기 때문에 누구나 자유롭게 사용할 수 있는 점이다. 넷째 본 연구에서 개발된 소스 코드는 공개 소프트웨어이기 때문에 누구나 자유롭게 사용, 수정 및 배포할 수 있다는 점이다.

• 정보처리학회논문지A
• /
• 제10A권6호
• /
• pp.605-614
• /
• 2003

본 논문에서는 멀티패러다임 프로그래밍의 결합 방식(compositional approach)[20]을 프로그래밍 언어에 적용한 새로운 형태의 멀티패러다임 언어인 Argos를 소개한다. Argo는 자바 언어의 수퍼셋이고, Argos 언어의 메소드를 정의하는 문법은 다른 언어의 문법을 사용할 수 있는 확장점을 가지고 있다. 따라서 Argos 클래스의 각 메소드는 자바, C, Prolog, Python 등의 여러 프로그래밍 언어들 중에서 하나를 선택해서 구현할수 있도록 허용함으로써 객체지향과 멀티패러다임 프로그래밍을 동시에 지원한다. Argos의 메소드는 기존의 프로그래밍 언어로 작성할 수 있기 때문에 다른 멀티패러다임 언어에 비해 상대적으로 배우기 쉽고, 라이브러리 재사용성도 높은 장점을 가지고 있다. Argos 컴파일러는 입력 프로그램 을 사용된 언어에 따라 분할하고, 분할된 메소드 코드를 해당 언어의 처리기에 전달해서 컴파일하는 DCO(delegating compiler object) 모델[28,29]에 따라 구현된다.

• 물과 미래
• /
• 제23권4호
• /
• pp.477-486
• /
• 1990

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

• 대한기계학회논문집
• /
• 제16권1호
• /
• pp.122-131
• /
• 1992

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

• 대한기계학회논문집
• /
• 제15권6호
• /
• pp.2026-2036
• /
• 1991

본 연구에서는 동력전달용 치차설계 전문가 시스템을 구축하기 위한 일단의 연구로서 먼저, 치차의 시험중 또는 사용중에 일어나는 파손에 대하여 파손의 원인탐 색과 대책수립을 위한 전문가 시스템을 개발한다.

• 정보처리학회논문지B
• /
• 제9B권6호
• /
• pp.817-826
• /
• 2002

한국어대화에서는 존대현상(honorification phenomenon)이 일어나기도 하고, 존대대명사(honorific pronoun)가 사용되기도 하며, 맥락상 되찾을 수 있으면 주어나 목적어가 완전히 생략되기도 한다. 이러한 특징적인 언어현상이 일어나는 한국어대화를 처리하고 그것의 표상구조를 만들기 위해서 대화참석자에 관한 정보, 발화문의 화행에 관한 정보. 대화에 관련된 사람들의 사회적 지위에 있어서의 상대적 순위에 관한 정보, 대화에 나타나는 발화문 사이의 정보흐름 등을 묵시적으로가 아니라 명시적으로 표시하고 이용할 것을 본 논문은 제안한다. 또한. 본 논문은 이러한 상황정보(situational information)를 표시하고 이용하는 방법과 한국어대화의 적절한 표상구조를 제시한다. 본 논문에서 한국어대화표상구조의 설정은 담화표상이론(Discourse Representation Theory)과 분할담화표상이론(Segmented Discourse Representation Theory)을 수정ㆍ확대하여 이루어진다. 나아가서, 본 논문은 한국어대화를 전산적으로 어떻게 처리하고 그것의 표상구조를 구축하는지를 프롤로그 프로그래밍 언어를 사용하여 보여주고 나서, 그러한 표상구조의 타당성을 알아보기 위해 자연발생적 한국어대화에도 적용시켜 본다.

• 전기학회논문지
• /
• 제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.

• 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.