• The KIPS Transactions:PartB
• /
• v.17B no.3
• /
• pp.255-262
• /
• 2010

When a system is developed, requirements document is generated by requirement analysts and then translated to formal specifications by specifiers. If a formal specification can be generated automatically from a natural language requirements document, system development cost and system fault from experts' misunderstanding will be decreased. A pronoun can be classified in personal and demonstrative pronoun. In the characteristics of requirements document, the personal pronouns are almost not occurred, so we focused on the decision of antecedent for a demonstrative pronoun. For the higher accuracy in analysis of requirements document automatically, finding antecedent of demonstrative pronoun is very important for elicitation of formal requirements automatically from natural language requirements document via natural language processing. The final goal of this research is to automatically generate formal specifications from natural language requirements document. For this, this paper, based on previous research [3], proposes an anaphora resolution system to decide antecedent of pronoun using natural language processing from natural language requirements document in Korean. This paper proposes heuristic rules for the system implementation. By experiments, we got 92.45%, 69.98% as recall and precision respectively with ten requirements documents.

• Journal of Korean Academy of Nursing Administration
• /
• v.3 no.1
• /
• pp.51-64
• /
• 1997

The purpose of the study was to introduce an integrated approach of new Casuistry and specified principlism in resolving ethical problems and studying nursing ethics. In studying clinical ethics and nursing ethics, there is no systematic research method. While nurses often experience ethical dilemmas in practice, much of previous research on nursing ethics has focused merely on describing the existing problems. In addition, ethists presented theoretical analysis and critics rather than providing the specific problems solving strategies. There is a need in clinical situations for an integrated method which can provide the objective description for existing problem situations as well as specific problem solving methods. We inherit two distinct ways of discussing ethical issues. One of these frames these issues in terms of principles, rules, and other general ideas; the other focuses on the specific features of particular kinds of moral cases. In the first way general ethical rules relate to specific moral cases in a theoretical manner, with universal rules serving as "axioms" from which particular moral judgments are deduced as theorems. In the seconds, this relation is frankly practical. with general moral rules serving as "maxims", which can be fully understood only in terms of the paradigmatic cases that define their meaning and force. Theoretical arguments are structured in ways that free them from any dependence on the circumstances of their presentation and ensure them a validity of a kind that is not affected by the practical context of use. In formal arguments particular conclusions are deduced from("entailed by") the initial axioms or universal principles that are the apex of the argument. So the truth or certainty that attaches to those axioms flows downward to the specific instances to be "proved". In the language of formal logic, the axioms are major premises, the facts that specify the present instance are minor premises, and the conclusion to be "proved" is deduced (follows necessarily) from the initial presises. Practical arguments, by contrast, involve a wider range of factors than formal deductions and are read with an eye to their occasion of use. Instead of aiming at strict entailments, they draw on the outcomes of previous experience, carrying over the procedures used to resolve earlier problems and reapply them in new problmatic situations. Practical arguments depend for their power on how closely the present circumstances resemble those of the earlier precedent cases for which this particular type of argument was originally devised. So. in practical arguments, the truths and certitudes established in the precedent cases pass sideways, so as to provide "resolutions" of later problems. In the language of rational analysis, the facts of the present case define the gounds on which any resolution must be based; the general considerations that carried wight in similar situations provide warrants that help settle future cases. So the resolution of any problem holds good presumptively; its strengh depends on the similarities between the present case and the prededents; and its soundness can be challenged (or rebutted) in situations that are recognized ans exceptional. Jonsen & Toulmin (1988), and Jonsen (1991) introduce New Casuistry as a practical method. The oxford English Dictionary defines casuistry quite accurately as "that part of ethics which resolves cases of conscience, applying the general rules of religion and morality to particular instances in which circumstances alter cases or in which there appears to be a conflict of duties." They modified the casuistry of the medieval ages to use in clinical situations which is characterized by "the typology of cases and the analogy as an inference method". A case is the unit of analysis. The structure of case was made with interaction of situation and moral rules. The situation is what surrounds or stands around. The moral rule is the essence of case. The analogy can be objective because "the grounds, the warrants, the theoretical backing, the modal qualifiers" are identified in the cases. The specified principlism was the method that Degrazia (1992) integrated the principlism and the specification introduced by Richardson (1990). In this method, the principle is specified by adding information about limitations of the scope and restricting the range of the principle. This should be substantive qualifications. The integrated method is an combination of the New Casuistry and the specified principlism. For example, the study was "Ethical problems experienced by nurses in the care of terminally ill patients"(Um, 1994). A semi-structured in-depth interview was conducted for fifteen nurses who mainly took care of terminally ill patients. The first stage, twenty one cases were identified as relevant to the topic, and then were classified to four types of problems. For instance, one of these types was the patient's refusal of care. The second stage, the ethical problems in the case were defined, and then the case was analyzed. This was to analyze the reasons, the ethical values, and the related ethical principles in the cases. Then the interpretation was synthetically done by integration of the result of analysis and the situation. The third stage was the ordering phase of the cases, which was done according to the result of the interpretation and the common principles in the cases. The first two stages describe the methodology of new casuistry, and the final stage was for the methodology of the specified principlism. The common principles were the principle of autonomy and the principle of caring. The principle of autonomy was specified; when competent patients refused care, nurse should discontinue the care to respect for the patients' decision. The principle of caring was also specified; when the competent patients refused care, nurses should continue to provide the care in spite of the patients' refusal to preserve their life. These specification may lead the opposite behavior, which emphasizes the importance of nurse's will and intentions to make their decision in the clinical situations.

• Journal of Arbitration Studies
• /
• v.20 no.2
• /
• pp.27-47
• /
• 2010

It is well recognized that the availability of prompt, effective and economical means of dispute resolution is an important element in the orderly growth and encouragement of international trade and investment. Increasingly, arbitration, instead of litigation in national courts, has become the preferred means of resolving private international commercial disputes. Under the situation, it will be important thing for arbitral institutions to reach an agreement to promote the dispute settlement of the commercial disputes, for which efforts have been made between the Korean Commercial Arbitral Board(KCAB) and principal arbitration institutions of the foreign countries. Since 1973, the KCAB has entered into many arbitration agreements with well-known foreign institutions of arbitration. If the place of arbitration is not so designated by the parties, it, as a general rule, shall be the country of the respondent(s) under the Korea-Japanese Arbitration Agreement. On the other hand, the U.S.-Korean Commercial Arbitration Agreement maintains 'Joint Arbitration Committee which finally decide the place of arbitration. In 1996, the Korea-Austria Agreement of Cooperation was concluded for the prompt and equitable settlement on an amicable basis of commercial disputes. Under this Agreement, arbitral institutions between Korea and Austria agreed to act as an appointing authority in accordance with the UNCITRAL Arbitration Rules. It is also very important for Korea and China including North Korea to cooperate each other for the settlement of the commercial disputes within the Pan Yellow Sea Economic Bloc(PYSEB). The PYSEB is quickly becoming a distinctive and crucial region in the world sharing geographical proximity, many common historical experiences, and similar cultural norms and values although they have disparities in stages of development, trade and economic policies, and financial and legal frameworks. Finally, it should be considered to establish a central common system for settlement promotion of the commercial disputes within the PYSEB through the arbitration agreement. Such a dispute resolution system was already introduced and established within the area of the NAFTA, and it is called the Commercial Arbitration and Mediation Center for the Americas(CAMCA).

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.68
• /
• pp.123-148
• /
• 2015

Central Asian Countries had been independent in 1991 from USSR. Since then it have been increasing foreign trade and investment amount with outside countries including China, Japan, EU and South Korea. Korean enterprises and entities have endeavored to secure plentiful natural resources, oil and gas energy and expand the market share to exporting the consuming and industrial competitive goods and services for those countries. In the case of disputes of commercial transactions and investment, arbitration is regarded as a dispute resolution system which has been preferred in international transactions and investments by the business world. Since the collapse of the USSR, Central Asian Countries have worked to modernize its arbitration law and procedure to conform with international standard rules. Arbitral legislation in Central Asian countries is based on the Model Law as adopted in 1985. However, CIS's legislation systems of arbitration are not satisfied with the international standard in national laws and practices. That is the reason to consider for the specific parliament about arbitration for the dispute resolutions in the commercial transaction and investment between Korean enterprises and CIS. In this article, it is discuss problems and its alternatives in the dispute resolution about the commercial transaction and investment into Central Asian countries including the tendency to the increasing the trade volumes of goods and investment between South Korea and CIS. According to this article, South Korea consider the long term strategy followed the preferred economic relative partnership for business success on commercial transaction and investment with the Central Asian Countries.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.8
• /
• pp.4077-4091
• /
• 2017

This paper presents the design of a broadcasting scenario and system for an 8K-resolution content. Due to an 8K content is four times larger than the 4K content in terms of size, many technologies such as content acquisition, video coding, and transmission are required to deal with it. Therefore, high-quality video and audio for 8K (ultra-high definition television) service is not possible to be transmitted only using the current terrestrial broadcasting system. The proposed broadcasting system divides the 8K content into four 4K contents by area, and each area is hierarchically encoded by Scalable High-efficiency Video Coding (SHVC) into three layers: L0, L1, and L2. Every part of the 8K video content divided into areas and hierarchy is independently treated. These parts are transmitted over heterogeneous networks such as digital broadcasting and broadband networks after going through several processes of generating signal messages, encapsulation, and packetization based on MPEG media transport. We propose three methods of generating streams at the sending entity to merge the divided streams into the original content at the receiving entity. First, we design the composition information, which defines the presentation structure for displays. Second, a descriptor for content synchronization is included in the signal message. Finally, we define the rules for generating "packet_id" among the packet header fields and design the transmission scheduler to acquire the divided streams quickly. We implement the 8K broadcasting system by adapting the proposed methods and show that the 8K-resolution contents are stably received and serviced with a low delay.

• Journal of Arbitration Studies
• /
• v.29 no.2
• /
• pp.3-34
• /
• 2019

The resumption of economic cooperation between South and the North Korea will be a new growth engine for our economy. Many Korean companies are preparing to invest in North Korea in accordance with the progress of inter-Korean relations. However, there are many risks inherent in inter-Korean economic cooperation, as experienced in previous cases. Specifically, one should be prepared for unfair measures such as the expropriation of investment assets of South Korean enterprises by North Korea authorities. Therefore, it is essential to review the protection measures of investment in North Korea and to review the investment dispute settlement system. The South and the North have an agreement to establish the inter-Korean Commercial Arbitration Committee to resolve the disputes that may arise if one party's investments are lost due to inappropriate or unfair measures due to the other party's authority. However, the Investment Agreement, which governs the Inter-Korean Commercial Arbitration Committee, contains a number of declarative statements that are somewhat ineffective. Even today, nearly 20 years after the adoption of the Agreement, the specific detailed procedures have shown no real progress, such as in the enactment of arbitration rules. Therefore, at present, it is difficult to expect a system that can effectively address the damage of our corporations which have invested in North Korea. When the assets freeze after the suspension of Kumgang tourism and the closure of the Kaeseung Industrial Complex by North Korea, the activation of the inter-Korean Commercial Arbitration Committee is the most important prerequisite for economic cooperation with North Korea. For this purpose, the resolution of disputes through the Inter-Korean Commercial Arbitration Committee has to be made more concrete, with the effectiveness of the dispute settlement system enhanced by means of various efforts.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.7 no.4
• /
• pp.783-787
• /
• 2012

It is not easy to find out syntactic error in a spelling checker systems of Korean, because the spelling checker is generally to correct each phrase and it cannot check the errors of contextual ill-matched words. Spelling checker system tests errors based on a words. Disambiguation of lexical ambiguities is important in natural language processing. Its outputs is used in syntactic analysis. For accurate analysis of a sentence, syntactic analysis system must find out the ambiguity of morphemes in a word. In this paper, we suggest several rules to resolve the ambiguities of morphemes in a word. Using these methods, we can reduce many lexical ambiguities in Korean.

• Korean Journal of Cognitive Science
• /
• v.11 no.1
• /
• pp.9-24
• /
• 2000

This paper analyzes the distribution and classification of unrealized arguments of a predicate often called zero pronouns. in spoken Korean. Based on the transcript of a one-hour-Iong dialogue. recorded from public radio stations. I present the statistical data on argument ellipsis in Korean with respect to the frequency of zero ronouns as well as the nature of their antecedents. I go further to review some of the previous efforts to identify the discourse- theoretic functions of zero-pronouns in the framework of Centering Theory. and propose that the zero-pronouns in spoken Korean be divided into center-insensitive vs. center-sensitive classes. I also point out a couple of language-particular idiosyncrasies found in Korean, such as morpho-syntactic elements and encyclopaedic knowledge. that interact with center management in on-going discourse and often lead to difficulties in applying the centering rules and constraints to Korean.

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.57
• /
• pp.79-108
• /
• 2013

International transactions of plant and construction project need to time to time for completing the contract. During the performing the contract there may arise many claims and disputes it should be settled rapidly for processing schedule of works. However, arbitration and litigation for settlement of dispute are inappropriate in time and expense under the specifications of plant and construction project. Dispute boards are one of the successful resolution method of dispute prior to litigation or arbitration. If the dispute board was failed, of course, it may be allowed to continue into litigation or arbitration. As the creative methods of parties agreement, dispute boards may be expected to avoid claims and dispute in long and medium international contract. The purpose of this paper is to explore the specification and limitations of dispute boards that may clear disputes under long and medium contract of construction and procurement. It needs to be understand to determine whether is the useful methods for resolving dispute in the international project. This paper considers the specific natures of dispute board and its rules, procedures and problems including ICC and FIDIC for the contract of long and medium transaction.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.25 no.10
• /
• pp.1193-1201
• /
• 1988

In this paper, we describe the syntactic and semantic parsing methods which use the case frames. The case structures based on obligatory cases of verbs. And, we use a small set of partial-garammar rules based on simple sentence to represent such case structures. Also, we enhance the efficiency by constructing independent procedure for particle classification and ambiguity resolution of major particle considering the importance of Japanese particle process in the generation. And we construct the generation table considering the combination possibility between the verbs and auxiliary verbs for processing the termination phrase. Therefore we can generate more natural translated sentence according to unique decision with information of syntactic analysis and simplify the generating process.