• 한국정보처리학회논문지
• /
• 제4권4호
• /
• pp.1025-1034
• /
• 1997

레졸루션(resolution)에 근거한 자동화된 추론 방법은 실제로 결론 도출에 필요 하지 않은 중간 정보를 생산하고, 또한 이런 정보가 또 다른 불 필요 정보를 생산함으로써, 컴퓨터 주기억 공간 잠식이 문제점으로 나타난다. 주어진 문제의 상황을 설명하는 모든 입력절로부터, 실제로 결론의 도출에 참여할 가능성이 낮은 입력절을 추론에의 참여를 제한하여, 소모하는 기억공간과 추론 시간을 감소시키는 조절 전략을 제안한다. 주어진 입력절을 분석하여, 실제로 추론에 참여하는 정도의 우선 순위를 결정하는 도구로서 퍼지 관계 논리곱을 이용한다.

• 한국암반공학회:학술대회논문집
• /
• 한국암반공학회 2004년도 추계학술발표 논문집
• /
• pp.171-180
• /
• 2004

Underground mining causes surface subsidence long after the mining operation had been ceased. Surface subsidence can be in the form of saucer-shaped depression or collapsed chimneys or sinkholes. Sinkhole formations are predominant over shallow-depth room and pillar mines having weak overburden strata. In this study, occurrences of sinkholes due to mining activity are assessed based on local geological conditions and mining parameters using fuzzy reasoning techniques. All input and output parameters are represented with linguistic hedges. Numerous fuzzy rules are developed to relate sinkhole occurrences with input parameters using fuzzy relational matrix. Based on the combined fuzzy rules, possibility of sinkhole occurrences can be ascertained once the geological and mining parameters of any area are known.

• 한국정보처리학회논문지
• /
• 제5권8호
• /
• pp.2050-2060
• /
• 1998

가중치전략(weighting strategy)은 인공지능의 한 분야인 자동화추론(automated resaonnimg) 분야에서, 허용 가능한 시간과 기억공간내에서 해를 구하기 위해서 필수적으로 사용되는 방법이다. 그러나 가중치전략의 적용은 문제에 대한 사용자의 지식이나 경험에 주로 의존할 뿐 아니라, 각각의 단계에서 프로그램화되지 못하여 수작업으로인한 시간의 소모가 많다. 수작업을 필요로 하던 기존의 시스템을 자동화하여, 관계계층구조(thesaurus)를 시스템이 자동으로 구축하는 도구를 개발하고, 이를 기존의 자동정리증명기에 통합하여, 그 성능을 개선하는 시스템을 제안한다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제62권3호
• /
• pp.341-362
• /
• 2023

본 연구는 초등학교 1학년 학생을 대상으로 등호의 관계적 이해를 강조한 수업에서 나타나는 학생의 노티싱을 초점의 중심, 집중하는 상호작용, 수학 과제, 수학 활동의 본질의 네 가지 측면에서 분석하였다. 구체적으로 선행연구에서 도출한 지도방안을 등호를 처음 도입하는 1학년 덧셈과 뺄셈 단원에 적용하여 등호의 관계적 이해를 강조한 수업을 실행하고, 이 과정에서 나타난 학생의 노티싱을 종합적으로 분석하였다. 그 결과 실제 수업 맥락에서 초점의 중심은 등식의 구조와 과제 형태, 교사와 학생의 상호작용, 교실 관행 등에 영향을 받았으며, 특히 학생이 등호를 관계적으로 인식할 수 있도록 돕는 특정한 교사와 학생의 상호작용을 발견할 수 있었다. 또한 크기가 같은 두 양에 주목하는 경우와 양변의 관계에 주목하는 경우 등식을 관계적으로 추론할 수 있었던 것과 같이 등식에 대한 학생의 노티싱은 등식을 추론하는 방식에 영향을 미친다는 것을 알 수 있었다. 이러한 연구결과를 통해 등호의 지도 방안에 대한 시사점을 제시하였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제37권2호
• /
• pp.92-103
• /
• 2010

OWL(Web Ontology Language)은 시맨틱웹에서 온톨로지를 배포하고 공유하기 위한 W3C의 정식 권고안(Recommendation)으로 채택되었다. OWL 데이터의 숨겨진 정보를 유추하기 위해서 OWL 추론기들이 많이 개발되었다. 그러나 OWL 추론기들은 메모리를 기반으로 처리되기 때문에 대용량 OWL 데이터를 처리하기는 어렵다. 이런 문제를 해결하기 위해서 관계형 데이터베이스에 기반한 시스템이 제안되었다. 이 시스템들은 OWL 데이터를 데이터베이스에 저장하여 데이터베이스 내에서 추론을 한다. 하지만, 이 시스템들은 OWL에서 정의되는 모든 속성(Property)을 고려하지 않았고, 추론에 비효율적인 스키마를 사용하고 있다. 그리고 실제 응용환경에서 자주 발생하는 OWL 데이터 변경에 대해서도 다루지 않았다. 본 논문에서는 관계형 데이터베이스에 기반한 여러 스키마를 비교하고, 효율적인 추론을 위한 개선된 스키마를 제안한다. 그리고 OWL에서 정의되는 모든 종류의 속성을 지원하기 위한 완전하고 효율적인 추론 알고리즘과 OWL 데이터 변경에 대해 효율적인 갱신 방법을 제안한다. 실험결과를 보면 본 논문에서 제안한 스키마가 OWL 데이터 저장 및 추론에 대해 기존 스키마보다 더 좋은 성능을 보이며, OWL 데이터 갱신 방법도 기존의 방법보다 더 효율적이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2018년도 춘계학술발표대회
• /
• pp.377-380
• /
• 2018

인간의 추론 능력이란 문제에 주어진 조건을 보고 문제 해결에 필요한 것이 무엇인지를 논리적으로 생각해 보는 것으로 문제 상황 속에서 일정한 규칙이나 성질을 발견하고 이를 수학적인 방법으로 법칙을 찾아내거나 해결하는 능력을 말한다. 이러한 인간인지 능력과 유사한 인공지능 시스템을 개발하는데 있어서 핵심적 도전은 비구조적 데이터(unstructured data)로부터 그 개체들(object)과 그들간의 관계(relation)에 대해 추론하는 능력을 부여하는 것이라고 할 수 있다. 지금까지 딥러닝(deep learning) 방법은 구조화 되지 않은 데이터로부터 문제를 해결하는 엄청난 진보를 가져왔지만, 명시적으로 개체간의 관계를 고려하지 않고 이를 수행해왔다. 최근 발표된 구조화되지 않은 데이터로부터 복잡한 관계 추론을 수행하는 심층신경망(deep neural networks)은 관계추론(relational reasoning)의 시도를 이해하는데 기대할 만한 접근법을 보여주고 있다. 그 첫 번째는 관계추론을 위한 간단한 신경망 모듈(A simple neural network module for relational reasoning) 인 RN(Relation Networks)이고, 두 번째는 시각적 관찰을 기반으로 실제대상의 미래 상태를 예측하는 범용 목적의 VIN(Visual Interaction Networks)이다. 관계 추론을 수행하는 이들 심층신경망(deep neural networks)은 세상을 객체(objects)와 그들의 관계(their relations)라는 체계로 분해하고, 신경망(neural networks)이 피상적으로는 매우 달라 보이지만 근본적으로는 공통관계를 갖는 장면들에 대하여 객체와 관계라는 새로운 결합(combinations)을 일반화할 수 있는 강력한 추론 능력(powerful ability to reason)을 보유할 수 있다는 것을 보여주고 있다. 본 논문에서는 관계 추론을 수행하는 심층신경망(deep neural networks) 중에서 Sort-of-CLEVR 데이터 셋(dataset)을 사용하여 RN(Relation Networks)의 성능을 재현 및 관찰해 보았으며, 더 나아가 파라미터(parameters) 튜닝을 통하여 RN(Relation Networks) 모델의 성능 개선방법을 제시하여 보았다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제25권4호
• /
• pp.459-475
• /
• 2022

등호와 동치는 초등 수학에서 가장 기본적이면서도 핵심적인 필수 개념이지만 이를 지도하는 구체적인 방안에 대한 연구는 드물다. 이에 본 연구에서는 등호 및 동치를 강조하여 지도하기 위한 교수·학습 요소(관계적 기호로서 등호의 의미 강조하기, 등식을 추론의 대상으로 다루기, 미지수가 포함된 등식 활용하기)를 중심으로 초등학교 수학 교과서를 분석하였다. 특히 본 연구에서는 2022년부터 적용된 2015 개정 3~4학년군 검정교과서 10종을 분석하여 등호 및 동치를 지도하는 방안에 대해 전반적인 경향성과 특징을 살펴보았다. 그 결과, 2015 개정 3~4학년군 검정교과서에서는 전반적으로 관계적 기호로서 등호의 의미를 강조하는 활동이 가장 많이 구현되었고, 등식을 추론의 대상으로 다루거나 미지수가 포함된 등식을 활용하는 활동은 드물었다. 분석 결과를 중심으로 초등학교 수학 교과서에서 등호 및 동치를 의미 있게 지도하는 방안에 대한 시사점을 논의하였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제37권4호
• /
• pp.197-202
• /
• 2010

최근의 RDF 변경 탐지 기법들은 구조적인 변경 이외에, RDF 모델의 클로저를 적용하여 변경부분을 탐지하는 의미적 변경도 다룬다. 하지만, 기존의 의미적 변경을 고려하는 탐지 기법들은 메모리 저장 공간에 전체 트리플 집합을 적재하여 변경 내용을 탐지하거나, RDF 모델의 클로저를 미리 계산하는 전방향 추론을 사용하기 때문에 대용량 RDF 데이터의 변경 탐지에 비효율적이다. 따라서, 본 논문에서는 관계형 데이터베이스 기반의 후방향 추론 기법을 사용하는 변경 탐지 기법을 제안한다. 제안된 기법은 관계형 데이터베이스에서 변경 탐지에 사용 가능한 트리플들에 대해서만 추론을 수행한다. 생물 정보 도메인에서 사용되는 실제 RDF 데이터들에 대한 비교 실험을 통하여 제안된 기법이 더 효율적임을 보인다.

• Management Science and Financial Engineering
• /
• 제7권1호
• /
• pp.27-39
• /
• 2001

The multi-projective model considers attributes and the relationships among attributes called projections. The critical features of the multi-projective model are the way of relating attributes in the description of the system, the way of reasoning incomplete projections, and the determination of connected patterns between projection. In order to get a full picture of the system, we build a set of projections. The multi-projective model can be thought of as projections of a multi-dimensional reality onto simplified “model space”. The multi-projective database modeling approach used in this paper unified the ideas and terminology of various database models. Most importantly, the multi-projective modeling is presented as a tool of database design in the relational and other database models.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 제37회 하계학술대회 논문집 전기설비
• /
• pp.67-68
• /
• 2006

In this paper, we introduced about safety algorithm of transformer for MV/LV distribution customers using by fuzzy theory. Overload of transformer becomes different by surrounding temperature. And parameters about overload of transformer are connection each other. Therefore, we organize safety algorithm consider overload of transformer and surrounding temperature in this research. And we induce the relational expression of each parameters using experiment data of IEEE std C57.91-1995. Deduction of result used fuzzy reasoning. We guess the safety algorithm suggested in this paper shows the new direction that heavy electrical equipments including switchboard are going to develop in the future.