• Journal of Intelligence and Information Systems
• /
• v.13 no.3
• /
• pp.17-29
• /
• 2007

Inference engine that performs the brain of software agent in next generation's web with various standards based on standard language of the web, XML has to understand SWRL (Semantic Web Rule Language) that is a language to express the rule in the Semantic Web. In this research, we want to develop a forward inference engine, SMART-F (SeMantic web Agent Reasoning Tools-Forward chaining inference engine) that uses SWRL as a rule express method, and OWL as a fact express method. In the traditional inference field, the Rete algorithm that improves effectiveness of forward rule inference by converting if-then rules to network structure is often used for forward inference. To apply this to the Semantic Web, we analyze the required functions for the SWRL-based forward inference, and design the forward inference algorithm that reflects required functions of next generation's Semantic Web deducted by Rete algorithm. And then, to secure each platform's independence and portability in the ubiquitous environment and overcome the gap of performance, we developed management tool of fact and rule base and forward inference engine. This is compatible with fact and rule base of SMART-B that was developed. So, this maximizes a practical use of knowledge in the next generation's Web environment.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.45 no.5
• /
• pp.148-154
• /
• 2008

In a ubiquitous computing environment, a ubiquitous smart space is required to help devices provide intelligent services. The smart space embedded with mobile devices should have the capabilities of collecting data and refining the data to contact. Unfortunately, the context information in a ubiquitous smart space has many ambiguous characteristics. Therefore, it is necessary to adapt a standard taxonomy for contact information in the smart space and to implement an inference technique of the context information based on taxonomy. Rule-based inference engine, such as CLIPS, Jess, was employed for providing situation-aware services. However, it is difficult for these engines to be used in resource limited mobile devices. In this paper, we propose a light-weight inference engine providing autonomous situation aware services in mobile environment. It can be utilized for personal mobile devices tuck as mobile phone, PMP and navigation. It can also support both generalized rules and specialized rules as using hierarchical taxonomy information.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11b
• /
• pp.1221-1224
• /
• 2003

본 논문은 RBR(Rule-Based Reasoning) 기법과 RBR 기법에 적용될 규칙에 대한 우선순위를 둠으로써 효율적인 네트워크 설정을 만드는 동시에 네트워크 장애 발생시 장애를 진단 검출복구하는 에이전트 시스템에 관한 연구이다. 논문에서 제시하는 시스템은 AS 내에서 동작하는 것을 원칙으로 하며 각 네트워크의 에이전트들은 우선 순위 장애 탐지 및 복구를 위해 우선 순위에 따라 규칙을 적용한다. 장애 발생시 진단 검출 복구를 위해 에이전트는 상호 협력하며 장애 검출 및 진단 도구로써 ping, traceroute 등을 이용한다.

• Journal of KIISE:Databases
• /
• v.29 no.4
• /
• pp.311-320
• /
• 2002

The 'wrapper' is a module that extracts and processes information from the specified data source by the pre-composed extraction rule. 'HTML Wrapper for XML' extracts information from the web source as the form of XML document. Since composing the extraction rule is a repetitious and tedious job, it should be done as easy and fast as possible. This paper presents the method to minimize the composing job, which integrates GUI based training and scripting.

• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1329-1332
• /
• 1987

This paper describes a design of the expert system for diagnosis of abnormal gait patients. This system makes the rule-based representation that can easily extend the knowledge-base and naturally represent the uncertainty, and the inference engine that uses forward chaining which covers the reasoning from the first condition to the goal. The results of inferring various maladies using this system are as follows: 1) In cases of progressive muscular dystrophy, cerebral vascular accident, peripheral neuropathic lesion and peroneal nerve injury, the result of inference is the same as that of medical specialists' with 100% accuracy. 2) In cases of Neuritis, Paralysis agitan and Brain tumor, the accuracy of inference is less than 50% compared to that of medical specialists. With above results, we decide that the rule-based representations of some maladies ard accurate relatively, but that the correction and the extention of some rules and some methods of problem solving are required in order to construct the complete expert system for diagnosis of abnormal gait patients.

• The KIPS Transactions:PartB
• /
• v.10B no.7
• /
• pp.757-768
• /
• 2003

This paper proposes a weighted fuzzy reasoning algorithm for rule-based systems based on weighted fuzzy Pr/T nets, where the certainty factors of the fuzzy production rules, the truth values of the predicates appearing in the rules and the weights representing the importance of the predicates are represented by the fuzzy numbers. The proposed algorithm is more flexible and much closer to human intuition and reasoning than other methods : $\circled1$ calculate the certainty factors using by the simple min and max operations based on the only certainty factors of the fuzzy production rules without the weights of the predicates[10] : $\circled2$ evaluate the belief of the fuzzy production rules using by the belief evaluation functions according to fuzzy concepts in the fuzzy rules without the weights of the predicates[12], because this algorithm uses the weights representing the importance of the predicates in the fuzzy production rules.

• 제어로봇시스템학회:학술대회논문집
• /
• 1989.10a
• /
• pp.825-827
• /
• 1989

A heuristic model which determines the scheduling of serial flowshops with minimization of the makespan is proposed for an idealized batch chemical plant. It generates an initial sequence by heuristic reasoning and improves it recursively until no improvement is possible. The heuristic reasoning is based on Johnson's Rule which gives the sequence with the minimum makespan for a two-unit flowshop. The evolutionary step searches the neighborhood of the current sequence for sequences with lower makespan. The robustness of this model is also examined by comparing the minimum makespan of literature examples with the theoretical one.

• Journal of the Korean Data and Information Science Society
• /
• v.15 no.3
• /
• pp.663-675
• /
• 2004

A battlefield simulation is the evaluation and analysis of the battlefield area, based on the data for terrain, climate, unit's maneuver and tactics basically required in battlefield simulation. Because it is difficult for the military authorities to collect all of the information perfectly for the reason of communication technology, jamming, and tactics, the military authorities need the future moving status for the target units by using acquired moving information. Therefore, we propose a moving object management system that concurrently provides domain reasoning function for the battlefield simulation. In order to implement the proposed system, we show the data modeling of the moving object for the battlefield simulation, and propose an inference engine using domain rule base and spatiotemporal operation. Also, we analyze the query response rate by inference function to verify domain reasoning of the implemented system.

• Korean Journal of Cognitive Science
• /
• v.4 no.1
• /
• pp.261-294
• /
• 1993

Most of expert systems,as a rule-based system,should be convenient to modify a rule and to insert a new rule, which is called modularity of rules. When we think correlated evidences in expert systems. conventional systems are too local to recognize the common origin of the information, and they would update the belief of the hypothesis as if it were supposed by independence soureces. In this paper to overcome such drawbacks we propose Fuzzy Belief Network which is based on the Beysian Network which provide the modulartiy between rules. To build Fuzzy Belief Network, we define nodes and links and propose algorithms for data fusion in individual node and for propagation belief value obtained as a result of data fusion.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.938-941
• /
• 1995

This paper is concerned with the determination of assembly unit for hull block assembly processes for shipbuilding. In this study,genetic algorithm is adopted for assembly level allocation and assemaly unit is determined by rule-based reasoning. The criteria to detemine assembly unit is to minimize welding operation time for the block assembly.