• The Mathematical Education
• /
• v.52 no.4
• /
• pp.549-565
• /
• 2013

To help students understand the deduction system in the proof, we analyzed the textbook on mathematics at first. As results, we could find that the textbook' system of deduction is similar with the Euclid' system of deduction. The starting point of deduction is different with each other. But the flow of deduction match with each other. Next, we searched for the example of circular argument and analyzed. As results, we classified the circular argument into two groups. The first is an internal circular argument which is a circular argument occurred in a theorem. The second is an external circular argument which is a circular argument occurred between many theorems. We could know that the flow of deduction system is consistent in internal-external dimension. Lastly, we proposed the desirable teaching direction to help students understand the deduction system in the proof.

• Nuclear Engineering and Technology
• /
• v.22 no.2
• /
• pp.128-138
• /
• 1990

This paper presents a prototype expert system (ESRCP) for Reactor Coolant Pumps. The purpose of this system is to diagnose RCP failures and to offer corrective operational guides to plant operators. The first symptoms for the diagnosis are the alarms which are related to the RCP domain. Alarm processing is required to find a primary causal alarm when multiple alarms occur. The system performs the alarm processing by rule-based deduction or priority factor operation. To diagnose the RCP failure, the system performs rule-based deduction or Bayesian inference. Various sensor readings are required as symptoms to infer a root cause. When the symptoms are insufficient or uncertain to diagnose accurately, Bayesian inference is performed.

• Journal of Applied Tourism Food and Beverage Management and Research
• /
• v.13 no.1
• /
• pp.81-110
• /
• 2002

The temporary tax deduction on investment cutting the corporate income tax within 10% of the amount of investment is aimed at stimulating the investment for economic activity. 25 business sectors are applied to this tax law and in tourism, the accommodation registered by tour promotion law and international convention plan business belong to it. I'd like to mention the problem of the temporary tax deduction on investment amount for hotels and suggest better solutions. This tax law is so temporary applied that we shouldn't get tax deduction after June 30, 2002. So, we can't get income tax deduction on the investment out of the available period. And further more this tax law has a rule not real investment but solely new project investment for hotels. There are numbers of difference between real investment and new project investment. The amount of investment is based on an object of acquisition taxation. And also there are numbers of difference between real investment and an object of acquisition taxation. For example, landscape construction is a great part of hotel construction but it's not an object of acquisition taxation. For running hotel business, we also need lots of equipments such as linens utensils for restaurant and decorations for hotel interior. But these are also excluded from this tax law. As you know, these equipments can be regarded as product equipments in manufacture industry. Therefore we should take the specificity of hotel investment into consideration and expand the role of the temporary income tax deduction on investment amount for hotels.

• Industry Promotion Research
• /
• v.2 no.1
• /
• pp.39-44
• /
• 2017

The purpose of this study is to analyze the effect of the Naeil Chaeum deduction system on job satisfaction. The results of the study are summarized as follows. A total of 159 small to medium-sized enterprise workers participated in the deduction for Naeil Chaeum. The data were analyzed using SPSS Statistics 20, which included frequency analysis, factor analysis, reliability analysis, correlation analysis, regression analysis, and post analysis. First, the suitability of the method of the Naeil Chaeum deduction system has the highest positive effect on the job satisfaction. Second, the correlation of job satisfaction after filling in Naeil Chaeum deductions showed that fitness (p <.01, ${\beta}=.307$) and efficiency (p <.01, ${\beta}=.296$) had a significant effect on job satisfaction. Third, the analysis of the difference of job satisfaction according to the academic ability of the workers who were enrolled in Naeil Chaeum deduction system was analyzed that professional college graduates (2.08) were higher than job college graduates (1.99).The purpose of this study is to analyze the impact of the Fill - Down System on the job satisfaction by analyzing the importance of quality of life, job satisfaction, and muscle strength, analyzing the difference according to the demographic characteristics of the workers, And helping to stabilize the work life, and to verify the effectiveness of the study.

• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.59-96
• /
• 2018

${\bot}$It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (${\perp}$). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ${\perp}$. It is, however, not the problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation, ⊬$_s$, for a given system S and a meta-level absurdity, ⋏, to the intuitionistic system. We shall show that in the system, the inference to ${\perp}$ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ${\perp}$.

• Journal of Information Technology Applications and Management
• /
• v.23 no.3
• /
• pp.13-23
• /
• 2016

In recent years, big data has usefully been deployed by organizations with the aim of getting a better prediction for the future. Moreover, knowledge management systems are being used by organizations to identify and create knowledge. Here, the output from analysis of big data and a knowledge management system are used to develop a new model with the goal of minimizing the cost of implementing new recognized processes including staff training, transferring and employment costs. Strategies are proposed from big data analysis and new processes are defined accordingly. The company requires various skills to execute the proposed processes. Organization's current experts and their skills are known through a pre-established knowledge management system. After a gap analysis, managers can make decisions about the expert arrangement, training programs and employment to bridge the gap and accomplish their goals. Finally, deduction graph is used to analyze the model.

• Korean Journal of Cognitive Science
• /
• v.1 no.2
• /
• pp.347-360
• /
• 1989

Retearches on epistemology for artificial intelligence have started quite recently.Recently,Konolige made a contribution to epistemology by proposing a deduction model based on an efficieit modal logic for a proof mechanism for belief.In this thesis,a unified and generalized proof mechanism for the epistemic logic using a formal system called a View is pesented.In addition,the algorithm to adapt the theorem prover according to the given rule schema,which charncterizes the deduction model of the epistemic logic,is constructed. With this algorlthm,multiple agents having different rule schemas can co-exist in the proposed system. The soundness and completeness of the proposed proof mechanism is proved and a simple theorem prover is implemented to demonstrate the usefulness and practilcality.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.16 no.3
• /
• pp.147-156
• /
• 2016

A modalized Łukasiewicz three-valued propositional logic will be proposed in this paper which there are three modalities [t]; [m]; [f] to represent the three values t; m; f; respectively. And a Gentzen-typed deduction system will be given so that the the system is sound and complete with respect to the Łukasiewicz three-valued semantics Ł$_3$, which are given in soundness theorem and completeness theorem.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2018.11a
• /
• pp.559-560
• /
• 2018

• Proceeding of Spring/Autumn Annual Conference of KHA
• /
• 2011.04a
• /
• pp.161-166
• /
• 2011

This research was conducted in order to suggestion management program of Happy house center which facility of detached housings, multi family housing, and semi-detached housing management. This study's purpose is to systematically help create a district customized co-management housing management system among detached housing area by reflecting resident opinion and simultaneously provide basic research. The area of research is Sanjoen district in Ulsan city that compact old detached houses. The research study's results are follows: First, the overall survey results showed that most respondents demanded program of happy house center for housing energy deduction method and support of house insulation cost and heating fuel cost. Second, happy house center try to order of priority or housing maintenance and seek of cost deduction plan. Third, happy house center propose the Maeulmandeulgi(Machizkuri) program or housing management plan for residents' talent contribution.