• Korean Journal of Logic
• /
• v.16 no.1
• /
• pp.1-15
• /
• 2013

Yang [12] investigated weakening-free fuzzy logics expanded by the delta connective $\Delta$, which can be interpreted as Baaz's projection and its generalizations. In this paper, we keep investigating such logics with an alternative delta connective $\Delta$, which can be regarded as a variant of the Baaz projection. The main difference is that although our new $\Delta$ satisfies many properties of Baaz projection, it can nether be interpreted as Baaz's projection itself nor its generalizations. For this, we first introduce several weakening-free fuzzy logics with the alternative connective $\Delta$. The algebraic structures corresponding to the systems are then defined, and their algebraic completeness is proved.

• Proceedings of the Korea Database Society Conference
• /
• 1995.12a
• /
• pp.117-126
• /
• 1995

본 논문에서는 분산 환경에서 멀티미디어 문서를 공동 저작하는 시스템을 설계하는 데 있어서 고려해야 할 요구 사항들을 분석하였다. 또한 이들 요구 사항을 만족시키는 문서 구조 DMDA (Distributed Multimedia Document Architecture)의 기본 개념을 소개하였다. DMDA는 논리 구조 지향적이다. 표현 객체와 상대공간 합성의 도움으로 동적인 재배치가 가능하다. 또한 사용자 관점에 따를 문서 출력이 가능하고 버전 관리가 쉬운 구조로 되어 있다. 공동 작업 중에 문서 위에 행해진 표시나 주석은 표시객체에 담겨 분산된다 분산 멀티미디어 환경에서 문서를 편집 또는 공동 저작하는 시스템은 분산 객체들을 조합하여 하나의 문서를 만들 수 있기 위하여 논리 구조 지향적이고 구조 편집 지향적이어야 한다.

• Journal of the International Relations & Interdisciplinary Education
• /
• v.1 no.1
• /
• pp.61-79
• /
• 2021

In order to implement an artificial intelligence lawyer, this study looked at how to structure legal principles, and then gave specific examples of how structured legal principles can be expressed in predicate logic. While previous studies suggested a method of introducing predicate logic for the reasoning engine of artificial intelligence lawyers, this study focused on the method of expressing legal principles with predicate logic based on the structural appearance of legal principles. Jurisprudence was limited to the content of articles and precedents, and the vertical hierarchy leading to 'law facts - legal requirements - legal effect' and the horizontal hierarchy leading to 'legal effect - defense - defense' were examined. In addition, legal facts were classified and explained that most of the legal facts can be usually expressed in unary or binary predicates. In future research, we plan to program the legal principle expressed in predicate logic and realize an inference engine for artificial intelligence lawyers.

• The Magazine of the IEIE
• /
• v.21 no.3
• /
• pp.63-69
• /
• 1994

본고에서는 향후 기업정보 통신망을 정보를 전달하는 하부구조인 전달망과 망의서비스를 제어 관리하고 망자원을 운용 관리하는 상부 구조인 논리망으로 나누어 향후 ATM시대의 기업 정보통신망구조를 정립해 본다. 기존에 음성과 데이타별로 별개의 기업 통신망으로 구성되온 기업 정보통신망에서 모든 정보 전달망이 ATM기술로 통합되고 정보 논리망이 기업의 모든 정보와 기업구성원을 하나로 네트워킹하게 될 것으로 전망된다. ATM시대의 기업 정보통신망은 기업의 가장 중요한 신경망으로써 기업의 경쟁력과 경영의 효율화를 극대화시켜 줄 것이다.

• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.257-280
• /
• 2010

I try to formalize the system of modal logic and interpret it in view of constructivism through this study. As to the meaning of a sentence, as we saw, Frege endorsed extensions in view of the fact that they are enough to provide for a compositional account for truth, in particular that (1) the assignment of extensions to expressions is compositional ; (2) the assignment of extensions to sentences coincides with the assignment of truth values. But nobody would be willing to admit that a truth value is what a sentence means and that consequently all true sentences are synonymous. So, if what we are after is meaning in the intuitive sense, then extensions would not do. This consideration has later become the point of departure of modal and intensional semantics. So, it is clear that the language of modal logic do not allow for an extensional interpretation. ${\square}$ is syntactically on a par with ${\vdash}$, hence within the extensional framework it would have to denote a unary truth function. This means that if modal logic is to be interpreted, we need a semantics which is not extensional. The first attempt to build a feasible intensional semantics was presented by Saul Kripke. He came to the conclusion that we must let sentences denote not truth values, but rather subsets of a given set. He called elements of the underlying set possible world. Hence each sentence is taken to denote the set of those possible world in which it is true. This lets us explicate necessity as 'truth in every possible world' and possibility as 'truth in at least one possible world'. But it is clear that the system of modal logic is not only an enlargement of propositional logic, as long as the former contains the new symbols, but that it is of an other nature. In fact, the modal logic is intensional, in that the operators do not determine the functions of truth any more. But this new element is not given a priori, but a posteriori from construction by logicist.

• Journal of the Korean Society for information Management
• /
• v.12 no.2
• /
• pp.85-101
• /
• 1995

Conventional indexing sytstems support only full-text indexing method for electronic documents and do not use logical structure of documents in retrieval. Most electronic documents are in different formats depending on various systems. Also, they only indicate physical style of the document without considering any logical structure. Thus, in the effort to standardize the exchange of documents. IS0 developed SGML(Stadard Generalized Markup Language) which contains information about logical structure of the documents. In this paper, to resolve the disadvantages of full-text indexing method and to use standard document format. indexing system for SGML document is designed and implemented. In this system, user can assign indexing domain on elements, thus the logical structure of document is reflected in retrieving information. Various retrieval methods can be implemented by using the structural information of the document. In addition, automatic indexing for SGML Hangul document is supported in this system

• Proceedings of the KAIS Fall Conference
• /
• 2010.05a
• /
• pp.357-359
• /
• 2010

본 논문에서는 논리 설계를 위해서 I-ROB 3000이라는 로봇 키트를 사용하여 논리 설계를 검증하였다. 이 검증에는 iRoV-Lab 3000의 장착된 로봇 모듈인 FPA 모듈,Stepper Motor 모듈,적외선 송수신센서 모듈, 카메라 모듈,RF 모듈 LED,TEXT LCD, 7-segment를 제어하기 위한 FPGA를 사용하며,FPGA설계를 위해 Schematic Design 또는HDL에 대해 연구한다.로봇 설계 시스템의 내부구조를 이해하고 개발환경을 구축할수 있다. 로봇의 구성요소와 각각의 구성요소(Sensor 모듈,display 모듈, Stepper Motor 모듈,RF 모듈)의 동작 원리를 개발한다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.45 no.12
• /
• pp.1-7
• /
• 2008

Magnetic Tunneling Junction (MTJ) has been used as a nonvolatile universal storage element mainly in memory technology. However, according to several recent studies, magneto-logic using MTJ elements show much potential in substitution for the transistor-based logic device. Magneto-logic based on MTJ can maintain the data during the power-off mode, since an MTJ element can store the result data in itself. Moreover, just by changing input signals, the full logic functions can be realized. Because of its programmability, it can embody the reconfigurable magneto-logic circuit in the rigid physical architecture. In this paper, we propose a novel 3-bit arbitrary magneto-logic circuit beyond the simple combinational logic or the short sequential one. We design the 3-bit magneto-logic which has the most complexity using MTJ elements and verify its functionality. The simulation results are presented with the HSPICE macro-model of MTJ that we have developed in our previous work. This novel magneto-logic based on MTJ can realize the most complex logic function. What is more, 3-bit arbitrary logic operations can be implemented by changing gate signals of the current drivel circuit.

• 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.20 no.3
• /
• pp.313-333
• /
• 2017

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive mianorm logic IMIAL. More precisely, first, seven involutive mianorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for four of them using construction in the style of Jenei-Montagna.