• Journal of Platform Technology
• /
• v.11 no.5
• /
• pp.72-83
• /
• 2023

ChatGPT, commercial launch in late 2022, has shown successful results in various professional exams, including US Bar Exam and the United States Medical Licensing Exam (USMLE), demonstrating its ability to pass qualifying exams in professional domains. However, further experimentation and analysis are required to assess ChatGPT's scholastic capability, such as logical inference and problem-solving skills. This study evaluated ChatGPT's scholastic performance utilizing the Korean College Scholastic Ability Test (KCSAT) subjects, including Korean, English, and Mathematics. The experimental results revealed that ChatGPT achieved a relatively high accuracy rate of 69% in the English exam but relatively lower rates of 34% and 19% in the Korean Language and Mathematics domains, respectively. Through analyzing the results of the Korean language exam, English exams, and TOPIK II, we evaluated ChatGPT's strengths and weaknesses in comprehension and logical inference abilities. Although ChatGPT, as a generative language model, can understand and respond to general Korean, English, and Mathematics problems, it is considered weak in tasks involving higher-level logical inference and complex mathematical problem-solving. This study might provide simple yet accurate and effective evaluation criteria for generative artificial intelligence performance assessment through the analysis of KCSAT scores.

• Journal of The Korean Association For Science Education
• /
• v.17 no.2
• /
• pp.139-148
• /
• 1997

This study investigated the influences of the cooperative learning strategies upon students' achievement and their perceptions of learning environments in a middle school physical science course. Prior to instruction, the Group Assessment of Logical Thinking was administered, and its score was used as a blocking variable. Mid-term examination score was used as a covariate. For the treatment group with heterogeneous grouping, cooperative learning instruction (the Learning Together model) was used, which emphasized group reward, individual accountability, and role division. For the control group, traditional instruction was used. After instruction, an achievement test consisting of three subtests (knowledge, understanding, and application), and the perception questionnaire of classroom and laboratory environments, were administered. ANCOVA results revealed that there was a significant interaction between instruction and the level of logical reasoning ability although there were no significant differences in all three subtest scores of the achievement test. For the concrete operational reasoners, the treatment group performed better in the subtests of understanding and application than the control group. For students at the formal and transition levels, however, the treatment group scored lower than the control group. Significant interactions were also found in the perceptions of classroom environment and laboratory environment. For the concrete operational reasoners, the treatment group showed more positive perception than the control group. For the students at the formal and transition levels, the control group had positive perception than the treatment group. Educational implications are discussed.

• Archives of design research
• /
• v.11 no.2
• /
• pp.191-200
• /
• 1998

In the "digitalized" world of new media, visual designer are increasingly enlarging their roles in desighing interaction products. However, the concepts and their methods of the interaction design have not been well established in the design community yet. The reason is attributed to the fact that designing interaction products requires two way communication between the products and final users. whereas traditional graphic design counts only on one way communication. This study emphasizes GUI design should aim at improving the usability of products which helps users quickly learn about the products and easily use them. The usability of GUI design significantly improved by securing logical rationality helps designers communicate and collaborate with program engineers and other product developers. To explain how designers can effectively communicate with program engineers and other product participants in the design process, a model of design collaboration is provided in this study. Based on the model, the study deals with the principles and methods of visual interaction, the formulation of specification system, testing design usability, and design evaluation. The study concludes that GUI designers must ensure logical rationality and the cognitive approach of visual language. Because it improves the usability of products. It also becomes an objective tool for communicating and collaborationg with engineers and the other participants in the design process.

• Journal of the Korea Computer Industry Society
• /
• v.2 no.11
• /
• pp.1407-1420
• /
• 2001

There is an increasing concern about computer education with the age of knowledge-based society. The learning programming language is taking an important role of computer education. However, the special emphasis in learning programming language has been attached to memorizing the programming language by rote and learning computer programs. Therefore, those were not much useful tools to develope a logical intelligence of the meanings of programming language and the methods of realization. It is positively necessary to improve the programming education efficiently because of the objects of knowledge of computing and raising an efficiency of problem solving. Under the circumstances, this research is aimed at representing an useful education model through developing a mathmatical program into each part of the C programming language, which would be a new supplier of an basic insight into the programming language and techniques. Accordingly it is thought that the research material will be an useful model to increase interests and concerns as well as to raise an efficiency of problem solving or a logical intelligence going through the process of studying programming language.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.7
• /
• pp.35-48
• /
• 2022

In this study, it propose a proof theory method for expressing and reasoning knowledge in a multiagent environment. Since this method determines logical results in a mechanical way, it has developed as a core field from early AI research. However, since the proposition cannot always be proved in any set of closed sentences, in order for the logical result to be determinable, the range of expression is limited to the sentence in the form of a clause. In addition, the resolution principle, a simple and strong reasoning rule applicable only to clause-type sentences, is applied. Also, since the proof theory can be expressed as a meta predicate, it can be extended to the metalogic of the proof theory. Metalogic can be superior in terms of practicality and efficiency based on improved expressive power over epistemic logic of model theory. To prove this, the semantic method of epistemic logic and the metalogic method of proof theory are applied to the Muddy Children problem, respectively. As a result, it prove that the method of expressing and reasoning knowledge and common knowledge using metalogic in a cooperative multiagent environment is more efficient.

• Korean Journal of Adult Nursing
• /
• v.18 no.1
• /
• pp.115-124
• /
• 2006

Purpose: The purpose of this study was to propose a theoretical model of hope commonly held by the cancer patients just after surgery, under the assumptions that hope of those patients is not only realistic and disease oriented but in dialectical circulation. Method: A theoretical model was generated through 4 steps: exploring a hope structure by synthesizing the relevant hope structures expressed in Kim and Tae's studies, in-depth literature review, examining the meanings of the concepts consisted of the structure in use and their causal relations in logical adequacy, proposing a theoretical structure through synthesizing the causal relations, and diagramming the structure. Results: The proposed theoretical model involves concepts such as Cancer Related Uncertainty (CRU), Efforts to Find out the Possibility of Cure or Recovery (EFPCR), and Hopefulness or Hopelessness. The 'EFPCR' is stipulated as 'Behaviors Related to Looking for Evidences or Cues (BRLEC)' and 'Formation of Cognitive Schema (FCS)'. In the model, Hopefulness is directly influenced by 'CRU in low', which is affected by 'FCS in good' from the result of EFPCR started with 'CRU in increase' while 'CRU with increase' from the result from EFPCR has direct effect on Hopelessness. Conclusion: The theoretical model would be used to enhancing hope of the cancer patients in post-operation.

• Journal of Korea Technology Innovation Society
• /
• v.18 no.1
• /
• pp.204-231
• /
• 2015

This study aims to present a conceptual model for technology valuation based on market approach. We first propose a transition model in which technology itself is endowed with its intrinsic value based on its technology- and market-specific features, which subsequently goes through a transition to the market perceived value. We also discuss the model's logical validity. Based upon the transition model, we develop market approach based technology valuation models by identifying factors comprising each component of the transition model for each case of fixed royalty and running royalty. We also show that the proposed model can be used to describe the relationship between cost, income and market approaches for technology valuation.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.11
• /
• pp.2845-2862
• /
• 1999

As the technical advances in portable computers and wireless communication technologies, mobile computing environment has been rapidly expanded. The mobile users on mobile host can access information via wireless communication from the distributed heterogeneous multidatabase system in which pre-existing independent local information systems are integrated into one logical system to support mobile applications. Hence, mobile transaction model should include not only the features for heterogeneous multidatabase systems but also the ones for mobile computing environment. In this paper, we proposed a mobile flex transaction model which extends the flexible transaction model that previously proposed for heterogeneous multidatabase systems is extended to support the requirements of mobile heterogeneous multidatabase systems. We also presented the execution control mechanism of the mobile flex transaction model. The proposed mobile flex transaction model allows the definition of location-dependent subtransactions, the effective support of hand-over, and the flexibility of transaction executions. Hence, the proposed mobile flex transaction model can be suit to mobile heterogeneous multidatabase systems that have low power capability, low bandwidth, and high communication failure possibility.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.15 no.4
• /
• pp.231-237
• /
• 2015

However XML languages can logically define the type of structure with their's own grammar, it is inadequate to use them as a tool for conceptual model that represents the semantics of data and the relationships between the data in the real world. In this paper, we propose conceptual modeling techniques, called CMXML, for modeling the XML schema at the conceptual level. For this purpose, we define the model formally, and provide a way to represent the model in a graphical and text form. We also propose an mapping methodology providing transformation from CMXML to XML schema to show the feasibility of the proposed model.

• Journal of Information Technology Services
• /
• v.10 no.2
• /
• pp.141-162
• /
• 2011

The controls of Information Systems (IS) have been an more critical issue controls as the sophistication and integration of IS is more proceeded. ITGI (The Information Technology Governance Institute) of ISACA (Information Systems Audit and Control Association) has suggested COBIT (Control Objectives for Information and related Technology) and this has been widely recognized the evaluation model of IS controls. In COBIT, IS was evaluated in terms of process, information quality, and IT resources. This study used COBIT in order to suggest and empirically test an evaluation model of IS service. The data was collated from one major Chinese SI (Systems Integration) company in four domains of processes : planning and organization, acquisition and implementation, delivery and support, and monitoring. Seven factors are extracted using an exploratory factor analysis as follows : Overall IT planning process, technological assessment process in IT planning of IT, cost-benefit assessment process in IT planning, implementation process, support process, monitoring process, post-implementation evaluation process. The results of confirmatory analysis of three alternative measurement models indicated that the measurement model with one inherent or conceptual variable has greater model fitness than the other models. This study suggests the logical and general way to test and apply COBIT in evaluating IS services.