• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2007년도 추계학술대회
• /
• pp.413-418
• /
• 2007

국내 외 많은 컨설팅 및 SI회사들이 나름대로의 SOA방법론을 개발 및 적응하고 있다. 하지만 각 회사의 방법론 마다, SOA 사상 관점에 따라 접근 방향이 상이하고, 수행 방법과 태스크 또한 실제 적응하기에는 상세성이 부족하다. 이 연구에서는 국내 외 SOA 방법론을 비교 분석하고, 실제 적응된 사례를 통하여 특정 도메인에 무관한 현업 사용자 위주의 서비스 식별이라는 명제를 반영한 유저인터페이스 기반의 서비스 분석 및 모델링 방법론을 제시한다.

• 논리연구
• /
• 제3권
• /
• pp.27-51
• /
• 2000

이글의 기본적인 목적은 2치를 포함한 다치 논리 체계들간의 관계를 검토하는 데 있다. 이를 위하여 여기서는 명제를 대상으로 한 형식 의미 해석체계들 간에 고러해야 할 의미론적 확장 개념을 분명히 하였다. 구체적으로 다음의 두 작업이 수행되었다 첫째로 2치와 다치 논리 또는 다치 논리들간에 적용될 만한 의미론적 확장 개념을 의미해석의 바탕을 이루는 진리치 함수와 진리연산에 맞게 정의하였다. 둘째로 정의의 적합성을 확장, 비확장 사례 증명을 통해 예증해 보였다.

• Journal of the Korean Data and Information Science Society
• /
• 제6권1호
• /
• pp.13-21
• /
• 1995

논리 언어로 불확실한 정보의 표현과 처리가 가능하도록 논리 프로그램을 확장하였다. 이러한 확장을 위해 의미론이 명확한 확률 논리를 응용하였고, 확률적 연역 추론을 위해 추론 규칙들을 공리화하여 기본 지식과 함께 처리될 수 있게 하였다. 여기서는 기존 논리 프로그램의 명제 부분만을 대상으로 하였으며, 확장된 논리 프로그래밍 언어는 기존 언어에서 간단한 인터프리터를 사용하여 쉽게 구현하여 이용할 수 있다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2000년도 춘계정기학술대회 e-Business를 위한 지능형 정보기술 / 한국지능정보시스템학회
• /
• pp.251-258
• /
• 2000

인공신경망에 의해 부도예측을 하기 위해서는 여러 개의 재무비율을 입력변수 즉, 입력노드로 이용하는데, 이 가운데 적절한 입력노드를 선정하는 일은 예측력을 결정하는데 있어서 매우 중요하다. 본 연구에서는 새로운 입력노드 선정 휴리스틱을 제안하기 위하여 적절한 훈련이 끝난 인공신경망 모델에서 각 입력노드와 연결되는 가중치들의 합에 대한 절대값인 연결강도가 작은 경우 해당 노드는 출력값에 대한 설명력이 약할 것이다라는 연결강도판별 명제를 제시한다. 즉, 연결강도가 연결강도임계치보다 작은 입력노드는 제거 대상으로 분류할 수 있을 것이고, 이들 노드를 제외한 입력노드는 그렇지 않은 경우보다 더 나은 예측력을 보여 줄 수 있을 것이다. 연결강도판별 명제를 실증적으로 입증하기 위해 본 연구에서는 연결강도판별 선처리 과정에 대한 방법론을 제안하고 제안된 방법론에 의해 부도예측을 실시하여 아무런 선처리를 거치지 않은 모형과 비교하였고, 또 기존의 입력변수 선정방식 중에 하나인 의사결정트리 방식에 의한 입력변수 선정 모형과도 비교하여 더 나은 결과를 얻었다.

• 인지과학
• /
• 제6권1호
• /
• pp.31-46
• /
• 1995

뜻(Sense)과 지시체의 구별을 근간으로 하는 프레게류 의미론에 의하면,같은 지시체를 갖는 이름들의 인지적 의미는 서로 다를수 있다.그 반면,프레게의 뜻을 어떤 이름의 지사체를 결정함애 있어 매개적인 역할을 하는 존재자라 보고 단호히 거부하는 소위 직접 지칭론자들은 문맥에 관계없이 같은 지시체를 갖는 이름들은 동일한 인지적 의미를 갖는다고 주장한다.그러나 일단 뜻을 배척하고나면,명제태도 문맥에서 왜 같은 지시체를 갖는 이름들이 대치될 수 없는지를 설명하기 어렵고,따라서 명체 태도의 퍼즐들은 직접 지칭론의 아킬레스건이 되어 왔다.최근Zlata는 다소의 수정을 통해 프레게와 직접 지칭론자 양자의 중요한 통찰들을 희생하지 않으면서 양자의 관점을 종합하는 것이 가능하며,실제로 자신의 해결책은 명제태도의 퍼즐들을 훌륭하게 해결해 준다고 주장한다.본 논문은 Zalta의 절충안을 비판적으로 검토함으로써 선결되어야 할 쟁점들을 부각시키고자 한다.

• 철학연구
• /
• 제141권
• /
• pp.167-185
• /
• 2017

주희(朱熹)는 정이가 제기한 '리일분수(理一分殊)'의 명제를 계승하여 십 수년의 노력을 기울인 후에 최종적으로 "서명해(西銘解)"를 지었다. 이로부터 '리일분수(理一分殊)'의 사상은 "서명(西銘)"을 해석하는 모델이 되었으며, "서명(西銘)"의 기조(基調)를 확정하는 역할을 하게 되었다. '리일분수론(理一分殊論)'은 처음에는 "서명(西銘)"의 윤리학적 의의를 표현하는 명제였다. 그런데 주희(朱熹)의 일생을 통해 볼 때 '리일분수론(理一分殊論)'은 단순히 "서명(西銘)"의 윤리학적 의의에 국한되지 않고, 보편적인 철학적 의의를 포함하며, 사물의 일반과 특수의 관계를 표현하는 데에도 사용되었다. 전자는 협의의 '리일분수론(理一分殊論)'이고, 후자는 광의의 '리일분수론(理一分殊論)'이라고 할 수 있다. 이 글에서는 광의적인 리일분수론(理一分殊論)에 대해서는 논하지 않고, 주희(朱熹)가 확립한 "서명(西銘)"을 해석하는 모델로서의 협의의 리일분수론(理一分殊論)을 연구 대상으로 삼고자 한다. 학술계의 선행연구 중에서 어떤 학자들은 '리일분수(理一分殊)'의 명제가 "서명(西銘)"의 의미와 일치한다고 생각하지만, 다른 어떤 학자들은 일치하지 않는다고 주장한다. 이러한 두 종류의 사고방식은 확연히 상반되는 입장이다. 이 글에서는 리일분수(理一分殊) 사상에 의한 주희(朱熹)의 "서명(西銘)" 해석이 어떤 부분에서는 "서명(西銘)" 본래의 뜻과 일치하기도 하지만, 또다른 어떤 부분에서는 서로 부합하지 않는 곳도 있다는 입장을 견지한다. 달리 말하면, 주희(朱熹)가 리일분수론(理一分殊論)으로 "서명(西銘)"을 해석할 때, '공헌(貢獻)'과 '제한('制限)'의 의미를 동시에 지닌다는 것이다. 즉, 리일분수론(理一分殊論)에 의한 주희(朱熹)의 "서명(西銘)" 해석은 그 의미를 확장시킨 부분도 있지만, "서명(西銘)" 본래의 목표로부터 멀어진 부분도 있다는 의미이다.

• 논리연구
• /
• 제2권
• /
• pp.35-61
• /
• 1998

개최들의 개별화를 위한 대표적인 법칙으로 간주되고 있는 라이프니츠의 법칙은 철학에서만 아니라 수학이나 논리학과 같은 순수과학에서도 중요한 법칙으로 사용되고 있다. 그러나 최근에 들어서 라이프니츠의 법칙은 그 논리적 위상과 관련하여 심각한 논란의 대상이 되고 있다. 이러한 논란의 근본적 원인은 칸트나 블랙과 같은 철학자들에 의해 라이프니츠의 법칙이 적용되지 않을 기능성을 보이는 반례가 제시되었고, 많은 철학자들이 이에 동조한 데에서 찾을 수 있다. 라이프니츠의 법칙의 논리적 위상과 관계된 철학자들의 입장은 크게 두 가지로 구분된다. 첫 번째 입장은 블랙 등에 의해 제시된 예들을 라이프니츠의 법칙에 대한 정당한 반례로 간주하는 입장이고, 두 번째 입장은 이러한 예들은 리이프니츠의 법칙에 대한 반례로 간주될 수 없다는 입장이다. 두 번째 입장을 쥐이는 대표적 철학자는 헷킹이다. 헷킹은 시공간에 대한 인습주의에 입각하여 블랙 등에 의해 제시된 예는 완전한 가능성을 나타내는 것이 아니고 라이프니츠의 법칙은 가능세계에 대한 메타 원칙으로 간주되어야 한다고 주장하고 있다. 본고에서 필자는 리이프니츠의 법칙을 옹호하려는 헷킹의 시도는 성공적이지 못하고, 또한 블랙 등에 의해 제시된 예들은 라이프니츠의 법칙에 대안 정당한 반례로 간주되어야 한다는 입장을 개진하고 있다. 필자가 이러한 입장을 취하게 된 것은 헷킹의 입장은 논리적 기능성과 물리적 기능성 사이의 구별을 어렵게 한다는 문제점 이외에도 가능세계 의미론과 관련된 중요한 문제점들을 야기하고 있기 때문이다. 가능세계 의미론과 관련된 문제점은 이러한 시도는 가능세계 의미론에 입각한 양상명제들의 해석의 범위를 제한하게 만들고 De-Re 양상명제에 대한 해석을 위해 필수적인 헤세이티즘의 수용을 불가능하게 한다는 것이다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제14권1호
• /
• pp.27-41
• /
• 2011

본 연구는 분석과 종합에 대한 역사적 출발이라고 볼 수 있는 유클리드의 저작인 '자료론'과 '분할론'에 대한 분석 연구이다. Euclid의 원론에 비해 거의 관심이 없는 두 문헌에 대한 분석을 통해 사고활동으로서의 분석 및 종합에 대한 의미를 살펴보았다. 먼저 분석, 종합이 포함된 다양한 용어들에 대한 개념을 살펴보고, 이를 바탕으로 본 연구에서 사용한 분석과 종합의 개념을 명확화하였다. 또한 두 문헌에 제시된 명제에 대한 분석을 통해 분석은 '외재적 분석'과 '내재적 분석'으로 분류하였는데, 외재적 분석은 제시된 명제에 자체에서 외형적으로 드러난 수학적 대상, 요소, 성질, 속성에 대한 분석이고, 내재적 분석은 외재적 분석의 결과로 추출된 수학적 대상, 요소, 성질, 속성에 대한 재분석 혹은 결합 및 관련성의 추출을 통한 분석이다. 종합은 '이론적 종합'과 '경험적 종합'으로 분류하였는데, 이론적 종합은 경험보다는 논리적, 이성적 과정을 통한 새로운 대상의 추출이고, 경험적 종합은 과거의 학습 경험과 이에 대한 활용을 통한 대상의 추출이다. 이러한 분류를 기초로 하여 초등학교 교과서에 제시된 문제를 통해 실제 적용하여 탐색하였다.

• 정보과학회 논문지
• /
• 제42권11호
• /
• pp.1410-1422
• /
• 2015

소프트웨어 개발자들은 시스템의 설계를 위해 UML의 클래스 다이어그램과 같은 객체 모델을 이용한다. 객체-관계 변환 방법론은 객체 모델에 표현된 관계성들을 관계형 데이터베이스 테이블로 변환하는 방법론으로, 설계된 시스템의 구현을 위해 적용된다. 기존 객체-관계 변환 방법론의 연구들은 하나의 관계성을 표현하기 위해 여러 변환 기법들을 제안하였다. 하지만 각 변환 기법의 사용기준들이 존재하지 않아 구현에 적용하기 어려운 문제점이 있다. 따라서 이 논문은 각 관계별로 이진 결정 다이어그램 기반의 모델링 규칙을 제안한다. 이를 위해 변환 기법들을 구분하는 조건들을 정의하고, 질의 수행시간을 측정함으로 검증이 요구되는 모델링 규칙들을 평가한다. 평가 후, 이 논문은 명제 논리로 표현된 최종 모델링 규칙을 재정의하고, 사례 연구를 통하여 제안된 모델링 규칙이 설계된 시스템을 구현하는데 유용함을 보인다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제24권3호
• /
• pp.691-708
• /
• 2010

본 연구는 유클리드의 자료론(The Data)에 제시된 명제 94개의 가장 핵심적인 구성 원리에 기초하여 중학교 기하영역에서 '자료론'의 '자료(datum)'에 부합된 문제를 중학교 교과서를 중심으로 분석하고 이를 기초로 하여 자료(datum) 개발을 목적으로 한다. 이러한 연구 목적을 위해 다음과 같은 연구를 진행한다. 첫째, 자료론의 명제들은 '자료(datum)'라고 불리는 독특한 구조를 형성하고 있다. 이러한 구조에 대해 구체적으로 고찰한다. 둘째, 현재 중학교 교과서에서 다루어지는 기하 내용영역에서 자료로 분류할 수 있는 학습 자료를 분석하고 탐색한다. 셋째, 중학교 기하교육에 적용 가능한 전형적인 자료(datum)의 형태를 가지는 자료 개발하고 탐구한다. 이러한 연구 결과를 통해 학교현장에서 수학교육이 더 풍성해 질 것과 수학교육과정의 개정 및 교수-학습 개선에 의미 있는 시사점을 제공하리라 기대된다.