• 대한수학회논문집
• /
• 제21권2호
• /
• pp.211-217
• /
• 2006

Topos is a set-like category. In topos, the axiom of choice can be expressed as (AC1), (AC2) and (AC3). Category Fuz of fuzzy sets has a similar function to the topos Set and it forms weak topos. But Fuz does not satisfy (AC1), (AC2) and (AC3). So we define (WAC1), (WAC2) and (WAC3) in weak topos Fuz. And we show that they are equivalent in Fuz.

• 한국수학사학회지
• /
• 제31권6호
• /
• pp.315-337
• /
• 2018

Pythagorean thoerem exists in several equivalent forms in the Euclidean plane, that is, the Hilbert plane which in addition satisfies the parallel axiom. In this article, we investigate the truthness and mutual relationships of those propositions in various non-Hilbert planes which satisfy the parallel axiom and all the Hilbert axioms except the SAS axiom.

• 한국수학사학회지
• /
• 제22권4호
• /
• pp.115-128
• /
• 2009

본 논문에서 von Neumann의 공리계를 수정하여 새로운 DVN공리계를 소개한다. 그리고 DVN공리계에서 불가지 류의 존재성을 조사하고, 불가지류와 선택공리의 관계를 논한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권6호
• /
• pp.366-373
• /
• 2008

현재 온톨로지를 구축하는데 있어 OWL을 온톨로지 표현 언어로 많이 사용하는 추세이다. OWL 온톨로지의 내제된 정보(클래스간의 계층구조, 인스턴스의 정확한 타입)를 추론하기 위해, 현재 많은 온톨로지 추론엔진이 개발되어지고 있다. 그러나 대부분의 온톨로지 추론 엔진들은 단순히 추론 결과만 명시할 뿐, 그 과정을 표현하지는 않는다. 따라서 본 논문에서는 논리적으로 정당하지 못한 은톨로지를 디버깅 하기위한 MEXS(Minimum Expression Axiom Set) 추출과 저장에 대한 기법을 제안한다. MEXS를 추출하기 위해서는 온톨로지 내에서 논리적인 오류를 유발하는 Axiom들을 찾아내는 방법은 매우 중요하다고 할 수 있다. 이에 본 논문은 두 가지 부분에 초점을 맞추어 연구를 진행하였다. 첫 번째, 논리적으로 정당하지 못한 온톨로지가 주어졌을 때, 논리적 오류를 유발하는 핵심 Axiom을 찾아내고, 이와 연관이 되는 Axiom들을 찾아낸다. 두 번째, 논리적으로 정당하지 못한 온톨로지를 디버깅하기 위한 MEXS를 구성한다. 본 연구 결과는 서술 논리에 기반을 둔 모든 어플리케이션에 적용이 가능하다.

• Kyungpook Mathematical Journal
• /
• 제19권2호
• /
• pp.159-163
• /
• 1979

In this paper $T_0$-identification spaces are used to prove that the semi-$R_1$ separation axiom is not a generalization of the $R_1$ separation axiom and to determine conditions, which together with $R_1$, do and do not imply semi-$R_1$.

• 충청수학회지
• /
• 제28권2호
• /
• pp.201-205
• /
• 2015

We show that if a regular map belongs to the $C^1$-interior of the set of all Kupka-Smale differentiable maps then it satisfis Axiom A and the strong transverality condition.

• 대한수학회보
• /
• 제38권1호
• /
• pp.191-195
• /
• 2001

In this paper, a simple axiom system of lattice implication algebras is presented, it is convenient for verifying whether an algebra of type (2,2,2,1,0,0) becomes a lattice implication algebra.

• 대한수학회지
• /
• 제37권3호
• /
• pp.473-490
• /
• 2000

Removal independence is a translation of Arrow's axiom of independence of irrelevant alternatives for social welfare functions to an axiom about consensus functions involving n-trees. It is shown that a consensus function is removal independent if and only if it is expressible as th union of three types of functions.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2007년도 춘계학술대회 논문집
• /
• pp.593-594
• /
• 2007

• 한국문헌정보학회지
• /
• 제46권2호
• /
• pp.157-174
• /
• 2012

본 연구는 온톨로지를 기반으로 접근점을 제어하기 위해, 미국 작가 마크 트웨인을 대상으로 인물과 이름간의 다양한 관계와 특질을 RDF/OWL의 공리정의를 통해 인명접근점제어 온톨로지를 기술하였다. 적용된 공리정의는 인물 이름클래스 간 서로 소 공리정의, 객체속성의 정의역 치역 공리 정의, 인물 이름클래스의 객체속성 값 출현횟수 제약 공리정의, 인물과 이름 개체 간 역함수 관계 공리정의, 인스턴스와 리터럴 간 데이터속성 공리정의 등이다. 그 결과 온톨로지 기반에서 전거와 표목의 개념을 배제하고 모든 표현형식을 대등하게 다룬 대등형접근점이 기존의 제어기능을 수용할 수 있음을 확인하였고, 다양한 공리정의로 보다 강화된 표현력으로 공유성과 유일성이 광역적으로 확보된 인명접근점제어 온톨로지를 기술할 수 있었다.