• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.4
• /
• pp.239-250
• /
• 2013

Context-aware mobile computing has become the primary approach to realize automatic, autonomous, and user-centric computing in the context of largely increasing the amount of mobile devices used that embed available sensors. However, designing an inference engine nonetheless requires the tasks of analyzing contexts, situations that can be inferred, etc. Moreover, a mobile device has limited resources and limited computation capability, which results in recognizing the common sense of its unsuitable environment for processing inference. Hence, we propose context-situation reasoning elements and their formal models in this paper, and we verify the formal models' applicability by applying them to an example. Finally, we design and implement an inference engine that realize the context-situation inference elements in computing environment, and we experiment an example by using the proposed inference engine to verify applicability and reusability of the inference engine.

• Journal of KIISE:Databases
• /
• v.27 no.2
• /
• pp.141-150
• /
• 2000

There are three significant drawbacks in extant fuzzy rule-based expert system languages. First, they lack the functionality of composite object inference. Second, they do not support fuzzy reasoning semantically easy to understand and conceptually simple to use. Third, knowledge representation and reasoning style of their model have a great semantic gap with those of current database models. Therefore, it is very difficult for the two models to be seamlessly integrated with each other. This paper provides the formal specification of a fuzzy object inference model to solve the three drawbacks. GIS(Geographic Information System) application domain is used to demonstrate that our model naturally models complex GIS information in terms of composite objects and successfully performs fuzzy inference between them.

• Research in Mathematical Education
• /
• v.17 no.4
• /
• pp.243-266
• /
• 2013

Accompanied with ongoing calls for reform in statistics curriculum, mathematics and statistics teachers purposefully have been reconsidering the curriculum and the content taught in statistics classes. Changes made are centered around statistical inference since teachers recognize that students struggle with understanding the ideas and concepts used in statistical reasoning. Despite the efforts to change the curriculum, studies are sparse on the topic of characterizing student learning and understanding of statistical inference. Moreover, there are no tools to evaluate students' statistical reasoning in a coherent way. In response to the need for a research instrument, in a series of research study, the researcher developed a reliable and valid measure to assess students' inferential reasoning in statistics (IRS). This paper describes processes of test blueprint development that has been conducted from review of the literature and expert reviews.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2001.05a
• /
• pp.184-197
• /
• 2001

In this paper, we provide the formal specification of a fuzzy object inference language and propose ICOT(Integrated C-Object Tool) as its implementation for knowledge-based programming with the disjunctive fuzzy information. The novelty of our model is that it seamlessly combines object inference and fuzzy reasoning into a unified framework without compromising a compatibility with extant databases, especially object-relational ones. In this model most of the object-oriented paradigm is successfully expressed in terms of relational constructs, tailoring fuzzy reasoning style to be well suited to the framework of the databases. It turns out to be useful in preserving its conceptual simplicity as well, since simple-to-use is one of important criteria in designing the databases. Additionally this model considerably enhanced the semantic expressiveness of data allowing disjunctive fuzzy information.

• Journal of KIISE
• /
• v.42 no.12
• /
• pp.1590-1599
• /
• 2015

As a variety of personal medical devices appear, it is possible to acquire a large number of diverse medical contexts from the devices. There have been efforts to analyze the medical contexts via software applications. In this paper, we propose a generic model of medical analytics schemes that are used by medical experts, identify inference methods for realizing each medical analytics scheme, and present guidelines for applying the inference methods to the medical analytics schemes. Additionally, we develop a PoC inference system and analyze real medical contexts to diagnose relevant diseases so that we can validate the feasibility and effectiveness of the proposed medical analytics schemes and guidelines of applying inference methods.

• Genomics & Informatics
• /
• v.10 no.4
• /
• pp.266-270
• /
• 2012

Grammatical inference methods are expected to find grammatical structures hidden in biological sequences. One hopes that studies of grammar serve as an appropriate tool for theory formation. Thus, we have developed JSequitur for automatically generating the grammatical structure of biological sequences in an inference framework of string compression algorithms. Our original motivation was to find any grammatical traits of several cancer genes that can be detected by string compression algorithms. Through this research, we could not find any meaningful unique traits of the cancer genes yet, but we could observe some interesting traits in regards to the relationship among gene length, similarity of sequences, the patterns of the generated grammar, and compression rate.

• Education of Primary School Mathematics
• /
• v.22 no.3
• /
• pp.149-166
• /
• 2019

The purpose of this study is to analyze the statistical literacy in elementary school students when they beginning inference. Picto-graphs provide statistical information and often data-related arguments they certainly qualify as objects for interpretation, for critical evaluation, and for discussion or communication of the conclusions presented. For research, the inference from pictograph task was designed and statistical literacy standards for evaluating the student's level was presented based on prior studies. Evaluating student's statistical literacy is meaningful in that it can check their current level. To know the student's current level can help them achieve a higher level of performance. The outcomes of this research indicate that pictograph can provide a basis for rich tasks displaying not only student's counting skills but also their appreciation of variation and uncertainty in prediction. Raising statistical thinking by students is an important goal in statistical education, and the experience of informal statistical reasoning can help with formal statistical reasoning that will be learned later. Therefore, the task about the inference from a pictograph, discussions on statistical learning of elementary school children are expected to present meaningful implications for statistical education.

• Nuclear Engineering and Technology
• /
• v.46 no.4
• /
• pp.467-474
• /
• 2014

The aim of this paper is to describe a relatively recent international agreement on the widely debated concepts of: (i) attributing effects to low dose radiation exposure situations that have occurred in the past and, (ii) inferring radiation risk to situations that are planned to occur in the future. An important global consensus has been recently achieved on these fundamental issues at the level of the highest international intergovernmental body: the General Assembly of the United Nations. The General Assembly has welcomed with appreciation a scientific report on attributing health effects to radiation exposure and inferring risks that had been prepared the United Nations Scientific Committee on the Effects of Atomic Radiation (UNSCEAR) following a formal request by the General Assembly.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.19 no.1
• /
• pp.57-65
• /
• 2016

Threat evaluation is a process to estimate the threat score which enemy aerial threat poses to defended assets. The objective of threat evaluation is concerned with making an engagement priority list for optimal weapon allocation. Traditionally, the threat evaluation of massive air threats has been carried out by air defence experts, but the human decision making is less effective in real aerial attack situations with massive enemy fighters. Therefore, automation to enhance the speed and efficiency of the human operation is required. The automatic threat evaluation by air defense experts who will perform multi-variable judgment needs formal models to accurately quantify their linguistic evaluation of threat level. In this paper we propose a threat evaluation model by using a fuzzy rule-based inference method. Fuzzy inference is an appropriate method for quantifying threat level and integrating various threat attribute information. The performance of the model has been tested with a simulation that reflected real air threat situation and it has been verified that the proposed model was better than two conventional threat evaluation models.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.719-724
• /
• 1998

This paper presents a systematic developement of a formal approach to inference in approximate reasoning. We introduce some measures of similarity and discuss their properties. Using the concept of similarity index we formulate two methods for inferring from vague knowledge. In order to illustrate the effectiveness of the proposed technique we use it to develop a vowel recognition system.