• Honam Mathematical Journal
• /
• v.20 no.1
• /
• pp.15-19
• /
• 1998

In this note we characterize the radical of a submodule by its invelope under some conditions and prove propositions about closed submodules.

• Journal of Korea Multimedia Society
• /
• v.7 no.4
• /
• pp.559-566
• /
• 2004

In general, the certainty factors of the fuzzy production rules and the certainty factors of fuzzy propositions appearing in the rules are represented by real values between zero and one. If it can allow the certainty factors of the fuzzy production rules and the certainty factors of fuzzy propositions to be represented by interval -valued fuzzy sets, then it can allow the reasoning of rule-based systems to perform fuzzy reasoning in more flexible manner. This paper presents fuzzy Petri nets and proposes an interval-valued fuzzy backward reasoning algorithm for rule-based systems based on fuzzy Petri nets Fuzzy Petri nets model the fuzzy production rules in the knowledge base of a rule-based system, where the certainty factors of the fuzzy propositions appearing in the fuzzy production rules and the certainty factors of the rules are represented by interval-valued fuzzy sets. The algorithm we proposed generates the backward reasoning path from the goal node to the initial nodes and then evaluates the certainty factor of the goal node. The proposed interval-valued fuzzy backward reasoning algorithm can allow the rule-based systems to perform fuzzy backward reasoning in a more flexible and human-like manner.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.625-631
• /
• 2004

In general, the certainty factors of the fuzzy production rules and the certainty factors of fuzzy Propositions appearing in the rules are represented by real values between zero and one. If it can allow the certainty factors of the fuzzy production rules and the certainty factors of fuzzy propositions to be represented by interval-valued fuzzy sets, then it can allow the reasoning of rule-based systems to perform fuzzy reasoning in more flexible manner(15). This paper presents a fuzzy Petri nets and proposes an interval-valued fuzzy reasoning algorithm for rule-based systems based on fuzzy Petri nets. Fuzzy Petri nets model the fuzzy production rules in the knowledge base of a rule-based system, where the certainty factors of the fuzzy Propositions appearing in the furry production rules and the certainty factors of the rules are represented by interval-valued fuzzy sets. The proposed interval-valued fuzzy set reasoning algorithm can allow the rule-based systems to perform fuzzy reasoning in a more flexible manner.

• Journal of Korean Medical classics
• /
• v.20 no.4
• /
• pp.187-210
• /
• 2007

Dunong(鈍翁), Yun-Ji had born by a concubine, and his dream didn't come true for the restraint of his social position, so he tried to train younger men. His writings still remain 4 volumes of "Dunongyeonsocheonjimundap" and "Dunongdongmongmundap(鈍翁童蒙問答)", which may be called its primer. "Dunongyeonsocheonjimundap" is written in question-and-answer form between Chal-Hye-Ja(察慧子) who has a meager knowledge and Sim-Gyeong-Ong(心耕翁) who search for the truth. It is progressed from the law of nature to human's cultivation of the mind so as to reconfirm the recognition of the unity between the heaven and human beings and lead the interpretation and practice of the metaphysical proposition. It is characterized by making use of metrical compositions to induce plain tone of argument. "Dunongdongmongmundap", whereas, uses archaic writings to describe natural science including astronomy to the beginners. Dunong's scholarship is characterized by these: He explained the metaphysical propositions by approaching usual things including oriental medicine practically; He comprised the Confucian concepts intensively to examine the Oriental studies closely; He groped for the outlooks on the world of taking serious view of human being or human body. And his medical thought is characterized by these: He attached importance to the theory of viscera and bowels based on yin-yang and five phase theory; He suggested the concrete yin-yang theory with a viewpoint of qi-blood theory; He considered the concept of 'six' only as mutual rooting of yin and yang and five visceras and six vowels, and denied the traditional six qi concepts; He explained the ghost theories of the metaphysics based on the yin-yang theory to analogize points of sameness between the oriental medicine and the metaphysics; He emphasized restore yang theory. Therefore, we can say that he regarded the human body as small heaven-earth and grafted the abstract propositions into the actuals so as to put the metaphysical propositions in practice.

• Communications of Mathematical Education
• /
• v.30 no.3
• /
• pp.393-418
• /
• 2016

Theory and fundamentals of mathematics consist mostly of proposition form. Activities by research of the proposition which leads to determine the true or false, justify the true propositions and refute with counterexample improve logical reasoning skills of students in emphases on mathematics education. Also, utilizing of counterexamples in school mathematics combines mathematical knowledge through the process of finding a counterexample, help the concept study and increase the critical thinking. These effects have been found through previous research. But many studies say that the learners have difficulty in generating counterexamples for false propositions and materials have not been developed a lot for the counterexample utilizing that can be applied in schools. So, this study analyzed the current textbook and examined the use of counterexamples and developed educational materials for counterexamples that can be applied at schools. That materials consisted of making true & false propositions and students was divided into three groups of academic achievement level. And then this study looked at the change of the students' thinking after counterexample classes. As a study result, in all three groups was showed a positive change in the cognitive domain and affective domain. Especially, in top-level group was mainly showed a positive change in the cognitive domain, in upper-middle group was mainly showed in the cognitive and the affective domain, in the sub-group was mainly found a positive change in the affective domain. Also in this study shows that the class that makes true or false propositions in education of utilizing counterexample, made students understand a given proposition, pay attention to easily overlooked condition, carefully observe symbol sign and change thinking of cognitive domain helping concept learning regardless of academic achievement levels of learners. Also, that class gave positive affect to affective domain that increase interest in the proposition and gain confidence about proposition.

• Journal of Korean Elementary Science Education
• /
• v.41 no.1
• /
• pp.79-92
• /
• 2022

This study examines the propositional connections and markers for connecting propositions in the texts of the 3^rd- and 6^th-grade science textbooks developed under the 2015 Revised Science Curriculum. A selection of texts from Korean and social science textbooks were analyzed and compared to those from science textbooks as well. The propositional connections were classified into emphasis, elaboration, exemplification, listing, addition, order, correspondence, causal relation, condition, and purpose types. The markers for the relationship of propositions were classified as demonstrative, using conjunctive, using a comma, using distinctive linguistic elements, and no marker types. The results showed that the frequency of propositional connections in the texts of the 6^th-grade textbooks was lower than that of Korean and/or social science textbooks. However, the frequency of the propositional connections in the texts of the 3^rd-grade textbooks was found to be lower than that of the social science textbook but higher than that of the Korean textbook. The types of order, listing, condition, and causal relation were dominant in science as well as Korean and social science textbooks. Over 40% of the markers for the relationship of propositions were found to be the no marker type, with the ratio of the no marker type being especially higher in the categories of order and causal relation.

• Korea Logistics Conference
• /
• v.10 no.2
• /
• pp.21-38
• /
• 2002

[ $\blacksquare$ ] The internet can have substitution, scale and structural impacts to this supply chain. $\blacksquare$ Complementary values of supply chain management and e-business. $\blacksquaret$ Using sound supply chain principles with e-business initiatives can create new business propositions. $\blacksquare$ The stakes of not moving forward are huge.

• Journal for History of Mathematics
• /
• v.12 no.2
• /
• pp.151-158
• /
• 1999

In this paper, the concepts of semiprime $L$-fuzzy ideals and semiprimary $L$-fuzzy ideals of a $L$-fuzzy ring are introduced and some fundamental propositions proved. And we investigate the relation between fuzzy nil radical and semiprimary.

• Lingua Humanitatis
• /
• v.2 no.2
• /
• pp.301-319
• /
• 2002

In a recent paper, I have proposed an analysis concerning propositions and 'that'-clauses as a solution to Kripke's puzzle and other similar puzzles, which I now call 'the Indefinite Description Analysis of Belief Ascription Sentences.' I have listed some of the major advantages of this analysis besides its merit as a solution to the puzzles: it is amenable to the direct-reference theory of proper names; it does not nevertheless need to introduce Russellian (singular) propositions or any other new entities. David Lewis has constructed an interesting argument to refute this analysis. His argument seems to show that my analysis has an unwelcome consequence: if someone believes any proposition, then he or she should, ipso facto, believe any necessary (mathematical or logical) proposition (such as the proposition that 1 succeeds 0). In this paper, I argue that Lewis's argument does not pose a real threat to my analysis. All his argument shows is that we should not accept the assumption called 'the equivalence thesis': if two sentences are equivalent, then they express the same proposition. I argue that this thesis is already in trouble for independent reasons. Especially, I argue that if we accept the equivalence thesis then, even without my analysis, we can derive a sentence like 'Fred believes that 1 succeeds 0 and snow is white' from a sentence like 'Fred believes that snow is white.' The consequence mentioned above is not worse than this consequence.

• Information Systems Review
• /
• v.5 no.1
• /
• pp.19-32
• /
• 2003

This paper develops a business model analysis framework and suggests a step-wise approach to the exploration of new business models. Three generic business model components, Value Change Model, Value Connection Model, and Value Complement Model, are identified based on their value propositions, and a composite of them, called Value Combination Model, is proposed. In order to integrate various value propositions from these business models, a business model analysis framework is also suggested. In order to test its real-world applicability, a case study is performed on the WLAN services and the effectiveness of the framework as a business model analysis tool is demonstrated.