• Journal of Intelligence and Information Systems
• /
• v.7 no.1
• /
• pp.161-175
• /
• 2001

In this paper, a detection method of contradiction between input informations is proposed when the inference is processed in rule-based systems. The proposed method is accomplished by improving the label representation and the label management scheme in a conventional ATMS(Assumption-based Truth Maintenance System). The Proposed method also can represent and process input informations having uncertainty values.

• Journal of the Korean School Mathematics Society
• /
• v.26 no.1
• /
• pp.21-47
• /
• 2023

This study examines the activity system of teaching and learning about informal statistical inference using sampling simulation, based on cultural-historical activity theory. The research explores what contradictions arise in the activity system and how the system changes as a result of these contradictions. The participants were 20 elementary school students in the 5th to 6th grades who received classes on informal statistical inference using sampling simulations. Thematic analysis was used to analyze the data. The findings show that a contradiction emerged between the rule and the object, as well as between the mediating artifact and the object. It was confirmed that visualization of empirical sampling distribution was introduced as a new artifact while resolving these contradictions. In addition, contradictions arose between the subject and the rule and between the rule and the mediating artifact. It was confirmed that an algorithm to calculate the mean of the sample means was introduced as a new rule while resolving these contradictions.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.5
• /
• pp.1434-1445
• /
• 2000

An expert system executes the inference, based on the knowledge of specific domain. the reliability on the results of inference depends upon both the consistency and accuracy of knowledge. This is the reason why expert system requires the facilities which can practice an access to the various kinds of knowledge and maintain the consistency and accuracy of knowledge an maintain the consistency and accuracy of knowledge. This paper is to implement an expert system permitting an access of declarative and procedural knowledge in the knowledge base and in the data base. This paper is also to implement a knowledge acquisition system which adds the knowledge a only if its accuracy and consistency are maintained, after verifying the potential errors such as contradiction, redundancy, circulation, non-reachable rule and non-lined rule. In consequence, the expert system realizes a good access to the various sorts of knowledge and increases the reliability on the results of inference. The knowledge acquisition system contributes tro strengthening man-machine interface that enables users to add the knowledge easily to the knowledge base.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.4
• /
• pp.151-159
• /
• 2003

Internet as being generalized, intrusion detection system is needed to protect computer system from intrusions synthetically. We propose an intrusion detection method to identify and control the contradiction on self-explanation that happen at profiling process of anomaly detection methodology. Because many patterns can be created on profiling process with association method, we present effective application plan through clustering for rules. Finally, we propose similarity function to decide whether anomaly action or not for user pattern using clustered pattern database.

• Publications of The Korean Astronomical Society
• /
• v.7 no.1
• /
• pp.89-96
• /
• 1992

Recent spectroscopic observations indicate concentration of dark masses in the nuclei of nearby galaxies. This has been usually interpreted as the presence of massive black holes in these nuclei. Alternative explanations such as the dark cluster composed of low mass stars (brown dwarfs) or dark stellar remnants are possible provided that these systems can be stably maintained for the age of galaxies. For the case of low mass star cluster, mass of individual stars can grow to that of conventional stars in collision time scale. The requirement of collision time scale being shorter than the Hubble time gives the minimum cluster size. For typical conditions of M31 or M32, the half-mass radii of dark clusters can be as small as 0.1 arcsecond. For the case of clusters composed of stellar remnants, core-collapse and post-collapse expansion are required to take place in longer than Hubble time. Simple estimates reveal that the size of these clusters also can be small enough that no contradiction with observational data exists for the clusters made of white dwarfs or neutron stars. We then considered the possible outcomes of interactions between the black hole and the surrounding stellar system. Under typical conditions of M31 or M32, tidal disruption will occur every $10^3$ to $10^4$ years. We present a simple scenario for the evolution of stellar debris based on basic principles. While the accretion of stellar material could produce large amount of radiation so that the mass-to-light ratio can become too small compared to observational values it is too early to rule out the black hole model because the black hole can consume most of the stellar debris in time scale much shorter than mean time between two successive tidal disruptions. Finally we outline recent effort to simulate the process of tidal disruption and subsequent evolution of the stellar debris numerically using Smoothed Particle Hydrodynamics technique.

• Journal of the Korean Society of Costume
• /
• v.23
• /
• pp.197-209
• /
• 1994

The purpose of this study is to present a way to analyze and review the subjective view of the aesthetic for dress based on the framework of the aesthetic categories suggested by aesthetics. In order to define objectivism and subjectivism of the aesthetic of dress, theoretical studies on the aesthetic categories of dress were precded. And empirical studies on the aethetic categories of dress for selected period, the Renaissance (16th century) and the Baroque(17 th century). The results were follows : The objectivism of the aesthetic is the point of that an object causes human to feel and judge aesthetically, that is that of dress means judge aesthetically, that is that of dress means formal characteristic of dress and pervasive ideology expressed in dress. the subjectivism of the aesthetic is the point that the aesthetic is ruted in human, that is that of dress has been studied in relation to the image, the aesthetic consciousness m, or the aesthetic categories of dress. Especially, the aesthetic category is one of the universal and valid methods for the analysis of subjectivism of the aesthetic for dress. This study includes beauty, grace, elegance , the sublime, the tragic , the comic, aptness, ugliness as aesthetic categories of dress . Beauty is perfection and rule. Grace pleases human by sense. Elegance comes from the harmony of sense and spirit. the sublime comes into existence that human feels pleasure as well as displeasure simultaneously when human is overehelmed by objects. The tragic is the sense of the present of something valuable even if there is suffering. The comic is the sense of the presence of something amusing even if there is displeasure caused by contradiction. Apteness means utility in terms of the objectivism and , formality in terms of the subejctivism. Ugliness is opposite to beauty. As the result of emperical studies, the aesthetic categories of the Renaissance dress showed harmonious, balanced, and symmetrical beauty, and the magnificent, and enlarged sublime. In addition to these , grace and elegance were also found to some extent. Aesthetic categories of the Baroque dress show feminie, soft, cheerful, and fantastic grace, asymmetric , disarmonious, and extraordinary uglinesss, and the magnificient , grave, and dignified sublime.