• Korean Journal of Logic
• /
• v.20 no.2
• /
• pp.273-292
• /
• 2017

In this paper, we deal with some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, the two involutive micanorm-based logics $P_nIMICAL$ and $FP_nIMICAL$ are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for $FP_nIMICAL$ using construction in the style of Jenei-Montagna.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.181-196
• /
• 2014

This paper deals with Kripke-style semantics for fuzzy logics. More exactly, I introduce algebraic Kripke-style semantics for some weakening-free extensions of the uninorm based fuzzy logic UL. For this, first, I introduce several weakening-free extensions of UL, define their corresponding algebraic structures, and give algebraic completeness. Next, I introduce several algebraic Kripke-style semantics for those systems, and connect these semantics with algebraic semantics.

• Korean Journal of Logic
• /
• v.22 no.1
• /
• pp.25-42
• /
• 2019

This paper deals with Kripke-style semantics, which will be called set-theoretic Kripke-style semantics, for weakly associative substructural fuzzy logics. We first recall three weakly associative substructural fuzzy logic systems and then introduce their corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for them.

• Journal of Gifted/Talented Education
• /
• v.16 no.2
• /
• pp.167-191
• /
• 2006

The purpose of this study was to explore logical thinking abilities and metacognitive characteristics by student's giftedness and grade level. Furthermore, this study sought to present the practical basis for the promotion of students' abilities in self-driven learning as well as cognition. Average-ability students(n=199), economically disadvantage gifted students(n=133), and gifted students(n=111), who were sampled by two-step sampling procedures, responded the logical thinking ability test(Cho et al, 2006) and the questionnaire asking self-perception for 'metacognitive knowledge' and 'metacognitive control' abilities(Cho & Han, 2004). As the results, average-ability students showed less logical thinking abilities(in language, mathematics, and space) than gifted students. The logical thinking abilities had affected by giftedness, grade level and these interaction. And gifted students showed higher metacognitive control abilities in planning, monitoring, priority, and strategies of learning than average-ability students. However, there were no significant differences in metacognitive knowledge and metacognitive control abilities between economically disadvantaged gifted students and gifted students.

• Journal of the Korean School Mathematics Society
• /
• v.16 no.4
• /
• pp.821-840
• /
• 2013

Definition of geometric figure in middle school geometry seems to mere meaning of the term which could be perceived visually through its shape. However, Much research reported the low achievements of definitions of basic geometric figures. It suggested the limitation of instrumental understanding. In this research, I guided gifted middle school students to reinvent definitions of basic geometric figure by the deductive organization of its properties as Freudenthal pointed. These students understood relationally about why some geometric figure can be defined this way and how it could be defined equally via other properties. This analysis of reinventing of definitions will be a stepping stone to reflect on the pedagogical problems in teaching geometry and to search the new alternatives.

• School Mathematics
• /
• v.10 no.3
• /
• pp.357-374
• /
• 2008

The complex number system is supposed to introduce first chapter in the first grade of high school. When number system is expanded to complex numbers, the main aim is to understand preservation of algebraic structure with regard to the flow of curriculum and textbook. This research reviewed overall alternative articulation and treatment of textbooks from a logical viewpoint. Two research questions are developed below. First, in the structure of the current curriculum, when we consider student's 'level', how are the alternative articulation and treatment of textbooks in complex unit on a logical point of view? Second, What are more logical alternative articulation and treatment? What alternative articulation and treatment are suitable for a running goal? and what are the improvement which is definitive?

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.439-441
• /
• 1999

트리 기반 신뢰적 멀티캐스트에서 효율적이고 확장성 있는 손실 복구를 하기 위한 RTE(Routing Tree Estimation) 기법을 제안한다. 에러 비트맵(error bitmap) 정보를 통하여 멀티캐스트 라우팅 트리와 유사한 논리적 트리(logical tree)를 구성함으로써 멀티캐스트 라우팅 트리에서 상위에 위치하는 수신자들이 재전송을 요청한 수신자의 신뢰성을 책임지도록 보장한다. 논리적 트리는 세션 멤버쉽이나 멀티캐스트 경로의 변화에 따라 적응적으로 재구성되는데 이는 멀티캐스트 세션 진행동안 논리적 트리와 멀티캐스트 라우팅 트리 사이에 불일치를 최소화함으로써 멤버십과 경로가 변하는 상황에서도 implosion과 exposure를 감소시키는 장점을 지닌다. 제안한 기법과 정적 트리기반의 신뢰적 멀티캐스트 프로토콜의 시뮬레이션 결과는 세션의 크기가 커짐에 따라 제안한 적응형 트리 기반의 복구방식의 효율성을 입증한다.

• Korean Journal of Logic
• /
• v.21 no.3
• /
• pp.353-371
• /
• 2018

This paper deals with Routley-Meyer-style semantics, which will be called algebraic Routley-Meyer-style semantics, for the fuzzy logic system MTL. First, we recall the monoidal t-norm logic MTL and its algebraic semantics. We next introduce algebraic Routley-Meyer-style semantics for it, and also connect this semantics with algebraic semantics.

• Journal of KIISE:Software and Applications
• /
• v.35 no.6
• /
• pp.366-373
• /
• 2008

The web ontology language(OWL) has been used by ontology designers to construct ontology. In order to derive hidden information(concept subsumption, concept satisfiability and realization) of OWL ontology, a number of OWL reasoners have been introduced. But most reasoners simply report these information without process for any arbitrary entailment and unsatisfiable concept derived from a OWL ontologies. In this paper, we propose Minimum Expression Axiom Set(MEXS) detection and storing for debugging unsatisfiable concepts in ontology. In order to detect MEXS, we need to find axiom to cause inconsistency in ontology. Therefore, our work focused on two key aspects: given a inconsistency ontology, identifying the roots of axioms to occur unsatisfiable and derived axioms from among them; and extracting MEXS. Our results can be applicable to all application, which is at the basis of the description logic.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.256-258
• /
• 2001

최근 컴퓨터 응용 기술의 발달로 비디오 데이터에 대한 처리의 필요성이 증가하고 있다. 비 정형화된 비디오에 대한 검색을 효율적으로 처리하기 위해서는 비디오의 논리적 구조와 의미적 내용을 표현할 수 있는 비디오 모델링 기법이 필요하다. 본 논문에서는 비디오의 논리적 구조는 물론 비디오 내에 포함된 의미적인 내용을 표현하기 위한 비디오 모델링 방법을 제안한다. 제안하는 모델링 기법은 의미적 내용을 효과적으로 표현하지 못하는 기존의 구조 모델링의 문제점을 해결하고 의미적인 내용들간의 시공간적 관계를 정의한다. 또한 시공간적 관계를 통한 의미적 내용에 대한 검색을 효과적으로 수행할 수 있도록 한다.