• Journal of KIISE:Software and Applications
• /
• v.34 no.6
• /
• pp.530-538
• /
• 2007

Most existing deductive engines study for optimization of TBox based on Tableaux algorithm. However, in order to deduce mass-storing ABox in reality, it can't be decided in finite time. Therefore, for the efficiency of the deductive engine, there needs to be reasoning technique optimized for ABox. This paper uses the method that changes OWL-DL based Ontology to the form of Rule like Datalog in order to interlock store device such as RDBMS. Ultimately, it tries to in circumstance of real world. Therefor, using Axiom that OWL holds, it suggests reasoning method that applies rules including datatype.

• Journal of Korean Institute of Industrial Engineers
• /
• v.16 no.2
• /
• pp.63-70
• /
• 1990

This paper presents a new temporal reasoning scheme based on explicit expression of time intervals. The proposed scheme deals with the general problem of temporal knowledge representation and temporal reasoning and may be used in rule-based systems and qualitative models. Time intervals, not time points, are defined in terms of orders and/or numbers in a quantity space. As a result, the system behavior is represented in the form of partially ordered networks. Such explicit and qualitative description of temporal quantities enables both reduction of ambiguity and parsimonious used of temporal information. Based on the proposed temporal reasoning scheme, a new rule-based qualitative simulation system is being built and evaluated.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.12B
• /
• pp.767-778
• /
• 2007

In this paper, we propose a Intelligent Service Reasoning (ISR) model using data mining in smart home environments. Our model creates a service tree used for service reasoning on the basis of C4.5 algorithm, one of decision tree algorithms, and reasons service that will be offered to users through quantitative weight estimation algorithm that uses quantitative characteristic rule and quantitative discriminant rule. The effectiveness in the performance of the developed model is validated through a smart home-network simulation.

• International journal of advanced smart convergence
• /
• v.7 no.2
• /
• pp.47-54
• /
• 2018

This paper is a study on implementation of the golf play advice system which provides advice to golfers through mobile devices. The system consists of a mobile unit consisting of a GPS receiver, a data transmitter and receiver, and a display unit, and a server unit composed of a database and advice generator. The advice generator that provides advices to the users, generates advices with IF-THEN rule-based reasoning method. The reasoning module utilizes golfer's personal records and various information in the database of the server unit. This system provides the advice to the users who play on the golf course through mobile devices, so that it is possible to provide various information similar to the screen golf using the computer simulating technology in the outdoor golf course.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.5
• /
• pp.587-592
• /
• 2004

Context-aware computing systems require real-time context reasoning process for context awareness. Context reasoning can be done by comparing input information from sensors with knowledge-base within system. This method is identical with it of rule-based systems. In this paper, we propose hardware rule-based system architecture which can process context reasoning in real-time. Compared to previous architecture, hardware rule-based system architecture can reduce the number of constraints on rule representations and combinations of condition terms in rules. The modified content addressable memory, crossbar switch network and pre-processing module are used for reducing constraints. Using SystemC for description can provide easy modification of system configuration later.

• Korean Journal of Cognitive Science
• /
• v.10 no.4
• /
• pp.51-62
• /
• 1999

This paper proposes a fuzzy Petri net representation to represent the fuzzy production rules of a rule-based expert system. Based on the fuzzy Petri net representation. we present a fuzzy reasoning algorithms which consist of forward and b backward reasoning algorithm. The proposed algorithms. which use the proper belief evaluation functions according to fuzzy concepts in antecedent and consequent of a fuzzy production rule. are more closer to human intuition and reasoning than other methods. The forward reasoning algorithm can be represented by a reachability tree as a kind of finite directed tree. The backward reasoning algorithm generates the backward reasoning path from the goal to the initial nodes and then evaluates the belief value of the goal node using belief evaluation functions.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.1354-1357
• /
• 1993

This paper proposes that the best reasoning(i.e. rule evaluation) method which should be used in a fuzzy system significantly depends on the reasoning environment. It is shown that allowing for dynamic switching of reasoning methods leads to better performance, even when only two different reasoning methods are considered. This paper discusses DSFS (Dynamic Switching Fuzzy System) which dynamically switches and finds the best reasoning method (from among 80 different possible reasoning methods) to use depending on the reasoning situation. To overcome the reasoning speed and memory problem of DSFS due to its computational requirements, the DSFS Switching Reasoning Table method is proposed and its higher performance as compared to a conventional fuzzy system is shown. Finally, efforts to obtain general relationships between the characteristics of different reasoning methods and the actual control surface/environment is discussed.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2002.05a
• /
• pp.81-86
• /
• 2002

In current CBR(Case-Based Reasoning) systems, the case adaptation is usually performed by rule-based method that use rules hand-coded by the system developer. So, CBR system designer faces knowledge acquisition bottleneck similar to those found in traditional expert system design. In this thesis, 1 present a model for learning method of case adaptation knowledge using case base. The feature difference of each pair of cases are noted and become the antecedent part of an adaptation rule, the differences between the solutions in the compared cases become the consequent part of the rule. However, the number of rules that can possibly be discovered using a learning algorithm is enormous. The first method for finding cases to compare uses a syntactic measure of the distance between cases. The threshold fur identification of candidates for comparison is fixed th the maximum number of differences between the target and retrived case from all retrievals. The second method is to use similarity metric since the threshold method may not be an accurate measure. I suggest the elimination method of duplicate rules. In the elimination process, a confidence value is assigned to each rule based on its frequency. The learned adaptation rules is applied in riven target Problem. The basic. process involves search for all rules that handle at least one difference followed by a combination process in which complete solutions are built.

• The KIPS Transactions:PartB
• /
• v.9B no.3
• /
• pp.263-270
• /
• 2002

Most conventional systems of fire fighting control in a ship have been based on rule-based system in which expert knowledges are expressed with production rules. Renewing and adding of rules is needed continuously for the improvement of the system capability in an already build-up system and such adding and renewing procedures could hinder users from fluent utilization of a system. The author proposes an advanced fire fighting control intelligent system (A-FFIS) using rule-based and carte-based reasoning by clustering to implement conventional hybrid system (H-FFIS). Compared with H-FFIS, new approach with A-FFIS shows that the system proposed here improves fire detection rate and reduces fire detection time.

• Journal of KIISE
• /
• v.41 no.9
• /
• pp.686-698
• /
• 2014

Recently, large-scale streaming sensor data have emerged due to explosive supply of smart phones, diffusion of IoT and Cloud computing technology, and generalization of IoT devices. Also, researches on combination of semantic web technology are being actively pushed forward by increasing of requirements for creating new value of data through data sharing and mash-up in large-scale environments. However, we are faced with big issues due to large-scale and streaming data in the inference field for creating a new knowledge. For this reason, we propose the RDFS rule based parallel reasoning scheme to service by processing large-scale streaming sensor data with the semantic web technology. In the proposed scheme, we run in parallel each job of Rete network algorithm, the existing rule inference algorithm and sharing data using the HBase, a hadoop database, as a public storage. To achieve this, we implement our system and evaluate performance through the AWS data of the weather center as large-scale streaming sensor data.