• Title/Summary/Keyword: If-then-else logic

Search Result 4, Processing Time 0.017 seconds

REDUCTION OF HILBERT-TYPE PROOF SYSTEMS TO THE IF-THEN-ELSE EQUATIONAL LOGIC

  • Jeong, Joo-Hee
    • 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.

Direct fault-tree modeling of human failure event dependency in probabilistic safety assessment

  • Ji Suk Kim;Sang Hoon Han;Man Cheol Kim
    • 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.

Fuzzy Logic Architecture for Deciding the Ranking at Racing Games (레이싱 게임에서 순위 결정을 위한 퍼지 논리 아키텍처)

  • Lee Se Il
    • 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.

  • PDF

Design of Rule-based System for Insurance Product (Rule 기반 상품규칙 시스템의 설계)

  • Kim, Do-Hyung;Oh, Young-Bae
    • 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.