• 한국정보처리학회논문지
• /
• 제3권5호
• /
• pp.1138-1146
• /
• 1996

퍼지 논리는 추론과정에서 일부의 정보가 무시되어 적절하지 못한 추론 결과를 초래할 수 있다. 한편, 신경망은 패턴 처리에는 적합하지만 인간의 지식을 모델링하기 위해서 필요한 논리적인 추론에는 부적합하다. 그러나 신경망의 변형인 신경논리망 (neural logic network)을 이용하면 논리적인 추론이 가능하다. 따라서 본 논문에서는 기존의 신경논리망을 기반으로 하는 추론 네트워크를 확장하여 퍼지추론 네트워크(fuzzy inference network)를 구성한다. 그리고 기존의 추론 네트워크에서 사용되는 전파규칙 (propagation rule)을 보완하여 적용한다. 퍼지추론 네트워크 상에서 퍼지 규칙의 실행부에 해당하는 명제의 믿음값을 결정하기 위해서는 추론하고자 하는 명제에 연결된 노드들을 탐색해야 한다. 이를 위해서 연결된 모든 노드들의 링크를 따라 순차적인 탐색을 하는 경우와 링크에 부여된 우선순위에 의해 탐색을 하는 경우의 탐색비용에 대하여 실험을 통해 비교·평가한다.

• 동의생리병리학회지
• /
• 제23권4호
• /
• pp.745-750
• /
• 2009

The goal of this study is to examine on reasoning and search for construction of diagnosis ontology as a knowledge base of diagnosis expert system in oriental medicine. Expert system is a field of artificial intelligence. It is a system to acquire information with diverse reasoning methods after putting expert's knowledge in computer systematically. A typical model of expert system consists of knowledge base and reasoning & explanatory structure offering conclusion with the knowledge. To apply ontology as knowledge base to expert system practically, consideration on reasoning and search should be together. Therefore, this study compared and examined reasoning, search with diagnosis process in oriental medicine. Reasoning is divided into Rule-based reasoning and Case-based reasoning. The former is divided into Forward chaining and Backward chaining. Because of characteristics of diagnosis, sometimes Forward chaining or backward chaining are required. Therefore, there are a lot of cases that Hybrid chaining is effective. Case-based reasoning is a method to settle a problem in the present by comparing with the past cases. Therefore, it is suitable to diagnosis fields with abundant cases. Search is sorted into Breadth-first search, Depth-first search and Best-first search, which have respectively merits and demerits. To construct diagnosis ontology to be applied to practical expert system, reasoning and search to reflect diagnosis process and characteristics should be considered.

• 정보과학회 논문지
• /
• 제43권1호
• /
• pp.61-70
• /
• 2016

근래에 들어 다양한 시멘틱 서비스를 위하여 기존의 지식을 바탕으로 새로운 지식을 고속으로 추론할 수 있는 대용량 온톨로지 추론 기법이 요구되고 있다. 이런 추세에 따라 대규모의 클러스터를 활용하는 하둡 및 Spark 프레임워크 기반의 온톨로지 추론 엔진 개발이 연구되고 있다. 또한, 기존의 CPU에 비해 많은 코어로 구성되어 있는 GPGPU를 활용하는 병렬 프로그래밍 방식도 온톨로지 추론에 활용되고 있다. 앞서 말한 두 가지 방식의 장점을 결합하여, 본 논문에서는 RDFS 대용량 온톨로지 데이터를 인-메모리 기반 프레임워크인 Spark를 통해 분산시키고 GPGPU를 이용하여 분산된 데이터를 고속 추론하는 방법을 제안한다. GPGPU를 통한 온톨로지 추론은 기존의 추론 방식보다 저비용으로 고속 추론을 수행하는 것이 가능하다. 또한 Spark 클러스터의 각 노드를 통하여 대용량 온톨로지 데이터에 대한 부하를 줄일 수 있다. 본 논문에서 제안하는 추론 엔진을 평가하기 위하여 LUBM10, 50, 100, 120에 대해 추론 속도를 실험하였고, 최대 데이터인 LUBM120(약 1백7십만 트리플, 2.1GB)의 실험 결과, 인-메모리(Spark) 추론 엔진 보다 7배 빠른 추론 성능을 보였다.

• 대한산업공학회지
• /
• 제18권1호
• /
• pp.81-89
• /
• 1992

After much research on qualitative reasoning, the problem of ambiguities still hampers the practicality of this important AI tool. In this paper, the sources of ambiguities are examined in depth with a systems engineering point of view and possible directions to disambiguation are suggested. This includes some modeling strategies and an architecture of temporal inference for building unambiguous qualitative models of practical complexity. It is argued that knowledge of multiple levels in abstraction hierarchy must be reflected in the modeling to resolve ambiguities by introducing the designer's decisions. The inference engine must be able to integrate two different types of temporal knowledge representation to determine the partial ordering of future events. As an independent quantity management system that supports the suggested modeling approach, LIQUIDS(Linear Quantity-Information Deriving System) is described. The inference scheme can be conjoined with ordinary rule-based reasoning systems and hence generalized into many different domains.

• 논리연구
• /
• 제12권2호
• /
• pp.59-88
• /
• 2009

귀납추론은 연역추론이 아니기 때문에 연역적으로 정당화될 수 없다. 또한 귀납추론을 귀납적으로 정당화하는 것은 순환적이다. 따라서 흄은 귀납추론을 합리적으로 정당화할 수 없다고 주장한다. 흄이 이와 같은 귀납의 문제를 제기한 이후 오랜 동안 많은 철학자들이 이 문제를 해결하고자 시도해 왔다. 그럼에도 불구하고, 아직껏 대다수의 철학자들이 동의하는 해결책이 제시되지 않고 있다. 셀라스에 따르면 귀납의 문제는 이론추론이 아니라 오직 실천추론을 통해서만 해결할 수 있다. 이 논문은 셀라스가 제안한 실천추론에 의한 귀납의 정당화를 좀 더 명확한 형태로 발전시켜 설명함으로써 그의 해결책이 귀납의 문제에 대한 근본 해결책임을 주장한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제1권1호
• /
• pp.19-30
• /
• 2012

상황인식 서비스라는 개념은 컴퓨팅과 통신을 기반으로 서비스를 제공 받는자의 주변 상황을 컴퓨터가 인식하고 스스로 판단하여 사용자에게 유용한 정보를 제공하는 서비스이다. 그러나 모바일 환경에서 제한된 모바일 기능과 메모리 공간 및 추론 비용 증가로 인해 소규모의 상황인식 처리 능력을 가지는 단점과 추론 엔진의 부분 개발로 인한 상황 정보 추론 방식의 제한적인 형태로 나타나고 있다. 이에 본 논문에서는 특정 플랫폼에 종속되지 않고 다양한 모바일기기에서 상황인식 서비스를 제공받을 수 있도록 PaaS기반의 GAE을 이용한 모바일 클라우드 상황인식 시스템을 제안한다. 제안하는 시스템의 추론 설계 방식은 OWL의 온톨로지와 SWRL 규칙으로 표현되는 시멘틱 추론을 이용한 지식베이스 프레임워크와 규칙 기반의 추론 엔진을 제공하는 Jess를 활용하여 설계한다. 아울러 기존 추론 질의 방식인 시멘틱 검색의 SparQL 질의 추론 방식의 단점을 극복하고자 SWRL형태의 Rule 규칙 정보인 Class, Property, Individual등의 속성값들을 특정 플러그인을 이용하여 Jess 추론 엔진에 연결하도록 설계한다.

• 전자공학회논문지C
• /
• 제34C권5호
• /
• pp.93-102
• /
• 1997

Conventional expert systems have difficulties in the inference on time-varing situations because they don't have the structure for processing time related informations and rule representation method to describe time explicitely. Some expert systems capable of temporal reasoning are not applicable to the domain in which state changes happen by unpredictble events that cannot be represented by periodic changes of data. In this paper, an event based temporal reasoning method is proposed. It is capable of processing te unpredictable events, representing the knowledge related to event and time, and infering by that knowledge as well as infering by periodically time-varing data. The NEO/temporal, an temporal inference engine, is implemented by applying the proposed temporal reasoning situation assessment and decision supporting system is implemented to show the benefits of the proposed temporal information processing model.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1993년도 Fifth International Fuzzy Systems Association World Congress 93
• /
• pp.1270-1273
• /
• 1993

Fuzzy optimal control is considered. An optimal sequence of controls is sought best satisfying fuzzy constraints on the controls and fuzzy goals on the states (outputs), with a fuzzy system under control Control over a fixed and specified, implicitly specified, fuzzy, and infinite termination time is discussed. For computational efficiency a small number of reference fuzzy staters and controls is to be assumed by which fuzzy controls and stated are approximated. Optimal control policies reference fuzzy states are determined as a fuzzy relation used, via the compositional rule of inference, to derive an optimal control. Since this requires a large number of overlapping reference fuzzy controls and states implying a low computational efficiency, a small number of nonoverlapping reference fuzzy states and controls is assumed, and then interpolative reasoning is used to infer an optimal fuzzy control for a current fuzzy state.

• 한국정밀공학회지
• /
• 제15권5호
• /
• pp.161-166
• /
• 1998

As a part of the configuration design expert system of machine tools, inference mechanisms are constructed in this paper. In addition to procedural inference, the method of multivariable inference is considered as an efficient approach to deal with the cases of highly coupled condition. We propose a generalized multi-variable inference procedure. The procedure is applied to the type selection module of the configuration design expert system of machine tools in order to demonstrate the efficiency and validity.

• 한국IT서비스학회지
• /
• 제9권3호
• /
• pp.123-144
• /
• 2010

As knowledge becomes a critical success factor of companies nowadays, lots of rule-based systems have been and are being developed to support their activities. Large number of rule-based systems serve as Web sites to advise, or recommend their customers. They usually use a backward chaining inference algorithm based on backtrack to implement those interactive Web-enabled rule-based systems. However, when the users like customers are using these systems interactively, it happens frequently where the users do not know some of the answers for the questions from the rule-based systems. We are going to design a backward chaining inference methodology considering unknown facts based on backtrack technique. Firstly, we review exact and inexact reasoning. After that, we develop a backward chaining inference algorithm for exact reasoning based on backtrack, and then, extend the algorithm so that it can consider unknown facts and reduce its search space. The algorithm speeded-up inference and decreased interaction time with users by eliminating unnecessary questions and answers. We expect that the Web-enabled rule-based systems implemented by our methodology would improve users' satisfaction and make companies' competitiveness.