• 한국지능시스템학회논문지
• /
• 제10권6호
• /
• pp.548-556
• /
• 2000

멀티에이전트 시스템(MAS: Multi-Agent System)에서 에이전트는 각자의 목표 달성을 위해 주위 에이전트들과의 상호작용을 통해 목표의 충돌이 없는 일치 상황에 도달하도록 설계되어야 한다. 멀티에이전트 시스템에서 에이전트들 사이의 목표 충돌은 일반적으로 발생 가능한 상황이고, 어떤 에이전트가 다른 에이전트에 관한 모든 지식을 가진다는 것은 불가능하기 때문에 상대방에 관한 부분적인 지식만을 가진 상황에서 목표 충돌을 해결할 수 있는 협상은 중요하다. 본 논문은 멀티에이전트 시스템에서 믿음(Belief), 소망(Desire); 그리고 의도(Intention)을 에이전트 구조의 핵심 요소로 가정하고 이러한 구조를 가지는 BDI 에이전트를 논리 프로그래밍의 입장에서 표현한다. 또한 서로 다른 목표를 가진 BDI 에이전트들이 서로 협상하여 문제를 해결하는 과정에서 발생하는 에이전트들 상호간의 목표 충돌을 해결하는 방법을 제시하며, 이 방법의 효과성을 검증하기 위하여 JAVA와 PROLOG를 결합시킨 InterPROLOG 프로그래밍 언어로 구현하여 시험한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (2)
• /
• pp.27-29
• /
• 2000

멀티에이전트 시스템(MAS: Multi-Agent System)에서 에이전트들 사이의 목표 충돌은 일반적으로 발생 가능한 상황이고, 어떤 에이전트가 다른 에이전트에 관한 모든 지식을 가진다는 것은 불가능하기 때문에 상대방에 관한 부분적인 지식만을 가진 상황에서 목표 충돌을 해결할 수 있는 협상은 중요하다. 본 논문은 MAS에서 믿음(Belief), 소망(Desire), 의도(Intention)를 에이전트 구조의 핵심 요소로 가정하고 이러한 구조를 가지는 BDI 에이전트를 논리 프로그래밍의 입장에서 표현한다. 또한 서로 다른 목표를 가진 BDI 에이전트들이 서로 협상하여 문제를 해결하는 과정에서 발생하는 에이전트들 상호간의 목표 충돌을 해결하는 방법을 제시하며, 이 방법의 효과성을 검증하기 위하여 JAVA와 PROLOG를 결합시킨 InterPROLOG 프로그래밍 언어로 구현하여 시험한다.

• 전자공학회지
• /
• 제15권3호
• /
• pp.51-56
• /
• 1988

지식처리시스템은 지식의 표현과 그 추론을 필요로 한다. 그 표현방법과 추론방법은 여러 가지가 있으나 논리(first order predicate logic)과 prolog가 무엇인지 설명하고, 논리언어를 빠르게 추론해 주는 논리머신은 어떤 종류가 있는지 살펴 보기로 한다.

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

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

• 예술인문사회 융합 멀티미디어 논문지
• /
• 제7권11호
• /
• pp.515-524
• /
• 2017

본 논문에서는 ADHD 진단을 해주는 전문가시스템을 설계 및 구현한다. DSM-IV-TR을 이용하여 ADHD 진단기준을 연령대에 따라 단어를 바꾸어 구체화한다. 이 진단지를 가지고 오브젝트와 해당 값을 설정하고 규칙을 생성한다. 그리고 'ADHD 진단 시스템 엔진'과 '사용자 질의응답 프로그램'으로 구성된 진단시스템을 설계한다. 'ADHD 진단 시스템 엔진'은 규칙 기반 추론 엔진으로 Prolog 언어로 구현하여, INPUT을 '사용자 질의응답 프로그램'으로부터 받는다. INPUT에 의해 규칙은 ADHD 진단기준을 기반으로 점화되며 진단결과를 추론해서 OUTPUT을 다시 '사용자 질의응답 프로그램'으로 보낸다. '사용자 질의응답 프로그램'은 Python 언어로 구현하여 사용자와의 대화를 처리하는 인터페이스 역할을 한다. 'ADHD 진단 시스템 엔진'과 '사용자 질의응답 프로그램'의 중간다리 역할을 Pyswip 라이브러리를 통해서 수행한다. 결과적으로 ADHD 진단 전문가시스템을 통해 진단비용 절감과 간편한 이용으로 치료계획에 도움을 주고자한다.

• 대한전자공학회논문지
• /
• 제27권9호
• /
• pp.1372-1377
• /
• 1990

We constructed an intelligent tutoring system that compose four devices i.e. intelligent interface, acqusition module, tutoring controller and tutorial knowledge. We implemented the intelligent tutoring system using prolog as an authoring language in the ultrix os under VAX-11/750, and we propose goal opriented tutoring system algorithm.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1989년도 하계종합학술대회 논문집
• /
• pp.233-236
• /
• 1989

This paper deals with the expert system using network configuration and input information composed of protective relays and tripped circuit breakers. This system has knowlegebase independent on network dimension because network representation consists of the type of the matrix. Therefore, the knowlege of network representation is simplified, the space of knowlege is reduced, the addition of facts to the knowlege is easy and the expansion of facts is possible. In this paper, the network representation is defined to system matrix. This expert system based on the system matrix diagnoses normal, abnormal operations of protective devices as well as possible fault sections. The brach and bound search technique is used: breadth first technique mixed with depth first technique of primitive PROLOG search technique. This system will be used for real time operations. This expert system obtaines the solution using the pattern matching in working memory without no listing approach for rule control. This paper is written in PROLOG, the A.I. language.

• 인지과학
• /
• 제14권2호
• /
• pp.15-25
• /
• 2003

원숭이와 바나나 문제는 인공지능과 관련된 여러 문헌에서 문제 해결(problem solving) 과정을 설명하는 예제로 자주 등장한다. 그러나 이 문제에 대한 전통적인 접근 방식은 추론을 수행함에 있어 절차적(procedural) 관점의 도입을 필요로 하며, 이는 복잡한 문제 해결에 제약 조건으로 작용한다. 그러나 대규모 병렬 처리가 가능한 DNA 컴퓨팅 기법을 이용하면서, AI 본연의 의미를 퇴색시키지 않고서도 이 문제를 효과적으로 해결할 수 있다. 본 논문에서는 DNA 분자를 사용해서 원숭이와 바나나 문제를 표현하는 방법을 설계한 후, 컴퓨터 시뮬레이션을 통해 다양한 해들(solutions)이 생성됨을 확인하였다. 전통적인 방법으로 구현된 Prolog 프로그램이 단 하나의 최적해밖에 제공해 주지 못한다는 사실과 비교해 볼 때, 이것은 확실히 흥미로운 결과이다.

• 인터넷정보학회논문지
• /
• 제10권4호
• /
• pp.139-149
• /
• 2009

본 논문에서는 데이터 보호 규정에 관련된 요구사항들이나 규칙들이 소프트웨어에 잘 표현되어 있는지를 검증하기 위하여 도메인 고유의 언어인 DSML(Domain Specific Modeling Language)을 사용해 정책을 정규화 혹은 계산적 표현에 관련된 솔루션을 제시하고 있다. 모든 정책들은 공식적으로 프롤로그( Prolog) 언어 기반으로 표현된 후 DSML에 통합되며 정책검증은 요구사항 준수가 언제 평가되어야 하는지에 따라 정적 정책검증과 동적 정책검증의 두가지 정책이 존재한다.

• 한국화재소방학회논문지
• /
• 제3권3호
• /
• pp.9-13
• /
• 1989

This paper realizers expert system which is searched most suitable system of the fire facilities by regulating of fire operating order And so, the user finds the inference, heuristic knowledge of the expert who has a mastery of application of the fire code objected protection, warning or extinguishing of fire. Although some expert systems utilize artificial intelligence such as LISP or PROLOG, this study utilizes M.1 that is available expert system development tool running with personal computer.