• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권11호
• /
• pp.928-935
• /
• 2009

온톨로지 스키마 추론은 개념의 정합성을 테스트하고 계층구조를 자동으로 생성해 준다. 이를 위해 개념의 검색과정은 반드시 수행하여야 한다. 온톨로지 스키마 추론은 온톨로지에 정의된 모든 개념들간의 포함관계를 테스트함으로써 수행된다. 이러한 포함관계 테스트 결과는 개념의 완전 그래프 생성여부에 따라 결정되며 이는 추론의 전체적인 성능에 결정적인 영향을 준다. 일반적으로 완전 그래프 생성 과정은 복잡도가 높은 과정으로 알려져 있으며 이는 낮은 추론성능을 유발시키는 원인이 되고 있다. 본 논문에서는 개념들간의 포함관계 테스트시 개념의 향상된 검색방법을 통해 불필요한 포함관계 테스트를 생략함으로써 온톨로지 스키마 추론의 성능을 향상시키는 방법을 제시하고자 한다. 이 향상된 검색방법은 개념의 포함관계 테스트 결과를 정의상 연관된 다른 개념에 전파함으로써 이루어진다.

• 한국정보과학회논문지:시스템및이론
• /
• 제32권9호
• /
• pp.475-482
• /
• 2005

와일드카드 문자를 포함하는 스트링 데이타는 텍스트에 나타나는 특정 패턴을 표현하는 데에 사용될 수 있다. 임의의 두 패턴 사이의 포함 관계는 각 패턴과 매칭이 가능한 모든 스트링의 집합 사이의 포함관계로 나타낼 수 있으며, 포함 관계를 결정하는 것은 패턴이 나타내는 스트링의 집합을 중복성없이 표현하기 위해 필요하다. 본 논문에서는 이와 같이 패턴의 중복성을 판단하기 위해 와일드카드 문자를 포함하는 스트링 데이타 사이의 포함 관계를 결정하기 위한 효율적인 알고리즘을 제안한다. 먼저 기존의 접미사 트리 알고리즘을 단순하게 확장하여 와일드카드 문자를 포함하는 스트링 데이타 사이의 포함 관계를 확인할 수 있도록 하는 방법과 이러한 접미사 트리를 스트링 데이타의 각 위치 별로 나누어 구성하여 포함 관계를 확인하는 방법을 제안한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권4호
• /
• pp.401-411
• /
• 2008

다수의 사용자들의 협력태깅으로 생성되는 폭소노미는 웹 2.0을 이끌고 있는 대표적인 요소이다. 태그는 어떤 웹 문서를 기술하는 웹 메타데이타라고 할 수 있는데, 협력태깅으로 이루어진 태그들 사이의 의미적인 상하위 관계를 밝혀내 이를 시각화한다면, 사용자들이 문서의 메타데이타를 보다 직관적으로 이해하는 데 도움을 줄 수 있다. 이에 본 논문에서는 del.icio.us의 태그들을 대상으로 하여, Wikipedia 텍스트를 이용한 태그들간 상하위 관계 산출 기법을 제안한다. 이를 위해 태그들이 Wikipeida 텍스트상에서 출현하는 빈도수를 기반으로 태그들간 상하위 관계를 산출하는 통계적인 모델링을 제안하였고, 각각의 태그를 그에 상응하는 Wikipedia 텍스트에 매핑시키는 TSD 기법을 제안하였다. 이렇게 산출된 상하위 관계 짝들은 시각화 기법을 통하여 효과적으로 화면에 표현되었다. 실제로 우리가 제안하는 알고리즘이 태그들간의 상하위 관계들을 높은 정확도로 찾아내었음을 실험을 통해 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.712-714
• /
• 2004

본 논문에서는 wildcard character를 포함하는 문자열의 집합을 대상으로, 이들 사이의 subsumption 관계를 파악하여 더 구체적인 정보를 가지는 문자열들의 집합을 구하고자 하는 것이다. 이를 위해 기존의 suffix tree 알고리즘이 wildcard character를 포함하는 문자열을 처리할 수 있도록 단순 적용한 방법과 trie의 집합을 이용하여 wildcard character를 포함한 문자열을 처리하는 두 가지 방법을 고려하였다

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2002년도 ICCAS
• /
• pp.111.3-111
• /
• 2002

$\textbullet$introduction $\textbullet$CO-evolution Algorithm $\textbullet$Subsumption Architecture $\textbullet$Neural Network $\textbullet$Khepera Robot

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제9권3호
• /
• pp.161-165
• /
• 2009

Increase of multimedia information in Web requires a new method to manage and service multimedia documents efficiently. This paper proposes a conceptual object grouping method by fuzzy filtering, which is automatically constituted based on increase of multimedia documents. The proposed method composes subsumption relations between conceptual objects automatically using fuzzy filtering of the document objects that are extracted from domains. Grouping of such conceptual objects is regarded as subsumption relation which is decided by $\mu$-cut. This paper proposes $\mu$-cut, FAS(Fuzzy Average Similarity) and DSR(Direct Subsumption Relation) to decide fuzzy filtering, which groups related document objects easily. This paper used about 1,000 conceptual objects in the performance test of the proposed method. The simulation result showed that the proposed method had better retrieval performance than those for OGM(Optimistic Genealogy Method) and BGM(Balanced Genealogy Method).

• Asia pacific journal of information systems
• /
• 제7권2호
• /
• pp.163-183
• /
• 1997

As object models and hybrid knowledge are increasingly used in current information systems development, Is-a structures need to be more formally defined, and subsequently subsumption related anomalies need to be detected with minimal declaration of meta knowledge. This paper extends a metagraph in the hybrid environments and demonstrates its utilities for detecting such anomalies that can occur from semantics and dynamics unique to the hybrid knowledge and data structure.

• 한국감성과학회:학술대회논문집
• /
• 한국감성과학회 1999년도 춘계학술발표논문집 논문집
• /
• pp.133-137
• /
• 1999

테스트의 종적 분할 모델은 적응성, 강건성, 속응성의 관점에서 장점을 갖는다. 그러나 종적 분할 모델을 실제로 구현하기 위해서는 환경에 대한 적자가 시스템 운영을 장악해야 한다는 전제 조건이 충족되어야 한다. Brooks의 Subsumption 모델은 이러한 조건을 충족시키기에 충분하지만 subsumption 제약 자체가 일반적인 도메인에 적용되기에는 지나치게 엄격한 점이 있다. 본 논문에서는 이에 대한 한가지 대안으로 감성 계층을 이용한 방안을 제시한다. 감성 계층을 사용하는 경우 시스템을 구성하는 모듈 상호간에 있어서 보다 단순한 구조와 다양한 효과를 갖는 "관계 설정"이 가능해진다. 본 논문에서는 관계 설정에 대한 일한 유연성이 일반적인 도메인에 대한 종적 분할 모델의 적용 능력을 개선시킬 수 있음을 보인다.수 있음을 보인다.

• ETRI Journal
• /
• 제9권1호
• /
• pp.84-96
• /
• 1987

The equality relation is very important in mechanical theorem proving procedures. A proposed inference rule called RHU-resolution is intended to extend the hyperparamodulation[23, 9] by introducing a bidirectional proof search that simultaneously employs a forward reasoning and a backward reasoning, and generalize it by incorporating beneflts of extended hyper steps with a preprocessing process, that includes a subsumption check in an equality graph and a high level planning. The forward reasoning in RHU-resolution may replace the role of the function substitution link.[9] That is, RHU-deduction without the function substitution link gets a proof. In order to control explosive generation of positive equalities by the forward reasoning, we haue put some restrictions on input clauses and k-pd links, and also have included a control strategy for a positive-positive linkage, like the set-of-support concept, A linking path between two end terms can be found by simple checking of linked unifiability using the concept of a linked unification. We tried to prevent redundant resolvents from generating by preprocessing using a subsumption check in the subsumption based eauality graph(SPD-Graph)so that the search space for possible RHU-resolution may be reduced.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제24권3호
• /
• pp.777-792
• /
• 2010

경쟁력 있는 지식기반 사회를 구축하기 위해서 다양한 교수법을 구안하고자 하는 노력과 더불어 우리나라 현실에 맞는 교수법 구안 연구도 함께 진행되어야 할 필요성이 있다. 이에 따라 본고에서는 설명식 수업을 통하여 학생들이 수학을 이해하고 의미 있게 받아드리기 위한 방안으로 Ausubel의 유의미 학습을 재조명하였다. Ausubel의 유의미 학습의 의의와 조건 그리고 유의미 학습의 방법 등을 분석함으로써 수학교육에서 유의미 설명식 학습 활용이 보다 용이하게 활용될 수 있도록 하였다.