• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2021년도 제33회 한글 및 한국어 정보처리 학술대회
• /
• pp.118-123
• /
• 2021

현대 사회에서 소셜 네트워킹 서비스의 증가와 확산은 많은 정보를 쉽고 빠르게 얻을 수 있도록 하였지만 허위·과장 정보의 확산이 큰 문제로 자리잡고 있다. 최근 해외에서는 이들을 자동으로 분류 및 판별하고자하는 Fact 검증 모델에 관한 연구 및 모델 학습을 위한 데이터의 제작 및 배포가 활발히 이루어지고 있다. 그러나 아직 국내에서는 한국어 Fact 검증을 위한 데이터가 많이 부족한 상황이기 때문에 본 논문에서는 최근 좋은 성능을 보이는 openai 의 GPT-3를 한국어 태스크에 적용시킨 HyperCLOVA 를 이용하여 한국어 Fact 검증 데이터 셋을 자동으로 구축하고 이를 최신 Fact 검증 모델들에 적용하였을 때의 성능을 측정 및 분석 하고자 하였다.

• Journal of Information Science Theory and Practice
• /
• 제11권1호
• /
• pp.1-13
• /
• 2023

This study determines how social media users (SMUs) verify the information they come across on the Internet. It determines SMUs' perception of online fact-checking services in terms of their ease of use, usefulness, and trust. By conducting a focus group discussion and key informant interviews, themes were derived in determining fact-checking practices while a survey was further conducted to determine such perceived ease of use, usefulness, and trust in fact-checking services. The thematic analysis revealed major information verification practices, such as cross-checking and verifying with other sources, inspecting comments and reactions, and confirming from personal and social networks. The results showed that SMUs considered fact-checking services easy to use. However, a concern was raised about their usefulness stemming from the delayed action in addressing the information issues that need to be verified. As to perceived trust, it was found that SMUs have reservations about fact-checking services. Finally, it is believed that fact-checking services are expected to be credible and need to be promoted to mitigate any form of fake news, particularly on social media platforms.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2021년도 제33회 한글 및 한국어 정보처리 학술대회
• /
• pp.227-232
• /
• 2021

사실 검증(Fact verification) 문제는 문서 검색(Document retrieval), 증거 선택(Evidence selection), 증거 검증(Claim verification) 3가지 단계로 구성되어있다. 사실 검증 모델들의 주요 관심사인 증거 검증 단계에서 많은 모델이 제안되는 가운데 증거 선택 단계에 집중하여 강화 학습을 통해 해결한 모델이 제안되었다. 그래프 기반의 모델과 강화 학습 기반의 사실 검증 모델을 소개하고 각 모델을 한국어 사실 검증에 적용해본다. 또한, 두 모델을 같이 사용하여 각 모델의 장점을 가지는 부분을 병렬적으로 결합한 모델의 성능과 증거의 구성 단위에 따른 성능도 비교한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2021년도 제33회 한글 및 한국어 정보처리 학술대회
• /
• pp.524-527
• /
• 2021

최근 국외에서 사실 검증 연구가 활발하게 이루어지고 있지만 한국어의 경우 데이터 집합의 부재로 인하여 사실 검증 연구가 이루어지는데 큰 어려움을 겪고 있다. 이러한 어려움을 해소하고자 자동 생성 모델을 통하여 데이터 집합을 생성하는 시도도 있으나 생성 모델의 특성 상 부정확한 데이터가 생성되어 사실 검증 연구의 퀄리티를 떨어뜨린다는 문제점이 있다. 이러한 문제점을 해소하기 위해 수동으로 구축한 100건의 데이터 집합으로 최근에 이루어진 퓨-샷(Few-Shot) 사실 검증을 확장한 학습이 필요없는 제로-샷(Zero-Shot) 질의 응답에 대한 사실 검증 연구를 제안한다.

• 시스템엔지니어링워크숍
• /
• 통권1호
• /
• pp.9-14
• /
• 2003

The paper aims at presenting a systematic approach process and a method of requirement validation and system verification. Validation is applied during concept development to ensure conceptual validity, requirements validity, and design validity. Verification work is applied subsequent to the design work on test articles and early production items to produce evidence that the design solutions do, in fact, satisfy th requirements. In this paper, we present a requirements validation model and a system verification model. This models are applied to the development of TTX(Tilting Train Express)system with systems engineering tool, CORE.

• 대한음성학회지:말소리
• /
• 제47호
• /
• pp.131-140
• /
• 2003

We propose a new method of generating client models for HMM based text-dependent speaker verification system with only a small amount of training data. To make a client model, statistical methods such as segmental K-means algorithm are widely used, but they do not guarantee the quality or reliability of a model when only limited data are avaliable. In this paper, we propose a blind speech segmentation based on level building DTW algorithm as an alternative method to make a client model with limited data. In addition, considering the fact that voiced sounds have much more speaker-specific information than unvoiced sounds and energy of the former is higher than that of the latter, we also propose a new score evaluation method using the observation probability raised to the power of weighting factor estimated from the normalized log energy. Our experiment shows that the proposed methods are superior to conventional HMM based speaker verification system.

• 정보처리학회논문지D
• /
• 제16D권2호
• /
• pp.265-272
• /
• 2009

디지털 장치들의 활발한 사용은 디지털 증거들을 양산하지만, 이들 증거들이 법정에서 범죄사실을 증명하는 증거로 채택되기에는 많은 어려움이 있다. 따라서 이 논문에서는 디지털 포렌식 온톨로지를 이용한 디지털 증거들의 증거능력에 대한 검증 방법을 제안한다. 디지털 증거들의 증거능력을 검증하기 위하여 경찰청에서 정의한 표준 디지털 포렌식 처리절차에 따라 디지털 포렌식 온톨로지를 확장하고, 디지털 포렌식 온톨로지에서 정의한 각 클래스들 간의 property 관계를 설정하였다. 또한 각 클래스간의 property 제한 규칙을 정의하여 활용한다. 이 논문에서 제안된 검증방법과 온톨로지는 디지털 증거 수집을 위한 계획을 수립하거나, 디지털 포렌식의 교육 등에 활용할 수 있다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권4호
• /
• pp.256-261
• /
• 2017

사회 기반 시설을 비롯하여 다양한 도메인에서 하나의 시스템이 아닌 다수의 독립 시스템으로 구성된 시스템 오브 시스템즈(System of Systems, 이하 SoS)의 개념이 대두되고 있다. 단일 시스템으로는 만족하기 어려운 복잡한 요구사항을 SoS 수준에서 보다 효과적으로 만족할 수 있을 것으로 기대되기 때문이다. SoS를 구성하는 독립 시스템을 구성 시스템(Constituent System, 이하 CS)이라 부르며, 다수의 CS와 그들의 상호작용을 고려하여 제한된 자원 안에서 SoS 수준의 목표 달성 여부를 검증하는 것이 SoS 공학의 핵심 문제 중 하나이다. 최근 SoS 개발을 위한 기초 연구는 활발하게 이루어졌으나, SoS 모델링 및 검증에 대한 구체적인 사례 기반 연구는 거의 존재하지 않는다. 본 연구는 SoS와 CS가 자신의 목표를 달성하기 위해 독립적으로 의사결정을 수립한다는 특성에 기반을 두어, 개별 행동의 비용과 이익대비 효용을 기준으로 의사결정을 하는 행동-이익-비용(Action-Benefit-Cost) SoS 모델을 제안하고, SoS 예제의 모델링과 정량적 검증 사례 연구를 수행한다.

• 대한한의학회지
• /
• 제19권2호
• /
• pp.411-419
• /
• 1998

For the purpose of external and internal morphological study on the origin of Folium, writing on herbolagy have been thoroughly reviewed. The object herb medicine(9 kinds) is Lophatheri Folium(Herba), Isatidis Folium, Eoriobotryae Folium, Mori Folium, Perillae Folium, Artemisiae argi Folium, Phyllostachys Folium, Clerodendri Folium, Biotae Folium(Cacumen). After this study, additional experimental verification is required as a matter of fact. As comparison materials, this thesis will be utilized.

• 논리연구
• /
• 제17권1호
• /
• pp.109-136
• /
• 2014

모든 (의미론적) 반실재론자들은 모종의 검증원칙을 받아들인다. 그 원칙에는 반직관적인 강한 검증원칙과 상대적으로 그럴 듯한 약한 검증원칙의 두 가지 형태가 있다. 당연히 반실재론자들은 약한 검증원칙을 선호해왔는데, 이른바 지식가능성 역설은 사실 그 두 가지 형태의 검증원칙들이 동치라는 사실을 보여준다. 이 문제를 해결하기 위해서 에징튼은 새로운 형태의 검증원칙을 제시하지만, 그녀의 검증원칙 역시 그 나름의 문제점을 안고 있다. 이 난점을 극복하기 위해, 에징튼은 반사실적 조건명제를 이용한 지식모형을 제공한 바 있다. 이 논문에서는 이 지식모형이 심각한 문제점을 안고 있다고 논할 것이다. 익히 알다시피, 비결정론적인 미시적 현상의 세계에서는 극히 낮은 물리적 확률에도 불구하고 간신히 일어나는데 성공하는 사실들이 존재한다. 필자는 이런 사실들과 연관된 반사실적 조건명제는 인식적 논파자의 존재로 말미암아 알려질 수 없으며, 따라서 에징튼의 지식모형은 많은 경우 작동하지 않는다고 논할 것이다.