• Journal of Korea Society of Industrial Information Systems
• /
• v.2 no.1
• /
• pp.89-101
• /
• 1997

본 논문에서는 기존의 비디오 편집 시스템에서의 단점을 보완하여 논리적인 비디오 편집을 위한 방법을 제안하였다. 또한 본 논문에서는 비디오를 체계적으로 관리하고 비디오 편집등의 비디오 응용 분야에 효과적으로 적용할 수 있도록 기존의 비디오를 구조화된 형태의 논리적 비디로로 재구성한 구조화된 논리적 비디오를 제안하였다. 제안한 구조화된 비디오는 비디오의 물리적 정보뿐만 아니라 비디오의 논리적 정보를 포함하며 이러한 정보를 이용하여 기존의 비디오가 제공하지 못하는 비디오의 논리적 단위 편집등의 다양한 기능을 제공할 수있고, 비디오 브라우징, 검색, 비디오 편집등의 여러 비디오 응용 분야에 효과적으로 적용할 수 있으므로 비디오 재사용성을 높일 수 있다. 본 논문에서는 기존의 비디오를 구조화된 논리적 비디오로 재구성하여 관리하는 비디오 데이터베이스 관리 시스템과 이를 이용한 논리적 단위의 비디오 편집 시스템을 설계 및 구현하였다.

• Korean Journal of Logic
• /
• v.22 no.3
• /
• pp.397-415
• /
• 2019

This paper deals with the pretabular property of some fuzzy logics. For this, we first introduce the involutive idempotent uninorm logics IdIUL and IUML and examine the relationship between IdIUL and the another well-known system $RM^T$. Next, we show that IUML is pretabular, whereas IdIUL is not.

• Journal of Korean Philosophical Society
• /
• v.139
• /
• pp.1-21
• /
• 2016

To quickly and accurately grasp the consistency and the true/false of sentence description, we may require the help of a computer. It is thus necessary to research and quickly and accurately grasp the consistency and the true/false of sentence description by computer processing techniques. This requires research and planning for the whole study, namely a plan for the necessary tables and those of processing, and development of the table of the five logic rules. In future research, it will be necessary to create and develop the table of ten basic inference rules and the eleven kinds of derived inference rules, and it will be necessary to build a DB of those tables and the computer processing of sentence logic using server programming JSP and client programming JAVA over its foundation. In this paper we present the overall research plan in referring to the logic operation table, dividing the logic and inference rules, and preparing the listed process sequentially by dividing the combination of their use. These jobs are shown as a variable table and a symbol table, and in subsequent studies, will input a processing table and will perform the utilization of server programming JSP, client programming JAVA in the construction of subject/predicate part activated DB, and will prove the true/false of a sentence. In considering the table prepared in chapter 2 as a guide, chapter 3 shows the creation and development of the table of the five logic rules, i.e, The Rule of Double Negation, De Morgan's Rule, The Commutative Rule, The Associative Rule, and The Distributive Rule. These five logic rules are used in Propositional Calculus, Sentential Logic Calculus, and Statement Logic Calculus for sentence logic.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1769-1770
• /
• 2008

Type-2 퍼지 논리 시스템은 기존의 Type-1 퍼지 논리 시스템으로부터 확장된 개념으로서 언어적 불확실성에 대한 개념을 부곽시킨다. Type-2 퍼지 논리 시스템의 가장 큰 특징은 멤버쉽 함수에 Footprint Of Uncertainty(FOU)을 사용하여 불확실성을 표현한다. Type-2 퍼지 논리 시스템은 그것의 rule-base 안에서 최소한 한 개 이상의 Type-2 멤버쉽 함수(MF)를 포함한다. Type-2 퍼지 로직 제어기는 MF가 FOU를 포함하여 계산량이 많은 반면에 외란에 대하여 강인한 성격을 지닌다. 따라서 본 논문에서는 비선형성이 강한 볼빔 시스템에 Type-1과 Type-2 퍼지 로직 제어기를 설계하고 외란에 대하여 견실한 제어기를 보인다.

• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.437-452
• /
• 2013

This paper verifies the following two: First, I verify the standard completeness proof for the system $ULw_t$ is not correct in the sense that t-weakening uninorms are t-norms, but not weakening-free uninorms. Second, I verify that the proof for $ULw_t$ can be used for the system MTL. That is, I provide a new standard completeness proof for it.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.5
• /
• pp.17-37
• /
• 2003

This paper presents the ASVO (Automation-considered SVO) Logic that can be used for verifying authentication and key distribution protocols. The ASVO logic was designed for automatic verification, in a way to modify the SVO logic, one of the most famous authentication logics. The ASVO logic is syntactically and semantically sound, and requires relatively simple verification steps. Also we implemented the Isabelle/ASVO system which supports semi-automated verification, by using the Isabelle/Isar system.

• KLA journal
• /
• v.30 no.3 s.256
• /
• pp.22-33
• /
• 1989

제1장에서는 CD-ROM의 호환성에 대해서 생각하였으며 특히 물리포맷과 논리포맷의 두가지가 있음을 기술하였고 제2장에서는 논리포맷의 표준화가 어떻게 시작되었는가에 대해 언급하였다. 제3장에서는 미국에서 검토가 진행되고 있는 표준규격안의 내용을 소개하고 제4장에서는 CD-ROM과 CD-I 포맷과의 관련에 대해 기술하였다.

• Journal of Korea Fair Competition Federation
• /
• no.89
• /
• pp.9-11
• /
• 2003

공정거래법의 새로운 도약을 위한 체제정비 중에서도 가장 시급히 요청되는 것은 공정거래위원회의 조직과 절차의 정비라고 할 것이다. 공정거래위원회가 오늘과 같이 발전할 수 있었던 데는 정부가 과감하게 공정거래위원회를 경제기획원에서 분리하여 독립부처로 만들었다는 점이 크게 작용하였다고 생각된다. 왜냐하면 공정거래위원회가 독립부처가 됨으로써 산업정책의 논리나 정치논리에 휘말리지 않고 경쟁의 논리를 일관성 있게 적용할 수 있었기 때문이다.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.167-201
• /
• 2010

This paper aims to scrutinize the possibility of mereology as philosophically satisfiable metalogic. Motivation for this is straightforward. As I see, a traditional approach to metalogic presented in the name of mathematical logic posits the existence of mathematical entities such as sets, functions, models, etc. to give definitions of logical concepts like logical consequence. As a result, whenever logic is used in any individual sciences, this set-theoretical metalogic cannot but add these mathematical entities to the domain of them. This fact makes this approach contradict to the ontological conservativeness of logic. Mereology, however, has been alleged to be ontologically innocent, while it is a formal system very similar to set theory. So it may well be that some people thought of mereology as a good substitute for set theoretic metalanguage and concepts for ontologically neutral metalogic. Unfortunately, when we look into argument for the ontological innocence of mereology, we can find that mereological entities such as mereological sums or fusions are not ontologically neutral. Thus we can conclude that mereological approach to metalogic is not promising at all.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.37-39
• /
• 2003

본 연구에서는 만족성 검사기를 이용하여 두 유한 상태 기계의 행위가 동치인지를 검사한다. 기존의 동치 검사는 대부분 BDD를 기반으로 했었기 때문에 변수 순서 배열 및 내부 BDD노드 폭발 문제에 시달렸었다. 하지만 여기서는 BDD대신 명제 논리를 이용하기 때문에 위와 같은 문제점을 피할 수 있다. 하지만 논리식을 만족성 검사기의 입력 형태인 논리곱 정규형으로 변환하는 과정에서 절의 3기는 식의 크기에 지수적으로 증가하였다.