• 한국언어정보학회지:언어와정보
• /
• 제4권2호
• /
• pp.69-92
• /
• 2000

It is well-known that default rules require a nonmonotonic logic. Veltman proposed one dynamic theory which interprets default rules in such a way that correct inferences can be made at each information state. But his theory has some problems. First, this theory excludes the possibility that a default rule can be true of false. Second, his representation of an information state makes it difficult to interpret a default rule embedded in another sentence. Third, the notion of a frame which is introduced in the interpretation of a default rule and the adjustment of inferential expectation has a more complex structure than is necessary, In this paper, I propose a truth-conditional theory of default rules in which the meaning of a default rule is defined as a truth-condition in a possible world and which assumes a simpler structure of a frame. This makes it possible to interpret a default rule embedded in a sentence. A dynamic theory for default rules is also proposed for correct inferences based on default rules.

• 무역학회지
• /
• 제45권5호
• /
• pp.279-301
• /
• 2020

In the absence of any guidance under statutory law, such as the Rules for Construction of Policy, MIA 1906, judges should follow the general principles of interpretation that apply to all contracts. In simple terms, Contra Proferentem Rule means that if the contents of the terms and conditions are ambiguous, they are interpreted against the writer of the terms and conditions. In the Anglo-American Contract Law, the 'default rule' is an important judicial tool that can supplement defects in contract norms and reinforce the principle of private autonomy through gap-filling techniques related to the interpretation of contracts. In Korea, it is sometimes mentioned in case of precedent, and it has been established as a clear rule. This study analyzes the interpretation of terms and conditions is not in the form that the interpretation of other general contracts and other interpretation principles are valid, but contracts based on terms and conditions are also contracts, and as a general rule, the interpretation of terms and conditions is explained like the general contract interpretation.

• 한국정보처리학회논문지
• /
• 제6권2호
• /
• pp.357-366
• /
• 1999

Inheritance reasoning has been widely used in the area of common sense reasoning in artificial intelligence. Although many inheritance reasoners have been proposed in artificial intelligence literature, most previous reasoning systems are lack of clear semantics, thus sometimes provide anomalous conclusions. In this paper, we describe a set-oriented inheritance reasoner and propose a method of resolving conflicts with clear semantics of defeasible rules. The semantics of default rule is provided by statistical analysis of $\chi$ method, and likelihood of rule is computed based on the evidence in the past. Two basic rules, specificity and generality, are defined to resolve conflicts effectively in the process of reasoning. We show that the mutual tradeoff between specificity and generality 추 prevent many anomalous results from occurring in traditional inheritance reasoners. An algorithm is provided. and some typical examples are given to show how the specificity/generality rules resolve conflicts effectively in inheritance reasoning.

• Journal of the Korean Statistical Society
• /
• 제26권4호
• /
• pp.477-491
• /
• 1997

A new predictive classification rule for assigning future cases into one of two multivariate normal population (with unknown normal mixture model) is considered. The development involves calculation of posterior probability of each possible normal-mixture model via a default Bayesian test criterion, called intrinsic Bayes factor, and suggests predictive distribution for future cases to be classified that accounts for model uncertainty by weighting the effect of each model by its posterior probabiliy. In this paper, our interest is focused on constructing the classification rule that takes care of uncertainty about the types of covariance matrices (homogeneity/heterogeneity) involved in the model. For the constructed rule, a Monte Carlo simulation study demonstrates routine application and notes benefits over traditional predictive calssification rule by Geisser (1982).

• Journal of the Korean Statistical Society
• /
• 제29권3호
• /
• pp.337-350
• /
• 2000

This paper suggests a new diagnostic measure and a stopping rule for detecting influential observations in multiple discriminant analysis (MDA). It is developed from a Bayesian point of view using a default Bayes factor obtained from the fractional Bayes factor methodology. The Bayes factor is taken as a discriminatory information in MDA. It is shown that the effect of an observation over the discriminatory information is fully explained by the diagnostic measure. Based on the measure, we suggest a stopping rule for detecting influential observations in a given training sample. As a tool for interpreting the measure a graphical method is sued. Performance of the method is used. Performance of the method is examined through two illustrative examples.

• 한국중재학회지:중재연구
• /
• 제30권4호
• /
• pp.163-177
• /
• 2020

There are several ways to implement charter parties in the operation of the vessel. Under the time charter party, the charterer borrows the vessel from the shipowner and uses the vessel to benefit his business. The time charter party's legal relationship can be divided into internal and external relationships. This article deals with an internal relationship. The legal matters between the shipowner and charterer are regulated by the agreement. The NYPE is the most widely circulated type of time charter party. According to the NYPE, navigational matters fall upon the shipowner while business matter falls upon the time charterer. There are vague parts in interpreting NYPE articles. NYPE Art. 8, called the employment clause, is one of them. The Master employed by the shipowner should follow the order of the charterer. Whether the charterer has the right to order the Master of the vessel to follow the navigating route recommended by him was addressed in the Hill Harmony case by the UK Supreme Court. The court was affirmative. Under the Ocean Victory case, whether the time charterer has an obligation to order the Master to go out to escape heavy weather from the berth at the port was at issue. The Japanese lower court decided negatively. There is a tendency that many countries insert default rule in the maritime law to apply it to the case at issue in a case where there is no agreement. It serves the enhancement of legal stability; China, Japan, and Germany are such countries. The author thinks that Korea should follow the above three countries' revision of their maritime law.

• 무역상무연구
• /
• 제51권
• /
• pp.263-283
• /
• 2011

There are two typical international rules in issuing guarantee for obligations of party which is responsible to provide some duties such as services, construction, plants, loan repayment, etc. The two internationally recognized rules are currently ISP98 and URDG758. ISP98 was firstly introduced in 1998 for American banks to issue standby letter of credit domestic and overseas for the area where UCP does not cover. URDG was introduced first in 1991 in the name of URDG458 but it has not been widely used and therefore new URDG named URDG758 came out in 2010 to accommodate more standard guarantee practice. At the face of these two prevailing international rules, the users are sometimes confused which rule would be more suitable for their individual transaction. This led us to conduct a comparative analysis on these two rules. Our study suggests that URDG758 is more adequate for construction, ship-building and plants-supply obligations whilst ISP98 is for financial obligations. Also attentions are required when issues such as counter guarantee, governing rule, presentation period, document examination period and default statement exist. This is because ISP98 and URDG758 have different view points.

• 한국중재학회지:중재연구
• /
• 제34권2호
• /
• pp.45-64
• /
• 2024

In international transactions, a demand guarantee is commonly used as a so-called independent bank guarantee to protect against the other party's default under, or breach of, contract). However, there is a risk that the independence and the documentary character of the demand guarantee may be abused by the beneficiary of the guarantee, who may fall into the temptation to demand or call for payment under the guarantee by preparing documents that appear to constitute a complying demand for payment, even though the demand has no conceivable basis. In Korea, through case law, a legal rule has been developed to prevent such abusive calls for payment. This paper examines how such rule that prohibits abuse of rights is applying in the context of counter-guarantees. To this end, this paper first considers the concepts of a demand guarantee and a counter-guarantee and the basic legal principles applicable thereto. And then this paper considers abusive calls under the guarantees, that exceptionally works as grounds for refusal of payment by guarantors and counter-guarantors, further looking at some situations in which the calls amount to be abusive under counter-guarantees in particular.

• 지능정보연구
• /
• 제27권1호
• /
• pp.83-102
• /
• 2021

2020년 8월 정부는 한국판 뉴딜을 뒷받침하기 위한 공공기관의 역할 강화방안으로서 각 공공기관별 역량을 바탕으로 5대 분야에 걸쳐 총 20가지 과제를 선정하였다. 빅데이터(Big Data), 인공지능 등을 활용하여 대국민 서비스를 제고하고 공공기관이 보유한 양질의 데이터를 개방하는 등의 다양한 정책을 통해 한국판 뉴딜(New Deal)의 성과를 조기에 창출하고 이를 극대화하기 위한 다양한 노력을 기울이고 있다. 그중에서 한국무역보험공사(KSURE)는 정책금융 공공기관으로 국내 수출기업들을 지원하기 위해 여러 제도를 운영하고 있는데 아직까지는 본 기관이 가지고 있는 빅데이터를 적극적으로 활용하지 못하고 있는 실정이다. 본 연구는 한국무역보험공사의 수출신용보증 사고 발생을 사전에 예측하고자 공사가 보유한 내부 데이터에 기계학습 모형을 적용하였고 해당 모형 간에 예측성과를 비교하였다. 예측 모형으로는 로지스틱(Logit) 회귀모형, 랜덤 포레스트(Random Forest), XGBoost, LightGBM, 심층신경망을 사용하였고, 평가 기준으로는 전체 표본의 예측 정확도 이외에도 표본별 사고 확률을 구간으로 나누어 높은 확률로 예측된 표본과 낮은 확률로 예측된 경우의 정확도를 서로 비교하였다. 각 모형별 전체 표본의 예측 정확도는 70% 내외로 나타났고 개별 표본을 사고 확률 구간별로 세부 분석한 결과 양 극단의 확률구간(0~20%, 80~100%)에서 90~100%의 예측 정확도를 보여 모형의 현실적 활용 가능성을 보여주었다. 제2종 오류의 중요성 및 전체적 예측 정확도를 종합적으로 고려할 경우, XGBoost와 심층신경망이 가장 우수한 모형으로 평가되었다. 랜덤포레스트와 LightGBM은 그 다음으로 우수하며, 로지스틱 회귀모형은 가장 낮은 성과를 보였다. 본 연구는 한국무역보험공사의 빅데이터를 기계학습모형으로 분석해 업무의 효율성을 높이는 사례로서 향후 기계학습 등을 활용하여 실무 현장에서 빅데이터 분석 및 활용이 활발해지기를 기대한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.241-243
• /
• 2003

지능형 정보 에이전트 시스템에서 사용되는 디폴트 규칙 시스템의 결론 집합을 생성하기 위한 추론 과정에서 불일치를 발생할 수 있는 새로운 오순 상황을 제시하고, 이를 해결할 수 있는 새로운 의미론을 정의한다. 확장 논리 프로그램은 추론된 결과 집합에서 같은 심벌이 양의 부호와 음의 부호를 동시에 가진 형태로 존재하는 경우에 모순이 발생하게 된다. 막장 논리 프로그램에 기반을 둔 디폴트 추론 시스템에서도 이런 모순을 가지게 되며, 이 문제를 해결하기 위한 방법이 정의되어 있다. 하지만, 비단조 추론을 하는 디폴트 규칙 시스템에서는 이런 문제 외에도 모순이 발생하게 된다. 하지만, 기존의 연구에서는 이러한 문제를 해결하는 방범이 고려되지 않았다. 최근에 들어서 디폴트 규칙 시스템은 지능형 에이전트에 내재되면서 에이전트간의 협상과 업데이트 등에 많이 사용되고 있다. 만일, 에이전트 내에서 규칙 시스템이 모순 상황이 발생하는 경우 예기치 않은 손실이 발생하게 된다. 따라서 결론 집합을 일관성 있게 추론하는 것은 지능형 에이전트 시스템의 신뢰성을 높이기 위해서 반드시 필요한 사항이다. 더욱이 에이전트 시스템의 사용분야가 지속적으로 늘어나는 상황에서 기존에 제안된 모순 이외에 각 분야에서 특성에 따라서 발생 가능한 모순이 발생하게 되며, 이 문제를 해결하는 것이 중요한 문제이다. 본 논문에서는 기존에 정의된 모순 외에 발생 가능한 문제점을 제시하고 이를 해결하기 위한 새로운 규칙 시스템의 의미론을 정의하였다.