• Korean Journal of Logic
• /
• v.18 no.3
• /
• pp.307-335
• /
• 2015

An important component in Prawitz's and Dummett's proof-theoretic accounts of validity is the condition for validity of open arguments. According to their accounts, roughly, an open argument is valid if there is an effective method for transforming valid arguments for its premises into a valid argument for its conclusion. Although their conditions look similar to the proof condition for implication in the BHK explanation, their conditions differ from the BHK account in an important respect. If the premises of an open argument are undecidable in an appropriate sense, then that argument is trivially valid according to Prawitz's and Dummett's definitions. I call this 'the triviality problem'. After a brief exposition of their accounts of proof-theoretic validity, I discuss triviality problems raised by undecidable atomic sentences and by Godel sentence. On this basis, I suggest an emendation of Prawitz's definition of validity of argument.

• Journal of KIISE:Software and Applications
• /
• v.37 no.2
• /
• pp.148-154
• /
• 2010

In the study of the formal semantics of uncertain databases, we typically take an algebraic approach by mapping an uncertain database to possible worlds which are a set of relational databases. In this paper, we present a new semantics for uncertain databases which takes a logical approach by translating uncertain databases into logical theories. A characteristic feature of our semantics is that it uses linear logic, instead of propositional logic, as its logical foundation. Linear logic is suitable for a logical interpretation of uncertain information because unlike propositional logic, it treats logical formulae not as persistent facts but as consumable resources. As the main result, we show that our semantics is faithful to the operational account of uncertain databases in the algebraic approach.

• Spatial Information Research
• /
• v.10 no.1
• /
• pp.29-43
• /
• 2002

The purpose of this study is to set up the GIS Audit methodology through the definition of standard procedure ailed GIS Audit criteria and the result of preliminary study about the GIS Audit. the frame of GIS Audit criteria and the result of preliminary study about the GIS Project and check the GIS Audit methodology is to define a standard process of GIS Project and check the GIS Project according to the standard process. We named the method as CASP(GIS Audit Standard Procedure). GASP method means doing Pilot Project for setting the sample standard procedure(named Prototype) of total GIS Project process, and checking the activity to fulfill the prototype. GASP method is advanced method for GIS Audit to analyze the full range of GIS Project and characteristics of GIS contents.

• The Mathematical Education
• /
• v.34 no.2
• /
• pp.141-202
• /
• 1995

van Hiele의 사고수준 이론에는 기초수존, 제1수준, 제2수준, 제3수준, 제4수준 등 5가지가 있고, 이 중에서 국민학교에 해당되는 것은 기초수준 (1학년), 제1수준(2, 3학년), 제2주순 (4, 5, 6학년) 등 세 가지 뿐이다. 그리고 기하학적의 구조 인식론에는 관제, 구성, 정의, 공리, 정리, 증명, 척도, 자호, 응용 등 9가지 단계가 있고, 이 9가지 단계를 기초수준, 제 1수준, 제 2수준의 각 수준에 대응시켜서 거기에 해당되는 기하도형 학습을 연구·분석하였다. 기하도형에 관한 학습은 주로 경험성과 창의성을 바탕으로 하는 보기문제를 제시하여 그 흐름을 해결함으로써 각 수준의 각 단계들을 스스로 인식하도록 하였다. 특히 여기에서 처음으로 등장하는 기하학의 구조 인식론이라는 것은 위에서 언급한 9가지 단계를 차례로 거쳐 가야만 아동들은 도형을 올바르게 빠짐없이 인식할 수 있다는 이론이다. 이 이론의 특징을 예를 하나 들어서 설명해 보면, 흔히들 정의를 단순히 무정의어와 정의어로 구분하고 있는데 반하여, 이 이론에서는 서로 역동적인 관계를 갖고 있는 기초정의, 상황정의, 포괄정의, 기본정의, 부수정의, 특수정의 등으로 나누었다는 점이다.

• Journal of the Korean Geographical Society
• /
• v.40 no.6 s.111
• /
• pp.671-693
• /
• 2005

This paper is to explore critically environmentalism, especially in terms of environmental justice, suggested or implied in theory of liberalism which has been the ideological foundation of contemporary society. It begins with a brief look at liberal perspective in a broad sense, then interprets in-depth the classical liberalism of J. Locke, libertarianism (esp. R. Nozick) and utilitarianism (including cost-benefit analysis) from the environmental point of view. And finally it considers liberal pluralism and other alternative theories of pluralism, especially communitarianism (esp M. Walzer), postmodern pluralism (esp. I. Young), and cultural pluralism (esp. C. Taylor) in order to overcome limitations of liberal environmentalism and to find out some clues for theory of environmental justice. In conclusion, this paper argues that we need to transfer from liberalism (including liberal pluralism) to critical pluralism in oder to develop a proper understanding of environmental problems and to conceptualize a desirable theory of environmental justice.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.241-243
• /
• 2003

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

• Journal of the Korean association of regional geographers
• /
• v.9 no.4
• /
• pp.546-558
• /
• 2003

Social justice has been an interest of whole geographers for almost four decades. The conception of social justice includes fairness and equity in the distribution of a wide range of attributes. The purpose of this study is to understand social justice in geography of welfare. The theories of social justice are needed to describe relationship between social justice and geography of welfare. The evaluation of spatial variations in welfare is closely associated with social justice. Equality, equity, efficiency, and fairness are the reasonable criteria to apply to the evaluation of distributions of welfare, relating to distributive(or territorial) justice. However, there are complications in the spatial application of welfare evaluation criteria, including access across space, boundary crossing and ecological fallacy.

• Journal of Internet Computing and Services
• /
• v.6 no.6
• /
• pp.107-115
• /
• 2005

A workflow procedure has recently become more complicated and large scaled. In this paper, we propose an advanced workflow modeling methodology, called a fragment driven cooperative workflow modeling methodology. which enables several real workflow designers to cooperatively define a workflow model. The methodology is a Bottom-Up approach in terms of integrating a set of fragment ICNs to compose a complete workflow model. Each fragment ICN is defined by each participant in the cooperative modeling session, We also use the ICN based formal description and the ICN based graphical notation as well. Finally, we prove the feasibility of the methodology by implementing a cooperative workflow modeling system.

• Proceedings of the Korea Database Society Conference
• /
• 1994.09a
• /
• pp.235-253
• /
• 1994

기존의 데이타 모델 및 설계 방법론들은 실세계의 데이타 객체에 대해 고정된 한 측면의 모델 표현만을 허용하기 때문에 여러 측면으로 관측이 가능한 실세계 객체들의 표현에 어려움을 갖는다. 본 논문에서는 객체의 측면 개념을 제공하는 객체 중심 측면 모델(OOAM : Object-Oriented EA Model)의 기본 개념을 보여주고 OOAM에 의해 구축되는 데이타베이스 스키마의 시맨틱을 분석하고 서술하기 위해 OOAM을 형식적으로 정의하였다. 먼저 데이타베이스 설계 과정에서 필요한 공리들을 설정하고 OOAM을 intension과 extension으로 각각 정의한 후 그들 사이의 관계를 정의하였다.

• Journal of KIISE:Databases
• /
• v.28 no.1
• /
• pp.1-14
• /
• 2001

중대한 산업용 소프트웨어가 동작하는 공유된 객체지향 데이터베이스를 안전하게 변경하기 위해서는, 그 공유 데이터베이스를 변경할 동안 데이터베이스 위에서 작동하는 기존의 응용 프로그램이 지속적으로 작동되어야 한다. 데이터베이스 변경을 필요로 하는 새로운 요구사항은 새 응용 프로그램의 추가, 기존 응용 프로그램의 기능 확장, 초기 디자인 에러 수정 등으로 인하여 발생할 수 있다. 우리는 한 사람의 사용자가 다른 사용자에게 악영향을 주지 않고 데이터베이스 스키마를 변경할 수 있게 하여 이 문제를 해결하는 투명한 스키마 진화(TSE: Transparent Schema Evolution) 방법론을 소개한다. 이 방법론은 기존의 스키마를 직접 변경하는 대신 스키마 변경 연산의 의미를 반영하는 데이터베이스 큐를 공유 객체지향 데이터베이스 상에 생성하여 투명한 진화를 달성한다. 데이터베이스의 용량을 증가시키지 못하는 뷰 메카니즘의 한계를 극복하기 위하여 이 방법론은 데이터베이스 용량 증가 연산에 대하여 다음의 새 단계로 정렬된다. (1) 기저의 베이스 스키마는 데이터베이스 용량 증가를 위해 물리적으로 변호한다. (2) 데이터베이스 변경의 의미를 달성하는 목표 뷰가 위의 변화된 베이스 스키마로부터 생성된다. (3) 변화 이전의 베이스 스키마는 데이터베이스 뷰로서 재 구축된다. 이로써 기존의 다른 사용자가 정의한 데이터 인터페이스가 보존된다. 우리는 객체-지향 뷰 기술을 이용하여 스키마 변화 연산을 구현함으로써 TSE 방법론의 구현가능성(feasibility)을 확인하였다. 표준적인 객체-지향 뷰 모델이 정의되고 상용 객체-지향 데이터베이스인 잼스톤(Gemstone) 위에 구현되었다. 그 뷰 모델은 갱신 의미(semantic) 정의를 그 뷰가 베이스 스키마의 갱신 의미를 보존하도록 정의하였다. 그러한 뷰는 사용자가 그들이 실제로는 베이스 스키마가 아니라 뷰에서 작업하고 있다는 사실을 모르게 하기 위하여 TSE에서 필요하다.