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

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

지식 거래 서비스를 위한 규칙기반 시맨틱 검색 기법 (Rule-based Semantic Search Techniques for Knowledge Commerce Services)

  • 송성광;김영지;우용태
    • 디지털산업정보학회논문지
    • /
    • 제6권1호
    • /
    • pp.91-103
    • /
    • 2010
  • This paper introduces efficient rule-based semantic search techniques to ontology-based knowledge commerce services. Primarily, the search techniques presented in this paper define rules of reasoning that are required for users to search using the concept of ontology, multiple characteristics, relations among concepts and data type. In addition, based on the defined rules, the rule-based reasoning techniques search ontology for knowledge commerce services. This paper explains the conversion rules of query which convert user's query language into semantic search words, and transitivity rules which enable users to search related tags, knowledge products and users. Rule-based sematic search techniques are also presented; these techniques comprise knowledge search modules that search ontology using validity examination of queries, query conversion modules for standardization and expansion of search words and rule-based reasoning. The techniques described in this paper can be applied to sematic knowledge search systems using tags, since transitivity reasoning, which uses tags, knowledge products, and relations among people, is possible. In addition, as related users can be searched using related tags, the techniques can also be employed to establish collaboration models or semantic communities.

Active Suspension System for a One-wheel Car Model Using Single Input Rule Modules Fuzzy Reasoning

  • Yoshimura, Toshio;Teramura, Itaru
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 2004년도 ICCAS
    • /
    • pp.1275-1280
    • /
    • 2004
  • This paper presents the construction of an active suspension system of a one-wheel car model by using fuzzy reasoning. The car model is approximately described by a nonlinear two degrees freedom system subject to excitation from a road profile, and the active control force is constructed by actuating a pneumatic actuator, and the degradation of the performance due to the delay of the pneumatic actuator is improved by inserting a compensator. The fuzzy control is obtained by single input rule modules fuzzy reasoning, and the excitation from the road profile is estimated by using a disturbance observer. The experimental result shows that the proposed active suspension system much improves the performance in the vibration suppression of the car model.

  • PDF

수학적 추론으로서의 가추법 (Abduction As A Mathematical Resoning.)

  • 김선희;이종희
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제12권2호
    • /
    • pp.275-290
    • /
    • 2002
  • This Study takes Peirce' abduction which is Phenomenology' first reasoning mode, as a part of mathematical reasoning with deduction and induction. Abduction(retroduction, hypothesis, presumption, and originary argument) leads a case through a result and a rule, while deduction leads a result through a rule and a case and induction leads a rule through a case and a result. Polya(1954) involved generalization, specialization, and analogy within induction, but this paper contain analogy in abduction. And metaphors and metonymies are also contained in abduction, in which metaphors are contained in analogy. Metaphors and metonymies are applied to semiosis i.e. the signification of mathematical signs. Semiotic analysis for a student's problem solving showed the semiosis with metaphors and metonimies. Thus, abductions should be regarded as a mathematical reasoning, and we must utilize abductions in mathematical teaming since abductions are thought as a natural reasoning by students.

  • PDF

Electrical Fire Cause Diagnosis System Using a Knowledge Base

  • Lee, Jong-Ho;Kim, Doo-Hyun;Kim, Sung-Chul
    • International Journal of Safety
    • /
    • 제6권2호
    • /
    • pp.27-32
    • /
    • 2007
  • For last several decades with the achievement of fast economic development, the electrical fires occupies over 30 percent of total fire incidents almost every year in Korea and not decreased in spite of much times and efforts. Electrical fire cause diagnostics are to confirm a cause for the fire by examination of fire scene. Cause diagnosis methods haven't been systematized yet, because of limits for available information, investigator's biased knowledge, etc. Therefore, in order to assist the investigators and to find out the exact causes of electrical fires, required is research for an electrical fire cause diagnosis system using DB, computer programming and some mathematical tools. The electrical fire cause diagnosis system has two functions of DB and electrical fire cause diagnosis. The cause diagnosis is conducted by a case-based reasoning on a case base and rule-based reasoning on a rule base. For the diagnosis with high reliability, a mixed reasoning approach of a case-based reasoning and fuzzy rule-based reasoning has been adopted. The electrical fire cause diagnosis system proposes the electrical fire causes inferred from the diagnosis processes, and possibility of the causes as well.

가중 퍼지 페트리네트를 이용한 가중 퍼지 후진추론 (Weighted Fuzzy Backward Reasoning Using Weighted Fuzzy Petri-Nets)

  • 조상엽;이동은
    • 인터넷정보학회논문지
    • /
    • 제5권4호
    • /
    • pp.115-124
    • /
    • 2004
  • 본 논문에서는 가중 퍼지 페트리네트에 기반을 둔 규칙기반시스템을 위한 가중 퍼지 후진추론 알고리즘을 제안한다. 규칙기반시스템에 있는 퍼지 생성규칙은 가중 퍼지 페트리네트로 모형화된다. 여기에서 퍼지 생성규칙에 나타나는 퍼지 명제의 진리값과 규칙의 확신도는 퍼지 숫자로 표현한다. 그리고 규칙에 나타나는 퍼지 명제의 가중값도 퍼지 숫자로 표현하다. 제안한 가중 퍼지 후진추론 알고리즘은 목표노드에서 초기노드까지 후진추론 통로를 생성한 후 목표노드의 확신도를 계산한다. 우리가 제안한 알고리즘은 규칙기반시스템이 더 유연하고 사람과 같은 방법으로 가중 퍼지 후진추론을 하는 것을 가능하게 한다.

  • PDF

퍼지 페트리네트를 이용한 구간간 퍼지집합 추론 (Interval-valued Fuzzy Set Reasoning Using Fuzzy Petri Nets)

  • 조경달;조상엽
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제31권5호
    • /
    • pp.625-631
    • /
    • 2004
  • 일반적으로 퍼지 생성규칙의 확신도와 규칙에 나타나는 퍼지 명제의 확신도는 0과 1사이의 실수로 표현한다. 만일 퍼지 생성규칙의 확신도와 퍼지 명제의 확신도를 구간 값 퍼지 집합으로 표현한다면, 규칙기반시스템이 더 유연한 방법으로 퍼지 추론을 하는 것이 가능하게 된다[15]. 본 논문에서는 퍼지 페트리네트와 이 네트에 기반을 둔 규칙기반시스템을 위한 구간 값 퍼지 집합 추론 알고리즘을 제안한다. 규칙기반시스템에 있는 퍼지 생성규칙은 퍼지 페트리네트로 모형화 된다. 여기에서 퍼지 생성규칙에 나타나는 퍼지 명제의 확신도와 규칙의 확신도는 구간 값 퍼지 집합으로 표현한다. 제안한 구간 값 퍼지집합 추론알고리즘은 규칙기반시스템에서 더 유연한 퍼지추론을 하는 것을 가능하게 한다.

전기화재 원인진단을 위한 지능형 프로그램 개발 (Development of an Intelligent Program for Diagnosis of Electrical Fire Causes)

  • 권동명;홍성호;김두현
    • 한국안전학회지
    • /
    • 제18권1호
    • /
    • pp.50-55
    • /
    • 2003
  • This paper presents an intelligent computer system, which can easily diagnose electrical fire causes, without the help of human experts of electrical fires diagnosis. For this system, a database is built with facts and rules driven from real electrical fires, and an intellectual database system which even a beginner can diagnose fire causes has been developed, named as an Electrical Fire Causes Diagnosis System : EFCDS. The database system has adopted, as an inference engine, a mixed reasoning approach which is constituted with the rule-based reasoning and the case-based reasoning. The system for a reasoning model was implemented using Delphi 3, one of program development tools, and Paradox is used as a database building tool. To verify effectiveness and performance of this newly developed diagnosis system, several simulated fire examples were tested and the causes of fire examples were detected effectively by this system. Additional researches will be needed to decide the minimal significant level of the solution and the weighting level of important factors.

Belief Function Retraction and Tracing Algorithm for Rule Refinement

  • Lee, Gye Sung
    • International journal of advanced smart convergence
    • /
    • 제8권2호
    • /
    • pp.94-101
    • /
    • 2019
  • Building a stable knowledge base is an important issue in the application of knowledge engineering. In this paper, we present an algorithm for detecting and locating discrepancies in the line of the reasoning process especially when discrepancies occur on belief values. This includes backtracking the rule firing from a goal node of the rule network. Retracting a belief function allows the current belief state to move back to another belief state without the rule firing. It also gives an estimate, called contribution measure, of how much the rule has an impact on the current belief state. Examining the measure leads the expert to locate the possible cause of problem in the rule. For non-monotonic reasoning, the belief retraction method moves the belief state back to the previous state. A tracing algorithm is presented to identify and locate the cause of problem. This also gives repair suggestions for rule refinement.

데이터마이닝과 사례기반추론 기법에 기반한 인터넷 구매지원 시스템 구축에 관한 연구 (A Study on the Development of Internet Purchase Support Systems Based on Data Mining and Case-Based Reasoning)

  • 김진성
    • 한국경영과학회지
    • /
    • 제28권3호
    • /
    • pp.135-148
    • /
    • 2003
  • In this paper we introduce the Internet-based purchase support systems using data mining and case-based reasoning (CBR). Internet Business activity that involves the end user is undergoing a significant revolution. The ability to track users browsing behavior has brought the vendor and end customer's closer than ever before. It is now possible for a vendor to personalize his product message for individual customers at massive scale. Most of former researchers, in this research arena, used data mining techniques to pursue the customer's future behavior and to improve the frequency of repurchase. The area of data mining can be defined as efficiently discovering association rules from large collections of data. However, the basic association rule-based data mining technique was not flexible. If there were no inference rules to track the customer's future behavior, association rule-based data mining systems may not present more information. To resolve this problem, we combined association rule-based data mining with CBR mechanism. CBR is used in reasoning for customer's preference searching and training through the cases. Data mining and CBR-based hybrid purchase support mechanism can reflect both association rule-based logical inference and case-based information reuse. A Web-log data gathered in the real-world Internet shopping mall is given to illustrate the quality of the proposed systems.

Combining Multi-Criteria Analysis with CBR for Medical Decision Support

  • Abdelhak, Mansoul;Baghdad, Atmani
    • Journal of Information Processing Systems
    • /
    • 제13권6호
    • /
    • pp.1496-1515
    • /
    • 2017
  • One of the most visible developments in Decision Support Systems (DSS) was the emergence of rule-based expert systems. Hence, despite their success in many sectors, developers of Medical Rule-Based Systems have met several critical problems. Firstly, the rules are related to a clearly stated subject. Secondly, a rule-based system can only learn by updating of its rule-base, since it requires explicit knowledge of the used domain. Solutions to these problems have been sought through improved techniques and tools, improved development paradigms, knowledge modeling languages and ontology, as well as advanced reasoning techniques such as case-based reasoning (CBR) which is well suited to provide decision support in the healthcare setting. However, using CBR reveals some drawbacks, mainly in its interrelated tasks: the retrieval and the adaptation. For the retrieval task, a major drawback raises when several similar cases are found and consequently several solutions. Hence, a choice for the best solution must be done. To overcome these limitations, numerous useful works related to the retrieval task were conducted with simple and convenient procedures or by combining CBR with other techniques. Through this paper, we provide a combining approach using the multi-criteria analysis (MCA) to help, the traditional retrieval task of CBR, in choosing the best solution. Afterwards, we integrate this approach in a decision model to support medical decision. We present, also, some preliminary results and suggestions to extend our approach.