• Journal of the Korean Association of Geographic Information Studies
• /
• v.26 no.3
• /
• pp.12-36
• /
• 2023

Graph databases, which store different types of data and their relationships modeled as a graph, can be effective in managing and analyzing real estate spatial data linked by complex relationships. However, they are not widely used due to the limited spatial functionalities of graph databases. In this study, we propose a uniform grid-based real estate spatial data management approach using a graph database to respond to various real estate-related spatial questions. By analyzing the real estate community to identify relevant data and utilizing national point numbers as unit grids, we construct a graph schema that linking diverse real estate data, and create a test database. After building a test database, we tested basic topological relationships and spatial functions using the Jackpine benchmark, and further conducted query tests based on various scenarios to verify the appropriateness of the proposed method. The results show that the proposed method successfully executed 25 out of 29 spatial topological relationships and spatial functions, and achieved about 97% accuracy for the 25 functions and 15 scenarios. The significance of this study lies in proposing an efficient data integration method that can respond to real estate-related spatial questions, considering the limited spatial operation capabilities of graph databases. However, there are limitations such as the creation of incorrect spatial topological relationships due to the use of grid-based indexes and inefficiency of queries due to list comparisons, which need to be improved in follow-up studies.

• Journal of The Korean Association For Science Education
• /
• v.28 no.8
• /
• pp.901-921
• /
• 2008

The purpose of this study was to investigate elementary teachers' views on the barriers in implementing inquiry-based instruction in science education. For this, semi-structured in-depth interviews were performed with 22 elementary school teachers who have served for more than five years in the Gyeonggi province. The interview questions were developed through triangulation of Seidman's phase to achieve reliability in the interview data, then interview questions were modified and completed through an analytic induction method in pre-interviews. In-depth interviews were performed individually and all the interviews were recorded. The data of teachers' views on the barriers were categorized and analyzed into external and internal factors of teachers. The study found that the external factors referred by teachers included the following; the lack of a unit time, lack of materials and equipments, too many students in a class, problems in science curriculum management, difficulty in the assessment of students' inquiry activities, the students' learning, lack of opportunities for teaching inquiry activities, harmfulness of accidents, and so on. Internal factors included the following; lack of preparation for inquiry activities, lack of self-confidence, lack of patience, and so on. The various barriers presented and their causes were analyzed in detail, and possible efforts in activating inquiry activities in elementary science education were suggested.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.212-218
• /
• 2003

State invariant is a property that holds in every reachable state. It can be used not only in understanding and analyzing complex software systems, but it can also be used for system verifications such as checking safety, liveness, and consistency. For these reasons, there are many vital researches for deriving state invariant from finite state machine models. In previous works every reachable state is to be considered to generate state invariant. Thus it is likely to be too complex for the user to understand. This paper seeks to answer the question `how to simplify state invariant\ulcorner`. Since the complexity of state invariant is strongly dependent upon the size of states to be considered, so the smaller the set of states to be considered is, the shorter the length of state invariant is. For doing so, we let the user focus on some interested scopes rather than a whole state space in a model. Computation Tree Logic(CTL) is used to specify scopes in which he/she is interested. Given a scope in CTL, mixed reachability analysis is used to find out a set of states inside it. Obviously, a set of states calculated in this way is a subset of every reachable state. Therefore, we give a weaker, but comprehensible, state invariant.

• Korean Journal of Cognitive Science
• /
• v.31 no.1
• /
• pp.1-23
• /
• 2020

This paper introduces SNUDM, an analysis program for Ratcliff's diffusion model, which has been one of the most important models in cognitive psychology over the past 35 years and which has come to occupy an important place in cognitive neuroscience in recent years. The analysis tool is designed with the basic principles of easy comprehension and simplicity in use. A diffusion process was programmed as the limit of a simple random walk in a manner resembling Ratcliff & Tuerlinckx(2002). The response time distribution of the model was constructed by simulating the time taken by a random walk until it reaches a threshold with small steps. The optimal parameter values in the model are found to be the smallest value of the chi-square values obtained by comparing the resulting distribution and the experimental data using Simplex method. For simplicity and ease of use, the input file used here is created as a file containing the quantile of the reaction time, the trials and other information. The number of participants and the number of conditions required for such work programs are given in a way that answers the question. Using this analysis tool, the experimental data of Ratcliff, Gomez, & McKoon(2004) were analyzed. We found the very similar pattern of parameter values to Ratcliff et al.(2004) found. When comparing DMAT, fast-dm and SNUDM with the generated data, we found that when the number of trials is small, SNUDM estimates the boundary parameter to a value similar to fast-dm and less than the DMAT. In addition, when the number of trials was large, it was confirmed that all three tools estimate parameters similarly.

• Korean Journal of Cognitive Science
• /
• v.35 no.1
• /
• pp.23-48
• /
• 2024

Building human-aligned artificial intelligence (AI) for social support remains challenging despite the advancement of Large Language Models. We present a novel method, the Chain of Empathy (CoE) prompting, that utilizes insights from psychotherapy to induce LLMs to reason about human emotional states. This method is inspired by various psychotherapy approaches-Cognitive-Behavioral Therapy (CBT), Dialectical Behavior Therapy (DBT), Person-Centered Therapy (PCT), and Reality Therapy (RT)-each leading to different patterns of interpreting clients' mental states. LLMs without CoE reasoning generated predominantly exploratory responses. However, when LLMs used CoE reasoning, we found a more comprehensive range of empathic responses aligned with each psychotherapy model's different reasoning patterns. For empathic expression classification, the CBT-based CoE resulted in the most balanced classification of empathic expression labels and the text generation of empathic responses. However, regarding emotion reasoning, other approaches like DBT and PCT showed higher performance in emotion reaction classification. We further conducted qualitative analysis and alignment scoring of each prompt-generated output. The findings underscore the importance of understanding the emotional context and how it affects human-AI communication. Our research contributes to understanding how psychotherapy models can be incorporated into LLMs, facilitating the development of context-aware, safe, and empathically responsive AI.

• Journal of Korean Library and Information Science Society
• /
• v.50 no.4
• /
• pp.405-428
• /
• 2019

This study discerned interactions that secondary students experience during their studies and information behaviors that explains their interactions. In addition, when young people collaborate with their friends, this study identified their actions, such as collecting, using, sharing, and generating information, and the social and cultural factors that influence the behavior. The research questions consisted of 'Radical Change Theory' focusing on the information behavior of the digital age youth and the type of radical change in the digital age. As a result of the research, the status of collaborative information behavior of middle and high school students was reflected in our educational reality. Students, however, approached and utilized various information sources, diversified their opinion sharing tools, and discovered channels that were different from adults and used them in information activities. Though not as anticipated, they suggested that the experience of collaboration helped the individual's growth.

• Korean Journal of Logic
• /
• v.5 no.2
• /
• pp.39-66
• /
• 2002

일반적으로 엄밀한 방법을 통하여 증명되었다고 말해지는 괴델의 불완전성 정리는 일련의 전제와 배경지식이 요구된다고 하겠다. 이들 중에서 무엇보다도 중요한 것은 정리의 증명에 사용되는 메타언어상의 수학적 참에 대한 개념이다. 일단 확인할 수 있는 것은 "증명도, 반증도 되지 않지만 참인 산수문장의 존재"라는 불완전성 정리의 내용에서 괴델이 가정하고 있는 수학적 참의 개념이 구문론적인 증명개념으로부터 완전히 독립되어야 한다는 점이다. 문제는 그가 가정하고 있는 수학적 참의 개념이 도대체 무엇이어야만 하겠는가라는 점이다. 이 논문은 이 질문과 관련하여 내용적으로 3부분으로 나누어 질 수 있다. I. 괴델의 정리의 증명에 필요한 전제들 및 표의 도움을 얻어 자세히 제시되는 증명과정의 개략도를 통해 문제의 지형도를 조감하였다. II, III. 비트겐슈타인의 괴델비판을 중심으로, "일련의 글자꼴이 산수문장이다"라는 주장의 의미에 대한 상식적 비판 및 해석에 바탕을 둔 모형이론에 대한 대안제시를 통하여 괴델의 정리를 증명하기 위해 필요한 산수적 참에 관한 전제가 결코 "확보된 것이 아니다"라는 점을 밝혔다. IV. 괴델의 정리에 대한 앞의 비판이 초수학적 전제에 대한 것이라면, 3번째 부분에서는 공리체계에서 생성 가능한 표현의 증명여부와 관련된 쌍조건문이 그 도입에 필수적인 괴델화가 갖는 임의성으로 인해 양쪽의 문장의 참, 거짓 여부가 서로 독립적으로 판단 가능하여야만 한다는 점에(외재적 관계!) 착안하여 궁극적으로 자기 자신의 증명여부를 판단하게 되는 한계상황에 도달할 경우(대각화와 관련된 표 참조) 그 독립성이 상실됨으로 인해 사실상 기능이 정지되어야만 한다는 점, 그럼에도 불구하고 이 한계상황을 간파할 경우(내재적 관계로 바뀜!)항상 순환논법을 피할 수 없다는 점을 밝혔다. 비유적으로 거울이 모든 것을 비출 수 있어도 자기 스스로를 비출 수 없다는 점과 같으며, 공리체계 내 표현의 증명여부를 그 체계내의 표현으로 판별하는 괴델의 거울 역시 스스로를 비출 수는 없다는 점을 밝혔다. 따라서 괴델문장이 산수문장에 속한다는 믿음은, 그 문장의 증명, 반증 여부도 아니고 또 그 문장의 사용에서 오는 것도 아니고, 플라톤적 수의 세계에 대한 그 어떤 직관에서 나오는 것도 아니다. 사실상 구문론적 측면을 제외하고는 그 어떤 것으로부터도 괴델문장이 산수문장이라는 근거는 없다. 그럼에도 불구하고 괴델문장을 산수문장으로 볼 경우(괴델의 정리의 증명과정이라는 마술을 통해!), 그것은 확보된 구성요소로부터 조합된 문장이 아니라 전체가 서로 분리불가능한 하나의 그림이라고 보아야한다. 이것은 비트겐슈타인이 공리를 그림이라고 본 것과 완전히 일치하는 맥락이다. 바론 그런 점에서 괴델문장은 새로운 공리로 도입된 것과 사실은 다름이 없다.

• The Journal of Korean Association of Computer Education
• /
• v.6 no.2
• /
• pp.81-93
• /
• 2003

The purpose of the study was to explore the potential of the Social Network Analysis as an analytical tool for scientific investigation of learner-learner, or learner-tutor interaction within an e-Learning environment. Theoretical and methodological implication of the Social Network Analysis had been discussed. Following theoretical analysis, an exploratory empirical study was conducted to test statistical correlation between traditional performance measures such as achievement and team contribution index, and the centrality measure, one of the many quantitative measures the Social Network Analysis provides. Results indicate the centrality measure was correlated with the higher order learning performance and peer-evaluated contribution indices. An interpretation of the results and their implication to instructional design theory and practices were provided along with some suggestions for future research.

• Journal of Korea Game Society
• /
• v.15 no.2
• /
• pp.63-72
• /
• 2015

Avatars are a visual representation of users in a virtual world such as an MMORPG. These avatars are often seen as representations or idealizations of the user's actual self. However, this view does not account for the prevalence of two behaviors: multiple avatars and 'gender swapping'. An exercise and questionnaire were created to study avatar customization practices across players outside the context of any particular game to understand better user motivations in creating their virtual selves. A preliminary trial of the exercise showed little correlation between age or gender and gender swapping. While those of non-traditional sexuality were more likely to gender swap, half of traditional sexuality also swapped. Finally, the personality trait, Openness to Experience, showed promising correlation with gender swapping.

• Korean Journal of Social Welfare
• /
• v.67 no.4
• /
• pp.79-101
• /
• 2015

What is the role of welfare discourse? Michel Foucault suggests the power and knowledge relation that power in a particular society and period controls the society and members by creating knowledge affecting the formation of cognitive and normative systems. Having the formation of exclusions(constraint of cognition), and materiality and reality(normative system) as an analytical framework, this article attempts the exploration of welfare discourse analyses with public statements relating to welfare subjects of the four former Korean presidents. As a result, It is found that dominant epistemic system is formed by balancing welfare and growth and regarding jobs as the best welfare(the linkage of welfare-growth-employment), emphasizing individual economic responsibility and self-reliance, pursuing welfare selectivism, and excluding comprehensive welfare provisions. At the same time, it is observed that power is not always formulating systematic knowledge and that there is a gap between cognition and norm. While the Foucauldian discourse analysis provides a causal inference about low social welfare expenditure, excessive focus on the role of power as knowledge generator and infuser causes a question of how to accommodate contemporary changes into knowledge system.