• Journal of applied mathematics & informatics
• /
• v.14 no.1_2
• /
• pp.69-80
• /
• 2004

We present a construction of the linear reduction of Hilbert type proof systems for propositional logic to if-then-else equational logic. This construction is an improvement over the same result found in [4] in the sense that the technique used in the construction can be extended to the linear reduction of first-order logic to if-then-else equational logic.

• Nuclear Engineering and Technology
• /
• v.55 no.1
• /
• pp.119-130
• /
• 2023

Among the various elements of probabilistic safety assessment (PSA), human failure events (HFEs) and their dependencies are major contributors to the quantification of risk of a nuclear power plant. Currently, the dependency among HFEs is reflected using a post-processing method in PSA, wherein several drawbacks, such as limited propagation of minimal cutsets through the fault tree and improper truncation of minimal cutsets exist. In this paper, we propose a method to model the HFE dependency directly in a fault tree using the if-then-else logic. The proposed method proved to be equivalent to the conventional post-processing method while addressing the drawbacks of the latter. We also developed a software tool to facilitate the implementation of the proposed method considering the need for modeling the dependency between multiple HFEs. We applied the proposed method to a specific case to demonstrate the drawbacks of the conventional post-processing method and the advantages of the proposed method. When applied appropriately under specific conditions, the direct fault-tree modeling of HFE dependency enhances the accuracy of the risk quantification and facilitates the analysis of minimal cutsets.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.1 s.33
• /
• pp.133-140
• /
• 2005

If a Player car precedes from start to the end or a fuzzy car wins every day during computer or racing games, most players will lose their interest in the games soon after several times. In order to solve this Problem and increase amusement at racing games, the more important thing than anything else is decide the ranking. In this thesis, in order to give amusement In racing games, the researcher made a fuzzy car and made it race with player cars. Because the preceding fuzzy car runs ahead of player cars, it can recognize their behaviors according to change of following player cars' speed and distance, and the fuzzy car changes its memory, but doesn't enforce actual behaviors. If the fuzzy car would make decision, it has to do behaviors to compete the ranking on the basis of the contracts it has memorized under the situation where a timer is awarded. In addition, although an accompanying fuzzy car has different contents of memory, it is operated in the same way as mentioned above. At the time of experiments, the researcher applied the actual value to the test program and drew result for ranking competition. In conclusion, the researcher could confirm that we can have modeling of various behaviors by means of the method using fuzzy logic rather than simple if-then method.

• Journal of Information Technology Services
• /
• v.2 no.2
• /
• pp.63-73
• /
• 2003

Insurance system has a lot of decision factors which are affected by the kinds of insurance products. and has the features of many exceptions. Since in applying the product attributes to the current system the value definition through tables and the exception treatment logic (if then else) are used in parallel, the cost of a product change and a new product development becomes increased and the prompt market reaction is difficult. In this paper, we propose the well formed rule base system which makes data for the business logic of insurance attributes and discuss the benefit of application of this system to the real project.