• 제목/요약/키워드: rule justification

검색결과 15건 처리시간 0.025초

전문가 시스템을 이용한 소모사의 공정계획 (An expert system approach for process planning of worsted spun yarns)

  • 권영일;송서일
    • 한국경영과학회:학술대회논문집
    • /
    • 대한산업공학회/한국경영과학회 1994년도 춘계공동학술대회논문집; 창원대학교; 08월 09일 Apr. 1994
    • /
    • pp.653-659
    • /
    • 1994
  • Human experts have the various own knowledges to be applied in specialized domains. The fact that knowledge itself becomes more critical in the context of textile knowledge with rapid development of new fibers, automated equipments, processes and applications. Diversity of worsted spun yarns, lack of human expertise, and inconsistency among manually generated process plans in consequency of adjustment machine parameters owing to change up raw materials frequently increase the necessity of developing computer aided process planning(CAPP) systems for spinning process. Expert systems offer one of techniques to develop CAPP systems which would behave in a knowledgeable manner. Expert systems are the problem-solving computer program that can reach a level of performance comparable to that of a human expert in some specialized problem domain. This paper is described as job justification module. The job justification module performs to consult with users on which worsted spun yarn manufacturing process planning under the various factors, e.g., raw materials, machine parameters and required yarn counts. Also, the developed module informs the various knowledges relevant process planning. The job justification module offers the control parameters at each process and includes the various standard process plans as database. These knowledges are generated by facts and rules within rule bases.

Middle School Mathematics Teachers' Responses to a Student's Mistaken Mathematical Conjecture and Justification

  • Kim, Young-Ok
    • East Asian mathematical journal
    • /
    • 제29권2호
    • /
    • pp.109-135
    • /
    • 2013
  • The purpose of the study was to investigate the reality of middle school mathematics teachers' subject matter knowledge for teaching mathematical conjecture and justification. Data in the study were collected through interviewing nine Chinese and ten Korean middle school mathematics teachers. The teachers responded to the question that was designed in the form of a scenario that presents a teaching task related to a geometrical topic. The teachers' oral responses were audiotaped and transcribed, and their written notes were collected. The results of the study were compared to the analysis of American and Chinese elementary and secondary teachers' responses to the same task in Ball (1988) and Ma (1999). The findings of the study suggested that teachers' approaches to explaining and demonstrating a mathematical topic were significantly influenced by their knowledge of learners and knowledge of the curriculum they teach. One of the practical implications of the study is that teachers should recognize the advantages of learning the conceptual structure of a mathematical topic. It allows the teachers to have the flexibility to come up with meaningful mathematical approaches to teaching the topic, which are comprehensible to the learners whatever the grade levels they teach, rather than rule-based algorithms.

유아의 일상생활 규칙에 대한 어머니의 개념 연구 (Mothers' Conceptions of Everyday Rules for Young Children)

  • 부성숙;조인경
    • 아동학회지
    • /
    • 제29권5호
    • /
    • pp.113-131
    • /
    • 2008
  • This study examined mothers' ratings of everyday rules for their young children. Participants were 294 mothers of 2- to 5-year-old children attending kindergartens and nursery schools in Korea. Data were collected by questionnaire and were analyzed by $x^2$. Results indicated that the majority of mothers' rules for their children pertained to safety, interpersonal issues, and as children got older, social conventions. Mothers endorsed prudential justifications for safety and self-care, moral justifications for interpersonal rules, practical and moral justifications for safeguarding property, and conventional justifications for obedience/order and food/mealtime routines. Analyses of mothers' judgments of rule independence indicated that rules on interpersonal and safety issues were to be kept without exception.

  • PDF

INBANCA기법을 이용한 웹 서버 장애 진단 및 복구기법 (Web Server Fault Diagnoisi and Recovery Mechanism Using INBANCA)

  • 윤정미;안성진;정진욱
    • 한국정보처리학회논문지
    • /
    • 제7권8호
    • /
    • pp.2497-2504
    • /
    • 2000
  • 이 논문에서는 웹 서버 장애 항목을 정의하고, 장애를 진단하기 위한 규칙 및 복구 방법을 INBANCA기법을 이용하여 제안하였다. 장애 항목으로 프로세스 장애, 서버 과부하, 인터페이스 장애, 구성 및 성능 장애를 정의하였으며, 각 장애 항목을 진단하기 위한 지식을 활성 네트워크기법을 적용하여 표현하고, 이를 시스템 레벨 장애 진단 생성규칙과 서비스 레벨에 진단 생성규칙으로 정형화하였다. 또한 사례기반의 웹 서버 장애 복구를 위한 복구 규칙 정의 및 사례 라이브러리 구축을 통하여 환경 변수에 적응적인 복구 메커니즘을 제안하였다. 그리고 제안한 장애 진단규칙 및 복구 메커니즘의 타당성을 증명하기 위한 장애 환경 구성 및 각 장애 환경에 대한 생성규칙 적용과 복구과정을 실험을 통하여 제시하였다. 이 논문에서는 기하 급수적으로 증가하는 웹 서버의 장애 관리를 위한 메커니즘을 제안함으로써 웹 서버 관리를 위한 관리자의 노력을 최소화하고, 지능적인 장애 관리를 위한 방법론을 제시하고자 한다.

  • PDF

PIPPER를 이용한 전문가시스템의 규칙 생성 모듈 구현 (Implementation of a Rule Generation Module for Expert System using RIPPER)

  • 김군오;김진상
    • 한국지능정보시스템학회:학술대회논문집
    • /
    • 한국지능정보시스템학회 1999년도 추계학술대회-지능형 정보기술과 미래조직 Information Technology and Future Organization
    • /
    • pp.131-137
    • /
    • 1999
  • 전문가시스템 개발에 있어서 지식획득 병목현상(knowledge acquisition bottleneck)은 해결해야 할 큰 걸림돌중 하나이다. 지식획득을 위한 여러 과정을 단순화하고 자동화함으로 지식공학자의 작업을 최소화하면서 전문지식을 쉽고 빠르게 획득할 수 있도록 지식획득시스템을 설계·구현한다면 전문가시스템의 대중화는 지금보다 쉽게 이루어질 것이다. 본 연구는 지식 획득시스템 설계와 구현을 위한 연구의 일환으로 기계학습의 한 방법인 PIPPER(Repeated Incremental Pruning to Produce Error Reduction)를 이용하여 규칙을 생성하고 생성된 규칙을 JESS(Justification based Expert System Shell)에서 처리하도록 하였다. 규칙을 생성하기 위한 데이터는 Bohanec이 1997년도에 만든 자동차 평가 데이터베이스(Car Evaluation Database)를 사용하여 실험하였으며, 1700여 개의 레코드에서 약 40개의 규칙이 생성되었고, 생성된 규칙은 지식베이스의 정당성을 위반하지 않으면서 실행되었다.

  • PDF

An Adaptive Fuzzy Sliding Mode Controller for Robot Manipulators

  • Seo, Sam-Jun;Park, Gwi-Tae;Kim, Dongsik
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 2001년도 ICCAS
    • /
    • pp.162.1-162
    • /
    • 2001
  • In this paper, the adaptive fuzzy system is used as an adaptive approximator for robot nonlinear dynamic. A theoretical justification for the adaptive approximator is proving that if the representive point(RP or switching function) and its derivative in sliding mode control are used as the inputs of the adaptive fuzzy system, the adaptive fuzzy system can approximate robot nonlinear dynamics in the neighborhood of the switching surface. Thus the fuzzy controller design is greatly simplified and at the same time, the fuzzy control rule can be obtained easily by the reaching condition. Based on this, a new method for designing an adaptive fuzzy control system based on sliding mode is proposed for the trajectory tracking control of a robot with unknown nonlinear dynamics.

  • PDF

NATMS를 이용한 온톨로지 추론의 non-deterministic 문제 해결 및 일관성 오류 탐지 기법 (Solving Non-deterministic Problem of Ontology Reasoning and Identifying Causes of Inconsistent Ontology using Negated Assumption-based Truth Maintenance System)

  • 김제민;박영택
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제36권5호
    • /
    • pp.401-410
    • /
    • 2009
  • 온톨로지의 논리적 오류와 개념들 간의 포함 관계를 탐지하는 추론 엔진들이 소개되고 있다. 발표된 온톨로지 추론 엔진의 대부분은 태블로 알고리즘을 기반으로 구축되었다. 그러나 대부분의 추론 엔진들은 논리적 오류를 일으키는 원인은 밝히지 않고, 논리적 오류를 갖는 개념만을 탐지한다. 본 논문의 목적은 태블로 알고리즘 전개 과정 중에 발생하는 non-deterministic 상황을 최적화하는 동시에 논리적 오류를 일으키는 원인을 탐지하기 위한 방법을 연구하는 것이다. 따라서 본 논문에서는 논리적 부정 가정기반 진리 유지 시스템(NATMS)을 사용하여 non-deterministic 문제를 해결하고 논리적 오류 원인을 탐지하는 기법을 제안한다. 본 논문에서는 기존에 발표되었던 종속 부호 기반 백트랙킹 기법과 Swoop 프로젝트에 적용된 논리적 오류 원인을 탐지하는 기법을 소개하고, 제안하고자 하는 기법을 설명한다.

Fair Competition: The Concept of Regulation in the Sharing Economy

  • FAJAR, Mukti
    • The Journal of Asian Finance, Economics and Business
    • /
    • 제7권11호
    • /
    • pp.637-645
    • /
    • 2020
  • A free-market economic system supported by the progress of the Industrial Revolution 4.0 has given birth to a sharing economy with a disruptive business model. In many ways, this business model is more effective, efficient, and makes it easy for businesses and consumers. However, because disruptive innovation is not asymmetrical with the conventional business that sustains innovation, several regulatory issues arise because it is fundamentally very different and cannot be regulated by standard law. Disruptive innovation may create chaos if it is regulated by norms that are used to regulate conventional business. This research was conducted with a normative method, which examines various theories, principles, laws and regulations to get justification for how the law should govern. The findings of this study are: competition law must be designed pragmatically so that it can keep pace with changes in business models that are rapidly changing. For this reason, it is necessary to shift regulatory authority from the Government to business people to make self-regulation, as a rule, that was born from the agreement of the business actors themselves. Self-regulation is considered more effective in maintaining fair competition, so that the market will be more dynamic, and consumers will be more prosperous.

고속도로 지정차로제 위반과 교통사고 심각도와의 관계분석: 화물차량을 대상으로 (The Relationship between Violation of Designated Lane Usage and Accident Severity on Freeways)

  • 김주희;이수범;김다희;홍지연
    • 대한교통학회지
    • /
    • 제30권3호
    • /
    • pp.119-127
    • /
    • 2012
  • 도로에서의 안전한 주행을 위해서는 차량들의 전방 시야 확보와 주행속도가 비슷한 차량들의 동일차로 형성이 중요하다. 하지만, 화물차와 같은 대형차량은 승용차에 비해 주행속도가 낮고, 차체가 커서 승용차와 차로를 공유할 때에 사고의 위험을 높이게 된다. 이러한 피해를 줄이고자 우리나라 도로교통법은 차로통행기준을 지정하고 있으나 잘 지켜지지 않고 있는 현실이다. 이에 본 연구는 화물차량의 교통사고 심각도 분석을 통해 지정차로제의 당위성을 제공하고, 고속도로 안전대책마련에 기여하는데 목적이 있다. 사고심각도를 종속변수로 하고, 지정차로 위반여부 등 18개 독립변수로 이항 로지스틱 회귀분석을 통해 분석을 실시하였다. 분석 결과, 고속도로 화물차 교통사고 심각도에 영향을 주는 변수는 지정차로 위반여부, 날씨, 주야, 갓길주정차 관련여부 변수로 나타났다. Wald 값 비교 결과, 지정차로 위반변수가 가장 영향을 많이 미치는 것으로 나타나 지정차로 통행방법의 철저한 준수가 요구되며, 효과적인 단속활동 등 대책마련이 필요할 것으로 판단된다.

Understanding the Estimation of Circumference of the Earth by of Eratosthenes based on the History of Science, For Earth Science Education

  • Oh, Jun-Young
    • 대한지구과학교육학회지
    • /
    • 제10권2호
    • /
    • pp.214-225
    • /
    • 2017
  • 지구크기에 대한 최초의 정확한 측정은 기원전 230년, 헬레니즘의 과학자인, 에라토스테네스 (276-195 B.C.)에 의하여 이루어졌다. 역사적으로 수학적 추상화는 유럽의 고대 그리스인의 천재성을 보여주는 좋은 예이다. 그 당시에는 상상하기 어려운 태양이 멀리 떨어져 있기에 태양광선이 평행하게 지구에 입사한다는 전제를 요구하는, 논리적이고 과학적인 기법의 에라토스테네스의 과학적 방법의 성공이었다. 중요한 것은 간단한 수학적 비례식을 성립하기 위해서는 지구가 둥글고, 광선이 지구에 나란하게 들어온다는 가정이 필요하였다. 즉 천상으로부터 지상으로 유클리드 기학학이 연결된다는 내용이다. 그것은 최초로 태양중심을 주장한 아리스타쿠스의 제안을 받아들여야 했고, 아리스토텔레스의 자연관인 우주는 아름답고 우아하다는 사상에 기반을 두어 지구는 구처럼 대칭적이라는 것이다. 우리는 이러한 가정들을 현대가 아닌 그 당시 어떻게 정당화 했는지를 탐색하는 것이다. 또한 실험의 미적 관점에서 에라토스테네스의 지구측정의 중요한 특징은 단순성에 있다는 것을 강조하는 것이다.