• 제목/요약/키워드: Reasoning Rule

검색결과 263건 처리시간 0.024초

차세대 웹을 위한 SWRL 기반 역방향 추론엔진 SMART-B 의 개발

  • 송용욱;홍준석;김우주;이성규;윤숙희
    • 한국지능정보시스템학회:학술대회논문집
    • /
    • 한국지능정보시스템학회 2005년도 공동추계학술대회
    • /
    • pp.488-496
    • /
    • 2005
  • 현재의 웹이 HTML을 바탕으로 인간 사용자와의 인터페이스에 초점을 맞추고 있는데 비하여, 차세대 웹은 XML 및 XML 기반 각종 표준들을 바탕으로 소프트웨어 에이전트와의 인터페이스에 초점을 맞추어 나가고 있다. 차세대 웹에서 소프트웨어 에이전트의 두뇌 역할을 수행하기 위하여 추론엔진은 차세대 웹의 표준 언어인 시맨틱 웹(Semantic Web)을 충실히 이해할 수 있어야 한다. 이를 위한 기초 작업의 일환으로 OWL(Web Ontology Language)과 RuleML(Rule Markup Language)이 W3C에 제안된 바 있다. 본 연구에서는 SWRL을 규칙 표현 방법으로 사용하고, OWL을 사실 표현 방법으로 사용하는 역방향 추론엔진인 SMART-B(SeMantic web Agent Reasoning Tools - Backward chaining inference engine)을 개발하고자 한다. 이를 위하여 SWRL 기반 역방향 추론을 위한 요구 기능을 분석하고, 기존 역방향 추론 알고리즘에 차세대 시맨틱 웹을 요구 기능을 반영한 역방향 추론 알고리즘을 설계하였다. 또한, 유비쿼터스 환경에서의 각종 플랫폼의 독립성과 이식성을 확보하고 기기 간의 성능 차이를 극복할 수 있도록 사실 베이스 및 규칙 베이스의 관리도구와 역방향 추론 엔진 등을 Java 프로그래밍 언어를 이용하여 단위 컴포넌트의 형태로 개발 중에 있다.

  • PDF

확률적 러프 집합에 기반한 근사 규칙의 간결화 (Reduction of Approximate Rule based on Probabilistic Rough sets)

  • 권은아;김홍기
    • 정보처리학회논문지D
    • /
    • 제8D권3호
    • /
    • pp.203-210
    • /
    • 2001
  • 본 논문에서는 저장 데이터베이스의 정보 시스템을 정제하여 새로운 객체를 근사 추론하기 위한 규칙 생성에 관한 연구이다. 이 때 많은 수의 규칙 생성은 의사결정자로 하여금 직관적인 판단을 어렵게 하며 의사 결정 시 부가되는 시간적인 단점도 있다. 그러므로 본 논문에서는 확률적 러프 이론에 기반하여 규칙을 최대한 간결화 하는 데 주안점을 두었다. 제안하는 알고리즘은 러프 이론에 기반한 최적 리덕트를 생성하는 과정에 확률적 개념을 도입하여 리덕트 생성에서부터 어느 정도의 허용치를 부여함으로써 기존의 규칙 생성 알고리즘의 근사 결정 규칙을 보다 간결하게 표현할 수 있다. 이 과정에서 제안한 확률적 최소 리덕트 생성 알고리즘은 기존의 리덕트를 더욱 작게하여 추론에 필요한 조건 속성의 수를 최소화하였고 이는 확률적 근사 결정 규칙의 생성 과정에서 시간 복잡도에 따른 시간을 줄일 수 있다. 제안된 알고리즘을 이용하여 패턴 분류 문제에 표준적으로 사용되는 IRIS 데이터와 Wisconsin Breast Cancer 데이터에 대해 실험하였으며 허용된 분류율 하에서 규칙의 수와 간결함의 정도를 기존 알고리즘과 비교하였다.

  • PDF

A Study on Performance Assessment Methods Using Fuzzy Logic

  • Chae, Gyoo-Yong;Jang, Gil-Sang;Joo, Jae-Hun
    • 한국산업정보학회논문지
    • /
    • 제9권1호
    • /
    • pp.92-102
    • /
    • 2004
  • 자기 주도적 학습능력의 수준별 교육을 위한 평가 방법으로서, 수행평가는 문제해결 능력과 높은 사고 능력평가에 대한 한계점을 극복하고 수업의 질과 학교 정상화를 위한 계획으로 선호되고 있다. 그러나 수행평가는 평가 오류, 채점 공정성 문제, 신뢰도 및 객관성 등의 확보에 어려움 있다. 이런 문제점을 해결하고 수행평가 만족을 높이기 위하여, 본 논문에서는 회계원리 과목을 대상으로 수행평가에 대한 각 영역에서 영향을 주는 인자를 분석하여 퍼지 소속 함수를 설계하고, 이를 적용한 객관적이고 신뢰성 높은 수행평가 방법을 제시하고자 한다.

  • PDF

구르는 물체에 작용하는 마찰력에 대한 과학 영재학교 학생들의 이해의 특징 (Characteristics of Science High School Students' Understanding about friction acting on a rolling object)

  • 하상우
    • 과학교육연구지
    • /
    • 제42권2호
    • /
    • pp.120-131
    • /
    • 2018
  • 본 연구의 목적은 구르는 물체에 작용하는 마찰력에 대한 과학 영재 학생들의 이해의 특징을 살펴보고, 이로부터 도출할 수 있는 교수 학습법적인 시사점은 무엇인지 살펴보는 것이었다. 이를 위해 수도권 소재 과학영재학교에서 고급물리학을 수강하는 3학년 학생 48명을 연구 참여자로 하여 구르는 물체에 작용하는 마찰력에 대한 세 가지 문항을 개인별로 풀어보게 하고, 이후 조별 토론을 실시하였다. 연구 결과 학생들의 응답은 규칙형, 비규칙형, 계산형의 세 유형으로 나눌 수 있었으며, 비규칙형으로 분류되는 학생들이 가장 많았다. 이중 규칙형의 학생들은 마찰력과 관련한 규칙을 활용하여 구르는 물체에 작용하는 마찰력에 대해 추론하는데 어려움을 겪고 있었다. 연구자는 접촉면에서의 상대 운동을 강조하는 전략과 더불어 마찰력에 대한 규칙을 사용하지 않고도 마찰력의 방향을 제대로 추론하도록 가르친다면 학생들이 마찰력에 대한 깊은 이해에 도달할 수 있을 것이라고 생각한다.

단일머신 환경에서의 논리적 프로그래밍 방식 기반 대용량 RDFS 추론 기법 (Scalable RDFS Reasoning using Logic Programming Approach in a Single Machine)

  • 바트셀렘 작바랄;김제민;이완곤;박영택
    • 정보과학회 논문지
    • /
    • 제41권10호
    • /
    • pp.762-773
    • /
    • 2014
  • 시맨틱 웹상에서 RDFS로 표현된 데이터의 사용 증가로 인하여, 대용량 데이터의 추론에 대한 많은 요구가 생겨나고 있다. 많은 연구자들은 대용량 온톨로지 추론을 수행하기 위해서 하둡과 같은 고가의 분산 프레임워크를 활용한다. 그러나, 적절한 사이즈의 RDFS 트리플 추론을 위해서는 굳이 고가의 분산 환경 시스템을 사용하지 않고 단일 머신에서도 논리적 프로그래밍을 이용하면 분산 환경과 유사한 추론 성능을 얻을 수 있다. 본 논문에서는 단일 머신에 논리적 프로그래밍 방식을 적용한 대용량 RDFS 추론 기법을 제안하였고 다중 머신을 기반으로 한 분산 환경 시스템과 비교하여 2억개 정도의 트리플에 대한 RDFS 추론 시스템을 적용한 경우 분산환경과 비슷한 성능을 보이는 것을 실험적으로 증명하였다. 효율적인 추론을 위해 온톨로지 모델을 세부적으로 분리한 메타데이터 구조와 대용량 트리플의 색인 방안을 제안하고 이를 위해서 전체 트리플을 하나의 모델로 로딩하는 것이 아니라 각각 온톨로지 추론 규칙에 따라 적절한 트리플 집합을 선택하였다. 또한 논리 프로그래밍이 제공하는 Unification 알고리즘 기반의 트리플 매칭, 검색, Conjunctive 질의어 처리 기반을 활용하는 온톨로지 추론 방식을 제안한다. 제안된 기법이 적용된 추론 엔진을 LUBM1500(트리플 수 2억개) 에 대해서 실험한 결과 166K/sec의 추론 성능을 얻었는데 이는 8개의 노드(8 코아/노드)환경에서 맵-리듀스로 수행한 WebPIE의 185K/sec의 추론 속도와 유사함을 실험적으로 증명하였다. 따라서 단일 머신에서 수행되는 본 연구 결과는 트리플의 수가 2억개 정도까지는 분산환경시스템을 활용하지 않고도 분산환경 시스템과 비교해서 비슷한 성능을 보이는 것을 확인할 수 있었다.

Development of Expert System for Tower Cranes

  • Kim, Ki-sung;Kang, Dong-gil;Hong, Ki-sup
    • Journal of Ship and Ocean Technology
    • /
    • 제3권2호
    • /
    • pp.27-48
    • /
    • 1999
  • The paper is concerned with application to develop the expert system, which structural analysis and design process for tower cranes. The system is organized into three groups. One is pre-processor for creating input data files, another is `model former' which combines knowledge-base with inference engine for automatic generating structural analysis models, a third is application group for final analysis checks. In this study, geometric subroutine of `model former' designates node positions, nodes, elements numbers and element types. Load data subroutine computes weight of tower crane and device, slewing force, cargo load, wind force form rules or equations in knowledge-base. Also, Property and boundary subroutine applies element properties and boundary conditions to suitable elements and nodes. Design and analysis expert system for tower crane integrates these subroutine, `model former' and pre-processor. RBR(Rule-Base Reasoning) was adopted for a reasoning strategy of this expert system. And this expert system can produce structural analysis model and data, which can be used in ordinary structural analysis program (SAP, ADINA or NASTRAN, etc.). In this paper, this expert system produces format of the analysis model data, which are used in MSC/NASTRAN. The main discussions included in the paper are introduction of the tower crane and structural analysis, composition of the design expert system for tower crane and structural analysis using the expert system.

  • PDF

Dynamic System Identification Using a Recurrent Compensatory Fuzzy Neural Network

  • Lee, Chi-Yung;Lin, Cheng-Jian;Chen, Cheng-Hung;Chang, Chun-Lung
    • International Journal of Control, Automation, and Systems
    • /
    • 제6권5호
    • /
    • pp.755-766
    • /
    • 2008
  • This study presents a recurrent compensatory fuzzy neural network (RCFNN) for dynamic system identification. The proposed RCFNN uses a compensatory fuzzy reasoning method, and has feedback connections added to the rule layer of the RCFNN. The compensatory fuzzy reasoning method can make the fuzzy logic system more effective, and the additional feedback connections can solve temporal problems as well. Moreover, an online learning algorithm is demonstrated to automatically construct the RCFNN. The RCFNN initially contains no rules. The rules are created and adapted as online learning proceeds via simultaneous structure and parameter learning. Structure learning is based on the measure of degree and parameter learning is based on the gradient descent algorithm. The simulation results from identifying dynamic systems demonstrate that the convergence speed of the proposed method exceeds that of conventional methods. Moreover, the number of adjustable parameters of the proposed method is less than the other recurrent methods.

하수처리 프로세스의 선형 추론 퍼지 모델링 (Fuzzy Modeling of Activated Sludge Process Using Linear Reasoning Method)

  • 오성권;박종진;이성주;황희수;김현기;우광방
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1990년도 추계학술대회 논문집 학회본부
    • /
    • pp.417-420
    • /
    • 1990
  • The conventional quantitative techniques of system analysis are intrinsically unsuited for dealing with humanistic systems. Therefore, the rule based modeling of fuzzy linguistic type has been developed for the analysis of humanistic systems and complex systems and it is very significant for analysis and design of fuzzy logic controller. The activated sludge process is a commonly used method for treating sewage and waste waters. A mathematical tool to build a fuzzy model of the activated sludge process where fuzzy implications and linear reasoning are used is presented in here. A root-mean square error is used as the criterion of the fuzzy model's adequacy to the A.S.P. and the least square method is used for the identification of optimum consequence parameters. A method of modeling of the activated sludge process using its input-output data and simulation results for its application are shown.

  • PDF

A Study on Performance Assessment Methods by Using Fuzzy Membership Function and Fuzzy Reasoning

  • Je, Sung-kwan;Jang, Hye-Won;Shin, Bok-Suk;Kim, Cheol-Ki;Jaehyun Cho;Kim, Kwang-Baek
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2003년도 ISIS 2003
    • /
    • pp.608-611
    • /
    • 2003
  • Performance assessment was introduced to improvement of self-directed learning and method of assessment for differenced learning as the seventh educational curriculum is enforced. Performance assessment is overcoming limitation about problem solving ability and higher thinking abilities assessment that is problem of a written examination and get into the spotlight by way for quality of class and school normalization. But performance assessment has problems about possibilities of assessment fault by appraisal, fairness, reliability, and validity of grading, ambiguity of grading standard, difficulty about objectivity security etc. This study proposes fuzzy performance assessment system to solve problem of the conventional performance assessment. This paper presented an objective and reliable performance assessment method through fuzzy reasoning, design fuzzy membership function and define fuzzy rule analyzing factor that influence in each sacred ground of performance assessment to account principle subject. Also, performance assessment item divides by formation estimation and subject estimation and designed membership function in proposed performance assessment method. Performance assessment result that is worked through fuzzy performance assessment system can pare down burden about appraisal's fault and provide fair and reliable assessment result through grading that have correct standard and consistency to students.

  • PDF

공정계획과 재료선정의 동시적 해결을 위한 계층구조 전문가시스템 (A Hierarchical Expert System for Process Planning and Material Selection)

  • 권순범;이영봉;이재규
    • 지능정보연구
    • /
    • 제6권2호
    • /
    • pp.29-40
    • /
    • 2000
  • Process planning (selection and ordering of processes) and material selection for product manufacturing are two key things determined before taking full-scale manufacturing. Knowledge on product design. material characteristics, processes, time and cost all-together are mutually related and should be considered concurrently. Due to the complexity of problem, human experts have got only one of the feasilbe solutions with their field knowledge and experiences. We propose a hierarchical expert system framework of knowledge representation and reasoning in order to overcome the complexity. Manufacturing processes have inherently hierarchical relationships, from top level processes to bottom level operation processes. Process plan of one level is posted in process blackboard and used for lower level process planning. Process information on blackboard is also used to adjust the process plan in order to resolve the dead-end or inconsistency situation during reasoning. Decision variables for process, material, tool, time and cost are represented as object frames, and their relationships are represented as constraints and rules. Constraints are for relationship among variables such as compatibility, numerical inequality etc. Rules are for causal relationships among variables to reflect human expert\`s knowledge such as process precedence. CRSP(Constraint and Rule Satisfaction Problem) approach is adopted in order to obtain solution to satisfy both constraints and rules. The trade-off procedure gives user chances to see the impact of change of important variables such as material, cost, time and helps to determine the preferred solution. We developed the prototype system using visual C++ MFC, UNIK, and UNlK-CRSP on PC.

  • PDF