• Title/Summary/Keyword: symbolic logic

Search Result 50, Processing Time 0.025 seconds

A Study on the Architectural Form and Symbolism of the Tomb of King Chu of Beidong Mountain, Xuzhou, Jiangsu Province, China (중국 강소성 서주(徐州) 북동산(北洞山) 초왕(楚王) 한묘(漢墓)의 건축형식과 상징성에 관한 연구)

  • Wu, Tian-QI;Han, Dong-Soo
    • Journal of architectural history
    • /
    • v.31 no.6
    • /
    • pp.33-45
    • /
    • 2022
  • The tombs at the royal level of the Western Han dynasties belong to the five kingdoms of Chu, Liang, Lu, Zhongshan and Changyi, representing the new forms and ideas of the tomb architecture. Taking Shanchuwang Tomb in BeidongShan, Xuzhou as an example, this paper analyzes the architectural structure and symbolic significance of the tomb, and tries to discuss the concept of burial reflected in it.The analysis of the structure of the main body of the tomb reveals the basic logic of the tomb imitating the palace on the ground, and the definition of the nature of the annex reflects its transcendence over the general form of the tomb.

sent2dl : Augmenting Distributional Semantics to Symbolic Sentence Meaning Representation based on Description Logic SROIQ (sent2dl : 기술논리 SROIQ 기반 기호적 문장 의미 표상에 분산 표상 더하기)

  • Schin, Seung-Woo;Oh, Ju-Min;Noh, Hyung-Jong;Lee, Yeon-Soo
    • Annual Conference on Human and Language Technology
    • /
    • 2020.10a
    • /
    • pp.199-204
    • /
    • 2020
  • 기존의 자연어 의미 표상 방법은 크게 나눠보았을 때 두 가지가 있다. 첫 번째로, 전통적인 기호 기반 의미 표상 방법론이다. 이 방법론들은 논리적이고 해석가능하다는 장점이 있으나, 구축에 시간이 많이 들고 정작 기호 자체의 의미를 더욱 미시적으로 파악하기 어렵다는 단점이 있었다. 반면, 최근 대두된 분산 표상의 경우 단어 하나하나의 의미는 상대적으로 잘 파악하는 반면, 문장 등의 복잡한 구조의 의미를 나타내는 데 있어 상대적으로 약한 측면을 보이며 해석가능하지 않다는 단점이 있다. 본 논문에서는 이 둘의 장점을 섞어서 서로의 단점을 보완하는 새로운 의미 표상을 제안하였으며, 이 표상이 유의미하게 문장의 의미를 담고 있음을 비지도 문장 군집화 문제를 통해 간접적으로 보였다.

  • PDF

The Effect of Consumption Values in Luxury Brands on Cult Intention : Focusing on the Mediating Effects of Positive Affect and Compatibility (럭셔리 브랜드 소비가치가 컬트 의도에 미치는 영향 : 긍정적 정서와 적합성의 매개효과를 중심으로)

  • Kim, Kihyung;Han, SangLin;Shin, Yunchang
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.43 no.2
    • /
    • pp.98-109
    • /
    • 2020
  • What is purchase motivation for luxury brands? and what kind of process through makes higher cult intention(i.e.,loyalty). How does consumption value affect loyalty? Theoretically, it was studied whether it could be explained. The luxury products and services were divided into categories and surveys were conducted at the national level. This research analyzed the influence of positive affect on cult intention by mediating luxury consumption value with S-O-R frame. The logic was developed with excitation transfer theory. Positive affect, compatibility mediating effect were investigated. Unlike the previous studies that have been recognized as important in terms of symbolic value in luxury brands, it was confirmed that experiential consumption value had the greatest impact. In addition, the influence of functional value and symbolic value had a significant effect. The effect of consumption value on cult intention was mediated by positive affect and compatibility. Therefore, emotional response can be seen as having an effect on cult intention through excitement transfer. These findings suggest that luxury brand marketers need to develop consumer values that can lead to arousal and positive emotional responses to suit consumer lifestyle. The research results are expected to contribute to the experience marketing and the hospitality service of luxury brands.

SWAT: A Study on the Efficient Integration of SWRL and ATMS based on a Distributed In-Memory System (SWAT: 분산 인-메모리 시스템 기반 SWRL과 ATMS의 효율적 결합 연구)

  • Jeon, Myung-Joong;Lee, Wan-Gon;Jagvaral, Batselem;Park, Hyun-Kyu;Park, Young-Tack
    • Journal of KIISE
    • /
    • v.45 no.2
    • /
    • pp.113-125
    • /
    • 2018
  • Recently, with the advent of the Big Data era, we have gained the capability of acquiring vast amounts of knowledge from various fields. The collected knowledge is expressed by well-formed formula and in particular, OWL, a standard language of ontology, is a typical form of well-formed formula. The symbolic reasoning is actively being studied using large amounts of ontology data for extracting intrinsic information. However, most studies of this reasoning support the restricted rule expression based on Description Logic and they have limited applicability to the real world. Moreover, knowledge management for inaccurate information is required, since knowledge inferred from the wrong information will also generate more incorrect information based on the dependencies between the inference rules. Therefore, this paper suggests that the SWAT, knowledge management system should be combined with the SWRL (Semantic Web Rule Language) reasoning based on ATMS (Assumption-based Truth Maintenance System). Moreover, this system was constructed by combining with SWRL reasoning and ATMS for managing large ontology data based on the distributed In-memory framework. Based on this, the ATMS monitoring system allows users to easily detect and correct wrong knowledge. We used the LUBM (Lehigh University Benchmark) dataset for evaluating the suggested method which is managing the knowledge through the retraction of the wrong SWRL inference data on large data.

A Comparative Study on the Logic Structure of Myeongri Old Law and New Law (명리학 고법과 신법의 논리구조 비교연구)

  • Na, Hyeok-Jin;Jung, Kyeong-Hwa
    • Industry Promotion Research
    • /
    • v.5 no.3
    • /
    • pp.61-71
    • /
    • 2020
  • The purpose of this paper is to reaffirm the logical framework of the saju analysis method by recreating the saju model of old-law to study and organize the theories of frame in old-law Myeongri, and then by organizing and comparing the logic structure of the saju analysis method of new-law and old-law. Some believe that Myeongri Theory first appeared in the world in the Warring States Period when they were active with Gwigokja and Naknokja as origin, while others believe that it was origin that "Okjokyeong" was written by Kwak-Bak of Eastern Jin after a while. Since then, Myeongri Theory, which had been organized by Won-Cheongang and Yi-Heojung, has undergone a major transformation since reaching the Song Dynasty Seo-Japyeong. Based on this point, the Myeongri Theory of the previous generation is called the Old-law, and the subsequent theory is called the New-law. The changes in the logic structure of the old-law and the new-law leave a big difference and disconnect between those. But comparative studies have confirmed that the philosophy and logic structure due to natural laws that have not changed much such as the symbolic system of nature called Yinyang & five elements and Cheongan-jiji, the idea of a heavenly response projected in the Three Wonders of heaven, earth and human, and the concept of generation and time in the position of year-month-day-time.

Language and Symbolic Reference in Whitehead′s Philosophy (화이트헤드의 언어 이해와 상징적 연관)

  • 문창옥
    • Lingua Humanitatis
    • /
    • v.6
    • /
    • pp.147-166
    • /
    • 2004
  • Whitehead's discussion of language is not to be found in any one book or article. It is interwoven with his discussion of many other questions. He was, however, greatly concerned with the problem of symbolism in general and the uses of language. He regards language, spoken or written, as an instrument devised by men to aid them in their adjustment to the environment in which they live Language is used for many specific purposes in the process of this adjustment. Words are employed not only to refer to data and to express emotions. They may be used also to record experiences, and thoughts about these experiences. Worts also function as instruments in the organization of experiences as they are considered in retrospect. Thus words free us from the bondage of the immediate. And Whitehead's theory of meaning is implicit in his discussion of the functions of language. According to him, the human mind is functioning symbolically when some components of its experience elicit consciousness, beliefs, emotions, and usages, respecting other components of its experiences. The former set of components are the 'symbols', and the latter set constitute the 'meaning' of the symbols. Whitehead points out that one word may have several meanings, i.e. refer to several different data. In order to understand, thus, the meaning to which a word refers, it is sometimes very important to appreciate the system of thought within which a person is operating. Further, Whitehead's discussion of language includes a number of cogent warning the deficiencies of language, and hence the need for great care in the use of words. In fact, language developed gradually. For the most part we have created words designed to deal with practical problems. Attention focuses on the prominent features in a situation, in particular the changing aspects of things. With reference to such data our words are relatively adequate. However, this issues in an unfortunate superficiality. The enduring, the subtle, the complex and the general aspects of the universe do not have adequate verbal representation. for this reason, Whitehead's position concerning the uses of language in speculative philosophy is stated with pungent directness. The uncritical trust in the adequacy of language is one of the main errors to which philosophy is liable. Since ordinary language does not do justice to the generalities, profundities and complexities of life, it is obvious that philosophy requires new words and phrases, or at least the revision of familiar words and phrases. Proceeding to develop the theme Whitehead contends that words and phrases must be stretched towards a generality foreign to their ordinary usage. In the same vein Whitehead refers to the need to realize that language which is the tool of philosophy needs to be redesigned just as in physical science available physical apparatus needs to be redesigned. But even these words and phrases, stretched or redesigned, are never completely adequate in philosophical speculations. They are, in his opinion, merely a great improvement over ordinary language or the language science, mathematics or symbolic logic.

  • PDF

Study of the Real in the Post-Lacanian Theory (후기 라깡이론에서 실재에 관한 연구)

  • Park Soo-Jin
    • Journal of Science of Art and Design
    • /
    • v.6
    • /
    • pp.60-80
    • /
    • 2004
  • This study aims at the observation of the Real in the Post-Lacanian theory. It is focused on two questions as ideology and fantasy. On this basis Slavoj $\v{Z}i\v{z}ek$ has rearticulated the theory of ideology by reexamining Althusser's version of it critically. The ideology is the logic of fantasy based on the foreclosure. And the ethical act of identifying with the symptom is absolutely called for in order to radically rearticulate it. The really key element in the concept is now found to be Lacanian object a, the symptom as jouissance. In additional, the two part of the study, far from belonging to two different domains, that of political analysis and artistic analysis, relate to each other like the two surfaces of a Moebius band. Finally, the role of the Lacanian real is radically ambiguous: true, it erupts in, the form of a traumatic return, derailing the balance of the Order, but it serves at the same time as a support of this very balance. The real functions here not as something that resists symbolization, as a meaningless leftover that can not be integrated into the symbolic universe, but on the contrary, as its last support.

  • PDF

A Study on a Hardware Folw-Chart and Hardware Description Language for FSM (FSM 설계를 위한 하드웨어 흐름도와 하드웨어 기술 언어에 관한 연구)

  • Lee, Byung-Ho;Cho, Joong-Hwee;Chong, Jong-Wha
    • Journal of the Korean Institute of Telematics and Electronics
    • /
    • v.26 no.4
    • /
    • pp.127-137
    • /
    • 1989
  • This paper describes hardware flow-chart and SDL-II, which are register-transfer level, to automate logic design. Hardware flow-chart specifies behavioral and structural charaterstics of generalized FSMs (Finite State Machine) usin the modified ASM (Algorithmic State Machnine) design techniques. SDL-II describes the hardware flow-chat which specifies the control and the data path of ASIC(Application Specific IC). Also many examples are enumerated to illustrate the features of hardware flow-chart and SDL-II.

  • PDF

A Cadence SMV Based Formal Verification Method for Combinational Logics Written in Verilog HDL (Verilog HDL로 기술된 조합 논리회로의 Cadence SMV 기반 정형 검증 방법)

  • Jo, Seong-Deuk;Kim, Young-Kyu;Moon, Byungin;Choi, Yunja
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2015.10a
    • /
    • pp.1027-1030
    • /
    • 2015
  • 하드웨어 디자인 설계에서 초기 단계의 설계 오류 발견은 개발 비용 감소 및 설계 시간 단축 측면에서 그 효과가 매우 크다. 이러한 초기 설계 오류 발견을 위한 대표적인 방법으로는 정형 검증(formal verification)이 있으며, Cadence SMV(Symbolic Model Verifier)는 정형 검증을 위해 Verilog HDL(Hardware Description Language)을 SMV로 자동 변환 해주는 장점이 있지만, 사건 기반 구조(event based structures)의 sensitivity list에 대한 지원을 하지 않는 한계가 있다. 이에 본 논문에서는 Cadence SMV에서 디지털회로(digital circuit) 중 하나인 조합 논리회로(combinational logic circuit)를 sensitivity list가 고려된 검증이 가능하도록 하는 방법을 제안한다. 신뢰성 있는 실험을 위해 본 논문에서는 제안하는 방법의 일반적인 규칙을 도출하였고, 도출된 규칙이 적용된 SMV 파일을 생성하는 자동화 프로그램을 구현하여 실험하였다. 실험결과 제안한 방법을 적용한 경우 기존 Cadence SMV가 발견하지 못한 설계상의 오류를 발견할 수 있었다.

A Study on the Transformational Christian Education for Young Adults: With a Focus on the Employment of Jung's Unconscious Confrontation and Loder's Transformational Theory (청년기의 기독교 변형화교육에 관한 연구: 융의 무의식 대면과 로더의 변형이론을 중심으로)

  • Lee, Kyoomin;Kim, Eunjoo
    • Journal of Christian Education in Korea
    • /
    • v.63
    • /
    • pp.121-150
    • /
    • 2020
  • The important developmental tasks of young adults are based on encounter and identity. These problems of encounter and identity are also connected to the instinct of longing for the "face" of primary caregivers, who acknowledge and affirm themselves as their cherished children. James Loder emphasizes that human "face pursuit instinct" later reaches "formal-operational stage" and leads to religious yearning for God as "the Eternal Face." This pursuit of "face" and "the Eternal Face" is an existential and ontological move to find out "Who am I?" through meaningful encounters. Religious psychologist Carl Jung also points out that scientific thinking has contributed to the liberation of humans from superstitious beliefs. But this has also led to the loss of the precious value of human spirit and the sense of unity with nature. Jung emphasizes that "symbolic play" should help learners and counseler face-to-face with their unconscious mind. By doing so, learners can overcome the wounds and scars of unconsciousness and mature toward the true self. James Loder is a scholar who critically introduced Jung's "unconscientious confrontation" therapy to his educational theory. Beyond Jung's unconsciousness and "symbolic play," Loder proposed transformational education for the learners to participate in meaningful changes through interaction between human spirit and the Holy Spirit. With many young adults wandering around in their existential voids, it is clear that functional and socializational education cannot overcome their problems and developmental crisis. This developmental crisis requires a foundation of identity and intimacy in the encounter with God, the "Eternal Face." Therefore, this study suggests that when Jung's "unconscious confrontation" and Loder's "transformation logic" are employed, transformational Christian education for the healthy self-identity and intimacy of young adults can be accomplished. This inquiry presents not only theoretical reflection, but also the reactions of young adults and actual feedback obtained through implementing transformational Christian education for young adults. Through all of these endeavors, this inquiry was completed by proving that "Transformational Christian Education for Young Adults" is an educational theory that can yield actual results and abound fruits. (This enquiry was undertaken by the support of the research fund of PUTS 2020.)