• Journal of Internet Computing and Services
• /
• v.9 no.1
• /
• pp.55-67
• /
• 2008

This paper presents the assignment motion algorithm unrestricted for code optimization computationally. So, this algorithm is suppressed the unnecessary code motion in order to avoid the superfluous register pressure, we propose the assignment motion algorithm added to the final optimization phase. This paper improves an ambiguous meaning of the predicate. For mixing the basic block level analysis with the instruction level analysis, an ambiguity occurred in Knoop's algorithm. Also, we eliminate an ambiguity of it. Our proposal algorithm improves the runtime efficiency of a program by avoiding the unnecessary recomputations and reexecutions of expressions and assignment statements.

• The KIPS Transactions:PartA
• /
• v.8A no.1
• /
• pp.27-35
• /
• 2001

This paper presents the assignment motion algorithm unrestricted for code optimization computationally. So, this algorithm is suppressed the unnecessary code motion in order to avoid the superfluous register pressure, we propose the assignment motion algorithm added to the final optimization phase. This paper improves an ambiguous meaning of the predicated. For mixing the basic block level analysis with the instruction level analysis, an ambiguity occurred in knoop’s algorithm. Also, we eliminate an ambiguity of it. Our proposal algorithm improves the runtime efficiency of a program by avoiding the unnecessary recomputations and reexecutions of expressions and assignment statements.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.7
• /
• pp.35-48
• /
• 2022

In this study, it propose a proof theory method for expressing and reasoning knowledge in a multiagent environment. Since this method determines logical results in a mechanical way, it has developed as a core field from early AI research. However, since the proposition cannot always be proved in any set of closed sentences, in order for the logical result to be determinable, the range of expression is limited to the sentence in the form of a clause. In addition, the resolution principle, a simple and strong reasoning rule applicable only to clause-type sentences, is applied. Also, since the proof theory can be expressed as a meta predicate, it can be extended to the metalogic of the proof theory. Metalogic can be superior in terms of practicality and efficiency based on improved expressive power over epistemic logic of model theory. To prove this, the semantic method of epistemic logic and the metalogic method of proof theory are applied to the Muddy Children problem, respectively. As a result, it prove that the method of expressing and reasoning knowledge and common knowledge using metalogic in a cooperative multiagent environment is more efficient.

• Korean Journal of Logic
• /
• v.17 no.2
• /
• pp.253-287
• /
• 2014

In First-Order Logic the English expressions, 'any', 'every', 'all', and 'each' are treated on a par but have different meanings in the natural language usages. Especially the expression 'any' is typically used only in the negative contexts, which linguists have paid attention to and attempted to provide an adequate explanation of. I shall show that the explanations so far mainly from linguists are not satisfactory and revive the philosophical insights concerning the logical features of 'any' provided by Zeno Vendler in 1962. I shall claim that the expression 'any' has what Vendler calls the 'freedom of choice' as its primary meaning and denotes what Kit Fine calls an 'arbitrary object'. It will be shown that the logical features of 'any' are manifested more evidently in the analysis of the Korean expression 'amwu'. I believe that this analysis has significant philosophical implications. As an instance I shall show that we can take a fresh perspective on the problem which involves the universal generalization rule and the preface paradox.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.4
• /
• pp.816-823
• /
• 2005

Non-Horn logic programs are extended from Horn logic programs to the level of 1st order predicate logic. Even though they are more expressive than Horn logic programs, They are not practically used because we do not have efficient implementations. Currently to execute non-Horn logic programs, we translate them to equivalent Horn logic programs using the proof procedure InH-Prolog and compile the Horn logic programs to WAM(Warren Abstract Machine) instructions. In this paper, we propose EWAM(Extended Warren Machine) that executes non-Horn logic programs more efficiently and a compilation scheme that compiles non-Horn logic programs to the EWAM instruction. We implement an EWAM emulator and a compiler and measured the performance of the EWAM emulator and the compiler and found that they are very efficient.

• Journal of the KSME
• /
• v.19 no.2
• /
• pp.76-78
• /
• 1979

설계공학이라는 말이 공학상의 정식용어로서 널리 쓰여지고 있는 것 같지는 않으나 국내외의 공학을 하는 사람들 사이에는 이미 알려지고 있고 이러한 제목의 서적도 몇가지는 나와 있으며 가까운 장래에 일반으로 통용되는 술어로서 승인될 것이며 그 취급하는 내용도 점차 명확해질 것으로 생각한다. 단적으로 설계공학이란 무엇이냐 하면 다음과 같이 말하여도 될 줄 안다. [좋은 설계를 능률 좋게 행하는 방법을 창출하기 위하여 공학적설계의 본질에 대하여 연구하는 학문 이다.]라고. 종래 우수한 설계자는 기본적 공학을 채득한자가 체험으로 기능 교육적으로 양성되는 것이라고 알려져 왔다. 이것은 비단 설계뿐만 아니라 다른 학문의 경우에도 같으나 특히 설계는 그러한 면이 강한 것이 사실이다. 넓은 의미로의 설계공학은 공학의 모든 영역에 적용되는 것 이며 다시 공학뿐만 아니라 적어도 그 일부는 자연과학의 연구, 비지네스등 적어도 인간이 어떤 목적을 달성하기 위하여 계획하는 경우에도 적용할 수 있는 것이다. 이러한 광범한 영역중에서 본 고에서는 그 주영역을 기계공학으로 하였다. 기계공학중 종래의 기계설계라는 학과중에 기계 설계의 방침이라든지 기계설계상의 유의사항등의 표제하에 설계전반에 관한 문제가 다소는 취 급되어 왔다. 이 기계설계 과목의 학습의 주목적은 기계요소에 관한 지식의 습득이다. 기계기술 자에 요구되는 설계는 설계할 물건의 구체적인 공간적 모양. 치수와 재료를 선정하는 것이 아 니면 안되고 보통은 설계도면의 형태로 주어진다. 이 기계설계의 최종단계에서는 기계요소에 관한 지식은 없어서는 안되므로 기계요소에 관한 학습을 목적으로한 기계설계가 중요함은 말할 것도 없으나 종래의 기계설계만으로는 설계전체에 관한 연구가 부족되어 있음을 부정할 수 없고 Detail을 설계하는 설계자를 양성할 수는 있어도 더 큰 시야를 갖는 설계자의 양성에는 불충분 하였다. 설계공학에는 이점을 충분히 함으로써 종래의 기계설계를 보장하는 뜻도 있다. 설계공 학의 발생은 말할 것도 없이 공업전체의 최근의 경이적인 발달에 기인된 것이다. 즉 공학의 대 발전의 결과로서 공업과 공학에 대한 요청이 과도하게 되어 공업과 공학의 사회에 대한 책임이 증대하였기 때문에 공업. 공학에 종사하는 사람은 옛날보다 훨씬 복잡하게 상관하는 수많은 조 건을 고려하면서 보다 나은 설계를 도모하지 않으면 안되게 되었기 때문이다. 좋은 설계라 함은 무엇이냐, 능률 좋은 설계하려면 어떻게 하면 좋은가 등의 문제에 답하는 것이 설계공학이다. 또는 설계의 process 해석이 설계공학이라고 하여도 좋을 것이다.

• Korean Journal of Cognitive Science
• /
• v.21 no.1
• /
• pp.95-126
• /
• 2010

This study proposes a bottom-up and inductive manual mapping methodology for integrating two heterogenous fine-grained ontologies which were built by a top-down and deductive methodology, namely the Sejong semantic classes (SJSC) and the upper nodes in KorLexNoun 1.5 (KLN), for HLP applications. It also discusses various problematics in the mapping processes of two language resources caused by their heterogeneity and proposes the solutions. The mapping methodology of heterogeneous fine-grained ontologies uses terminal nodes of SJSC and Least Upper Bounds (LUB) of KLN as basic mapping units. Mapping procedures are as follows: first, the mapping candidate groups are decided by the lexfollocorrelation between the synsets of KLN and the noun senses of Sejong Noun Dfotionaeci(SJND) which are classified according to SJSC. Secondly, the meanings of the candidate groups are precisely disambiguated by linguistic information provided by the two ontologies, i.e. the hierarchicllostructures, the definitions, and the exae les. Thirdly, the level of LUB is determined by applying the appropriate predicates and definitions of SJSC to the upper-lower and sister nodes of the candidate LUB. Fourthly, the mapping possibility ic inthe terminal node of SJSC is judged by che aring hierarchicllorelations of the two ontologies. Finally, the ituorrect synsets of KLN and terminologiollocandidate groups are excluded in the mapping. This study positively uses various language information described in each ontology for establishing the mapping criteria, and it is indeed the advantage of the fine-grained manual mapping. The result using the proposed methodology shows that 6,487 LUBs are mapped with 474 terminal and non-terminal nodes of SJSC, excluding the multiple mapped nodes, and that 88,255 nodes of KLN are mapped including all lower-level nodes of the mapped LUBs. The total mapping coverage is 97.91% of KLN synsets. This result can be applied in many elaborate syntactic and semantic analyses for Korean language processing.

• Koreanishche Zeitschrift fur Deutsche Sprachwissenschaft
• /
• v.6
• /
• pp.79-98
• /
• 2002

지금까지 우리는 한국어와 독일어를 비교하면서 동사의 정형과 부정형을 관찰해 왔다. 이 부정성(역으로 말하면 비구속성)은 한국어 동사에는 전반적으로 통용되는 데 반해 독일어에는 부정형/동사원형과 분사가 그러할 뿐이다. 동사의 특성 연구는 어느 자연어/개별언어의 상이한 기능을 위해서 뿐만이 아니라 외국어 학습/습득을 위해서도 큰 의미를 갖는다. 이러한 중요성에도 불구하고 독특한 한국어 동사의 부정성, 그 연구는 거의 찾아볼 수가 없다. 한국어와 독일어 동사의 부정성 비교에서 드러난 문제점은 대체로 다음과 같이 요약될 수 있을 것이다. $\ast$ 한국어 동사의 특징인 부정성은 우리의 운명으로 간주해야 할 것이다. 왜냐하면 우리가 어떤 면에서는 유익함을, 그리고 어떤 다른 면에서는 문제점을 감수해야 하기 때문이다. 특히 전형적인 전치성 언어인 유럽언어를 습득할 때 언어간섭현상을 통해 그러하다. $\ast$ 독일어의 부정사/분사 및 한국어 동사가 인칭변화를 하지 않는다는 것은 그들이 주어를 갖지 않고 있거나 (독일어의 경우), 아니면 그것이 어떤 문법/통사적 역할을 하는가 (한국어의 경우)에 주된 원인이 있다. $\ast$ 비교 대상의 양쪽은 생략가능성, 즉 원자가 요구에 대한 자유/비구속성을 누린다. 핵(성분), 즉 독일어의 부정형 및 분사 그리고 한국어 동사는 혼자 남을 때까지 생략이 계속될 수 있다. 이러한 의미에서 부정성은 <비한정성/비구속성>과 관련된 것 같으며, 반면에 정동사의 특성은 <한정성/구속성>과 관계되어 있다. $\ast$ 원자가 요구/충족에 대한 자유/비구속성은 한국어 동사/술어가 문장 끝에 고정되어 있다는 사실은, 직접 또는 간접으로 본동사 앞에 놓여 있어야 되는 모든 문장성분과 부문장 때문에, 즉 한국어의 전면적인 전위수식 현상으로 흔히 큰 부담/복잡함을 야기한다는 데에 그 원인이 있다. 이러한 상황에서 동사는 가능한 한 그의 문장성분을 줄이려 한다. 통사적으로 보장되어 이미 있으니 말이다. 그래서 한국어 동사의 부정성은 일종의 부담해소 대책으로 간주될 수 있을 것이다. $\ast$ 두 비교 대상에서의 핵 및 최소문장 가능성은 역시 원자가에 대한 비구속성에서 비롯된다. $\ast$ 우리 한국인이 빨리 말할 때 흔히 범하는 부정성으로 인한 인칭변화에서의 오류는 무엇보다도 정형성/제한성을 지닌 독일어 정동사가 인칭 변화하는 데 반해 한국어에서는 부정성/비구속성을 지닌 동사가 그것과는 무관한 페 기인한다. 동사의 속성을 철저히 분석함으로써 이런 과오를 극복해야 할 것이다. 한국어 동사의 부정성은 지금까지 거의 연구되지 않았다. 이 문제는 또한 지속적으로 수많은 다른 자연어들과의 비교분석을 통해 관찰돼야 할 것이다. 이 논문이 이런 연구와 언어습득을 위한 작업에 도움이 되기를 바란다.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.117-134
• /
• 2010

In this paper, I attempted to show that 'Sorensen's Sorites' is not a successful argument for the vagueness of 'vague'. There are a lot of debates about it, but the central issue is whether Sorensen's Sorites is just small sorites; whether the vagueness certified by Sorensen's Sorites is just the vagueness of 'small'. Deas and Hull thought it was and rejected Sorensen's proof based on his sorites. But their rejection was rebutted by Varzi. The basis of his argument is that the subject of Sorensen's sentences - 'n-small' is vague - is not used but mentioned. I tried to reply on behalf of Deas and Hull and to show that the predicate 'vague' has not any effect on determining the truth value of "'n-small' is vague." Then it can be removed from the sentence. Of course I approve 'vague' is a homological term. What I do not agree with is only Sorensen's argument.

• Journal of KIISE
• /
• v.42 no.12
• /
• pp.1568-1574
• /
• 2015

Relation extraction plays a role in for the process of transforming a sentence into a form of knowledge base. In this paper, we focus on predicates in a sentence and aim to identify the relevant knowledge base properties required to elucidate the relationship between entities, which enables a computer to understand the meaning of a sentence more clearly. Distant Supervision is a well-known approach for relation extraction, and it performs lexicalization tasks for knowledge base properties by generating a large amount of labeled data automatically. In other words, the predicate in a sentence will be linked or mapped to the possible properties which are defined by some ontologies in the knowledge base. This lexical and ontological linking of information provides us with a way of generating structured information and a basis for enrichment of the knowledge base.