• Title/Summary/Keyword: 양상논리

Search Result 10, Processing Time 0.214 seconds

The Extension of BML Specification including Modal Logic (양상논리를 포함한 BML 스펙 확장)

  • Kim, Seon-Tae;Kim, Je-Min;Park, Joon-Seok;Yoo, Won-Hee
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2012.04a
    • /
    • pp.265-268
    • /
    • 2012
  • 검증에 사용하는 명세는 대부분 1차 술어 논리(First Order Logic)로 이루어져 있다. 1차 술어 논리가 자연언어 대부분을 표현하지만 표현하지 못하는 부분도 존재한다. 이를 해결하기위해 양상논리(Modal Logic)를 추가한 명세방법이 존재하지만 간접적인 방법으로만 존재할 뿐 이다. 본 논문에서는, 양상논리를 이용한 명세의 직접적인 표현을 위해 BML(Bytecode Modeling Language)을 확장한다. 이를 통해, 명세정보 표현의 정확성을 향상시킨다.

  • PDF

The extension of BIRS to Translate the BML with Modal Logic (양상논리를 포함한 BML 변환을 위한 BIRS의 확장)

  • Lee, sang-hyup;Kim, seon-tae;Kim, je-min;Park, joon-seok;Yoo, weon-hee
    • Proceedings of the Korea Contents Association Conference
    • /
    • 2012.05a
    • /
    • pp.287-288
    • /
    • 2012
  • 프로그램의 정적 검증을 위한 명세는 1차 술어 논리(First Order Logic)가 주로 사용된다. 하지만 1차 술어 논리가 모든 정보를 표현할 수가 없기에 이를 보완하기위해 양상논리(Modal Logic)를 사용할 수가 있다. 정적 프로그램 검증을 위해 양상 논리를 이용하여 확장된 BML(Bytecode Modeling Language)은 BIRS로 변환 되어야 한다. 본 논문에서는 확장된 BML을 중간 표현 언어인 BIRS(Bytecode Intermediate Representation Specification)로 표현하기 위하여 BIRS 문법을 확장한다.

  • PDF

G$\ddot{o}$del's Mathematical Proof of the Existence of God (신의 존재에 대한 괴델의 수학적 증명)

  • Hyun, Woo-Sik
    • Journal for History of Mathematics
    • /
    • v.23 no.1
    • /
    • pp.79-88
    • /
    • 2010
  • G$\ddot{o}$del's proof attempts to establish the existence of God by the definition that God is a being having all positive properties. The proof uses here second order modal logic system $S_5$ with the axiom ${\diamondsuit}{\Box}p{\rightarrow}{\Box}p$. We review the G$\ddot{o}$del's own version and prove his ontological theorems.

크립키식 양상 의미론의 일차 술어 논리를 통한 번역

  • Kim, Beom-In
    • Korean Journal of Logic
    • /
    • v.10 no.2
    • /
    • pp.109-123
    • /
    • 2007
  • 본 논문에서는 양상 논리의 정식들이 일차 논리에서 정의가능하다는 사실을 살펴 볼 것이다. 그 중에서도 특히, 크립키식 양상 해석을 중심으로 일차 논리를 통한 정의가능성을 살펴볼 것이다. 여기서 정의가능성이란, 크립키 해석에서 타당한 정식들에 대응하는 일차 논리의 타당한 정식들을 찾을 수 있다는 것을 의미한다.

  • PDF

Type Inference for XPath Backward Axis Expressions (XPath 후향축 표현식을 위한 타입 추론 기법)

  • Im, Hyeonseung
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2015.04a
    • /
    • pp.57-60
    • /
    • 2015
  • XPath는 XML 문서를 탐색하고 필요한 부분을 추출하는데 유용한 W3C 표준 프로그래밍 언어이다. XPath를 기반으로 XSLT, XQuery와 같은 표준 언어가 정의되어 널리 사용되고 있으며, DTD, XML Schema, RelaxNG와 같은 타입 언어를 이용하여 XML 문서를 효과적으로 명세할 수 있음에도 불구하고, XPath 기반 XML 처리 프로그램을 위한 타입 검사 기법은 미비하다. 본 논문에서는 XPath 기반 프로그램을 위한 새로운 양상논리 기반의 타입 추론 기법을 제안한다.

Is feeling enough for-meanings? (느낌만이 뜻인가?)

  • Lee, Gun-Won
    • Annual Conference on Human and Language Technology
    • /
    • 1989.10a
    • /
    • pp.236-239
    • /
    • 1989
  • 뜻이 느낌만으로 충분한가를 살펴본다. 느낌이 보거나 들을 수 없다는 특성을 감안하여 보거나 들을 수 있는 또 다른 언어로 표현된 것에 의하여 고찰하는 것이 더 정확하다고 보아서 변역에 의하여 고찰하는 방법을 택한다. 한 표현p에 대한 느낌을 인지자i의 주관적인 작용에 따라 다르다는 것은 분명하나 그 다름을 식별하는 어려움이 있어서 변역에 의한다. 성급히 보편적인 뜻이 없다고는 못하나 실제로는 합의된 뜻이 사용된다. 합의는 절대적이지 않아서 절대적인 분식성과 개연성의 이분법을 받아들이지 않는다. 또 이러한 관점에서 양상논리의 삼분법보다는 다치논리가 더 엄밀하다고 본다. 그래서 함의된 뜻에서의 합의는 이분법이나 삼분법에 의한 합의가 아닌 확률적인 정도에 의존한다.

  • PDF

Constructivist interpretation on the modal logic (양상 논리에 대한 구성주의적 해석)

  • Eun, Eun-suk
    • 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.

Developing the On-line Game Industry's Changing Scenario according to the introduction of IPTV (IPTV 개발 도입에 따른 온라인 게임 산업의 대응 시라리오 개발)

  • Kim, Min-Gwan;Han, Chang-Hui
    • 한국경영정보학회:학술대회논문집
    • /
    • 2008.06a
    • /
    • pp.64-70
    • /
    • 2008
  • 본 연구는 온라인 게임 산업의 구조적인 변화와 IPTV 환경변화에 초점을 두고 IPTV 도입에 따른 게임 산업의 변화를 시나리오 플래닝을 통해 제시해 보았다. 분석의 절차는 IPTV 도입과 관련하여 온라인 게임 산업에서 제기 되고 있는 핵심이슈들을 선별하고 각 이슈 별로 주요 추세와 불확실성요인들을 분석하여 IPTV 도입에 따른 온라인 게임 산업의 변화 양상을 논리적인 시나리오들로 제시하였다. 그리고 미래 발생 가능한 시나리오에 따른 온라인 게임 업체들의 전략적 대응 방안의 방향성을 제시하였다.

  • PDF

A Logical Model of Collision Response for Simulation of the Virtual Environment (가상환경의 시뮬레이션을 위한 충돌반응 양상의 논리적 모델링)

  • Kim Byung-Ju;Park Jong-Hee
    • The KIPS Transactions:PartB
    • /
    • v.11B no.7 s.96
    • /
    • pp.821-830
    • /
    • 2004
  • In this paper, we model the downward collision of a falling object to the base. We aim to provide maximum diversity of response to physical. collision. To this end, the primary design concern of the model is to unfold the collision phenomenon in a logical and natural manner, detailed enough to construct an immersive virtual environment. To achieve these requirements, first we determine domains for the characteristic of the material of the falling objects, and select the dominant force of the collision. We formulate the collision phenomena with combination of primitive attributes and their relationships. The formulated function evaluates the results of the collision in qualitative aspects as well as in quantitative aspects. Between the collision issues, 'Collision Detection' and 'Collision Response', this paper focuses on Collision Response issue.

Developing the On-line Game Industry's Changing Scenario and Establishing Business Strategy According to the Introduction of IPTV (IPTV 도입에 따른 온라인 게임 산업의 변와 시나리오 개발 및 경영 전략 수립)

  • Kim, Min-Kwan;Han, Chang-Hee
    • Information Systems Review
    • /
    • v.10 no.2
    • /
    • pp.21-48
    • /
    • 2008
  • The Korean on-line game industry is going through a rapid change. The future business environments for potential on-line game companies are very uncertain due to the new service and the different market trends. In this paper, I propose the use of morphological analysis approach for scenario generation about the future of the On-line game industry. The stages of research process were as follows; Firstly, digital contents analysis and key issues were drawn on IPTV in the on-line game industry. Secondly, each key issue was analyzed and the influence factors and directivity flow were found. Thirdly, highly probable future on-line game industry scenarios were derived. In this case, morphological analysis. On the basis of the developed scenarios, I formulated some implications for business strategy of a potential on-line game companies.