• Journal of the Korean Institute of Intelligent Systems
• /
• v.10 no.6
• /
• pp.548-556
• /
• 2000

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10b
• /
• pp.27-29
• /
• 2000

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

• The Magazine of the IEIE
• /
• v.15 no.3
• /
• pp.51-56
• /
• 1988

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

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.15 no.6
• /
• pp.2026-2036
• /
• 1991

An expert system is developed which can diagnose the causes and remedies of the failures of power transmission gears. The basic components of the expert system are knowledge base, inference engine, and working memory. The knowledges in knowledge base are classified into the knowledges for determining the failure types and for diagnosis of causes and remedies of the failures. The former is represented hierarchically into the main category of eleven groups by rules and the sub category of twenty four groups by facts, while the later is represented by facts according to the each group of knowledges. In the inference engine some considerations are implemented, i.e., the backward chaining method and depth first search to determine the category of the failures, the meta-knowledges to shorten the search space, the certainty factor to evaluate the reliability of result, and the unification strategy to diagnose the causes and remedies of the failures. The working memory is established to hold the results during inference temporarily. In addition, 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 on IBM-PC compatible computer operated by MS-DOS and be executed alone.

• Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
• /
• v.7 no.11
• /
• pp.515-524
• /
• 2017

In this paper, we design and implement an expert system for diagnosing ADHD. As a result of the analysis with DSM-IV-TR, the ADHD diagnostic criteria are changed according to the age group. With this analyzed diagnostic, objects and their values are set and rules are created. We design a diagnostic system consisting of 'ADHD diagnostic system engine' and 'user query response program'. The ADHD diagnostic system engine is a rule-based reasoning engine that is implemented in the Prolog language and receives INPUT from the user query response program. By INPUT, the rule is executed based on the ADHD diagnostic criteria and the OUTPUT is sent back to the 'user query response program' by inferring the diagnostic result. The 'user query response program' is implemented in the Python language and serves as an interface for handling conversation with the user. The bridge between 'ADHD diagnostic system engine' and 'user query response program' is performed through the Pyswip library. As a result, the ADHD Diagnostic Expert System will help you plan your treatment with reduced diagnostic costs and use-complexity.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.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.

• Proceedings of the KIEE Conference
• /
• 1989.07a
• /
• 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.

• Korean Journal of Cognitive Science
• /
• v.14 no.2
• /
• pp.15-25
• /
• 2003

The Monkey and Banana Problem is an example commonly used for illustrating simple problem solving. It can be solved by conventional approaches, but this requires a procedural aspect when inferences are processed, and this fact works as a limitation condition in solving complex problems. However, if we use DNA computing methods which are naturally able to realize massive parallel processing. the Monkey and Banana Problem can be solved effectively without weakening the fundamental aims above. In this paper, we design a method of representing the problem using DNA molecules, and show that various solutions are generated through computer-simulations based on the design. The simulation results are obviously interesting in that these are contrary to the fact that the Prolog program for the Monkey and Banana Problem, which was implemented from the conventional point of view, gives us only one optimal solution. That is, DNA computing overcomes the limitations of conventional approaches.

• Journal of Internet Computing and Services
• /
• v.10 no.4
• /
• pp.139-149
• /
• 2009

In order to verify that a lot of legal requirements and regulations are correctly translated into software, this paper provides a solution for formal and computable representations of rules and requirements in data protection legislations with a DSML (Domain Specific Modeling Language). All policies are formally specified through Prolog and then integrated with DSML, According to the time of policy verification, this solution has two kinds of policies: static policies, dynamic policies.

• Fire Science and Engineering
• /
• v.3 no.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.