• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2008년도 추계종합학술대회 B
• /
• pp.406-409
• /
• 2008

본 논문에서는 명제화된 어트리뷰트 택소노미를 이용하여 간결하고 강건한 분류기를 생성하는 문제를 고려한다. 이 문제를 해결하기 위해 명제화된 어트리뷰트 택소노미(Propositionalized Attribute Taxonomy)를 이용하는 나이브 베이스 학습 알고리즘(Naive Bayes Learner)인 PAT-NBL을 소개한다. PAT-NBL은 명제화 된 어트리뷰트들의 택소노미를 선험 지식으로 이용하여 간결하고 정확한 분류기를 귀납적으로 학습하는 알고리즘이다. PAT-NBL은 주어진 택소노미에서 지역적으로 최적의 컷(cut)을 찾아내기 위해 하향식 탐색과 상향식 탐색을 사용한다. 찾아낸 최적의 컷은 명제화 된 어트리뷰트 택소노미와 데이터로부터 그에 상응하는 인스턴스 공간(instance space)을 구성할 수 있게 해준다. University of California-Irvine (UCI) 저장소의 기계학습 벤치마크 데이터에 대한 실험 결과를 보면, 제안된 알고리즘이 표준적인 나이브 베이스 학습 알고리즘에 의해 만들어진 분류기들과 비교해 볼 때, 가끔은 보다 간결하고 더 정확한 분류기를 생성해 낸다는 사실을 알 수 있었다.

• 한국정보통신학회논문지
• /
• 제12권12호
• /
• pp.2357-2364
• /
• 2008

본 논문에서는 명제화된 어트리뷰트 택소노미를 이용하여 간결하고 강건한 분류기를 생성하는 문제를 고려한다. 이 문제를 해결하기 위해 명제화된 어트리뷰트 택소노미(Propositionalized Attribute Taxonomy)를 이용하는 나이브 베이스 학습 알고리즘(Naive Bayes Learner)인 PAT-NBL을 소개한다. PAT-NBL은 명제화된 어트리뷰트들의 택소노미를 선험 지식으로 이용하여 간결하고 정확한 분류기를 귀납적으로 학습하는 알고리즘이다. PAT-NBL은 주어진 택소노미에서 지역적으로 최적의 컷(cut)을 찾아내기 위해 하향식 탐색과 상향식 탐색을 사용한다. 찾아낸 최적의 컷은 명제화된 어트리뷰트 택소노미와 데이터로부터 그에 상응하는 인스턴스 공간(instance space)을 구성 할 수 있게 해준다. University of California-Irvine (UCI) 저장소의 기계학습 벤치마크 데이터에 대한 실험 결과를 보면, 제안된 알고리즘이 표준적인 나이브 베이스 학습 알고리즘에 의해 만들어진 분류기들과 비교해 볼 때, 가끔은 보다 간결하고 더 정확한 분류기를 생성해 낸다는 사실을 알 수 있었다.

• 논리연구
• /
• 제19권3호
• /
• pp.401-435
• /
• 2016

"비가 오고 있다"는 문장이 나타내는 명제는 때때로 <비가 오고 있다> 그대로가 될 수 있는가? 아니면, 항상 시간 및 장소를 포함하는 <시간 t에, 장소 p에서 비가 오고 있다>인가? 이에 대한 논쟁은 영원주의(eternalism)와 일시주의(temporalism) 사이의 논쟁으로 알려져 있으며, 고전적 명제주의와 이에 대한 반론이라는 더 넓은 범주 논쟁의 하부 논쟁에 해당한다. 이런 논쟁에 대해서 카펠렌과 호쏜(2009)은 고전적 명제주의[영원주의]의 입장에 서서, 그들 자신이 '대용어적 '그것'(anaphoric 'that')논증'이라고 부르는 비고전적 명제주의[일시주의] 측의 한 논증을 제시하고, 그에 대한 흥미로운 비판을 제기한다. 본 논문에서 나는 그들의 논의를 살펴보고 이에 대해서 재반박함으로써, 고전적 명제주의를 고수하는 것이 여전히 난관에 처해 있다는 점을 보이도록 노력할 것이다.

• 철학연구
• /
• 제116권
• /
• pp.351-370
• /
• 2010

화이트헤드의 실재론은 형이상학과 이후의 수리철학적 전통 뿐만이 아니라 20세기의 언어이론과 분석철학에 있어서도 다양한 기여를 하였다. 화이트헤드의 명제 개념 또한 인식과 언어와 상징을 포괄적으로 다루는 형이상학적인 성찰에 있어서도 매우 중요한 기여를 하였다. 화이트헤드에 의하면 명제의 일차적인 기능은 느낌을 위한 유혹으로 정의된다. 또한 명제에 대한 경험은 가능성과 현실성의 결합의 경험을 뜻한다. 이러한 점에서 명제의 실현은 각각의 현실성들이 새로운 방식으로 주체의 명제경험을 통하여 구현되고 탄생되어짐을 함축한다. 화이트헤드의 명제 개념의 구상에는 세계 경험들의 다차원적인 구현을 논리적으로 범주화 하려는 목적이 함축되어 있다. 이는 우주의 생생한 발현의 국면들을 논리적으로 해명하려는 화이트헤드 형이상학의 전체적인 성격와 연관된 지점이기도 하다. 그에 의하면 명제는 주체에게 언어를 수행하도록 하는 전언어적인 근본 범주이다. 화이트헤드의 이러한 명제-시스템은 주체의 다차원적인 현실의 해석가능성과 언어의 구체적 수행을 가능하게 논리적 토대가 된다. 명제에 관한 화이트헤드 사유의 점진적인 흐름과 발전의 시선에서 보면, 화이트헤드의 명제론은 명제가 특정한 개별적 주체의 세계와 언어수행에 어떻게 개입되고 발현되는지를 현실의 창조적 전진의 맥락에서 효과적으로 설명하려는 시도로 이해될 수 있다. 이러한 화이트헤드의 명제론에 대한 독특한 구상을 주목하는 이 연구는 화이트헤드의 형이상학적 체계에서 그의 명제론의 의미와 가치에 대한 근본적인 성찰을 시도하고자 하였다. 특히 화이트헤드의 명제론이 현실을 새로움과 창조성의 구현의 무대로 진술하는 그의 약동의 세계관에 어떠한 방식으로 긴밀하게 기여하고 있는지를 검토하였다.

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

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

• 지능정보연구
• /
• 제2권2호
• /
• pp.1-15
• /
• 1996

전문가의 지식을 지식베이스화하여 의사결정지원시스템으로 사용하려는 노력이 증대하고 있다. 특히 투자의사결정과 같은 원인결과의 관계를 명확히 규정할 수 없는 복작한 영역에서 전문가의 지식베이스는 비전문가의 의사결정에 중요한 조언을 제공할 수 있다. 불확실한 지식을 지식베이스화하는 한 방법으로 퍼지프러덕션시스템이 널리 사용되고 있다. 주식시장과 같은 동태적인 시스템에서 어떤 정보의 중요성은 상황에 따라 변화하는데 이를 정태적인 프로덕션시스템의 규칙으로 지식베이스화하는 것은 불가능하다. 그러나 추론을 수행하는 과정에서 수행당시 각 정보의 중요도에 부응하는 가중치를 부여하여 평가함으로써 정태적인 지식베이스에 동태적인 실제시스템의 특성을 반영할 수 있다. 이는 가중치가 높은 정보에 해당하는 조건명제의 충족정도가 해당규칙의 전체평가결과에 더욱 중요하게 반영되게 하여 좀더 현실성 있는 추론 결과를 얻게 한다. AHP(Analytic Hierachy Process) 방법에 의하여 얻어진 정보의 상대적 중요도에 따른 가중치 (w)를 해당 정보와 조건명제의 합치정도(Degree of Match : DM)에 (DM)w 의 형식으로 적용함으로써 퍼지프러덕션시스템에서 정보의 중요도를 반영하여 프러덕션규칙을 평가하는 방법을 제시한다.

• 대한수학교육학회지:수학교육학연구
• /
• 제21권4호
• /
• pp.379-398
• /
• 2011

수학교육에서 증명과 반박은 명제가 왜 참인지 혹은 거짓인지를 판별하게 해주고 거짓으로 판명된 명제를 참인 명제로 정교화하는 과정에서 중요한 요소가 된다. 그렇기에 증명활동과 반례생성 두 가지를 함께 학습하는 것은 수학을 배우는 학생들에게 주어진 명제에 내포되어 있고 함축되어 있는 의미에 대한 깊은 통찰력과 명확한 이해를 제공해 줄 수 있다. 최근 많은 논문을 통해 학생들이 수학적 증명에 어려움을 겪고 있다는 증거가 나타나고 있다. 그러나 해당 연구의 대부분은 예비교사들이 수열의 극한 부분에 대하여 증명과 반례를 생산해 내는 능력에만 초점을 맞추고 있다. 따라서 본 연구에서는 예비교사들을 대상으로 하여 수열의 극한 부분에 대한 수행결과 분석을 통하여 증명활동과 반례생성에 대한 능력정도와 접근 방법 등을 알아보고자 한다. 본 연구의 목적은 예비교사들이 반례와 증명을 생성하는 것에 대한 조사에 공헌하는 것이며 예비교사들의 증명과 반례생성 능력 그리고 수학 개념들에 대한 이해의 정도를 식별하고 확인하는 것이다. 또한, 연구를 통하여 참가자들이 주어진 명제들에 대한 답을 작성하는 것에 어려움을 겪는다는 것을 알게 되었고 이를 바탕으로 증명과 반례를 가르치고 배우는 것에 더욱 노력을 기울여야만 한다는 것을 알 수 있었다. 덧붙여, 이 연구의 분석을 통하여 현행 커리큘럼과 교육 방법에 대하여 통찰력을 제공하게 될 수 있을 것이고 예비교사들의 수학과정 학습을 향상시킬 수 있는 방향을 제시한다는 교육적 시사점을 얻을 수 있을 것이다.

• 환경정책연구
• /
• 제7권4호
• /
• pp.105-134
• /
• 2008

거의 20년 끌어 오던 중 저준위 방폐장 입지가 우여곡절 끝에 주민투표에 의해 경주로 결정났고, 지난 7월 산업자원부로부터 방사성 폐기시 계획을 득하여 부지 정지에 착수함으로써 본격적인 사업에 착수하였다. 그런데 이제 원자력 발전소 내와 중간저장시설에 임시로 보관하고 있는 고준위 방사성폐기물(사용후연료 포함)을 영구 처분할 수 있는 입지 선정이 시급한 과제로 대두되고 있다. 특히 현재 4개 원자력 발전소 부지 내에 저장하고 있는 방사성폐기물은 올해부터 단계적으로 포화될 것으로 예상되기 때문이다. 이에 지난 6월말 국회에서 이 문제에 대한 세미나가 있었는데 논의의 결론은 공론화를 할 수 있는 법과 제도를 마련하는 것이었다. 문제는 고준위 방폐장 입지 선정은 중 저준위에 비해 그 어려움이 비교가 되지 않을 것으로 예상된다는 것이다. 왜냐하면 미국의 경우 네바다(Nevada) 주 유카(Yucca) 산에 방폐장을 건설하려는 노력이 약 30년간 핵규제위원회(NRC), 에너지부(DOE) 및 환경청(EPA) 등 3개의 국가기관이 약 100억달러를 조사 연구에 쏟아 붓고도 아직 완전히 해결되지 않고 있기 때문이다. 우리나라는 2004년도 12월에 제253차 원자력위원회에서 사용후연료 정책은 충분한 논의를 거쳐 국민적 공감대 하에서 추진하기로 의결한 바 있다. 우리나라에서는 이 문제의 소관부처가 산업자원부인데, 실제로 이를 다룰 법 규정이 거의 전무하다는 것이다. 원자력법에 이에 대한 규정이 있으나 고준위방사성폐기물의 처리 처분의 관리대책은 제외되어 있다(동 법 제84조의 2). 그러나 금년 초부터는 에너지기본법에 따른 국가에너지위원회 산하의 갈등관리전문위원회와 사용후연료공론화 실무위원회(T/F)에서 사용후연료의 공론화와 최종관리방안 등에 대하여 본격적인 검토와 논의를 벌이고 있는 것은 다행이다. 또한 정부에서도 이에 대한 필요성을 인식하여 방사성폐기물 관리와 관련한 불합리한 제도를 개선하고 관리전담기구 운영 등을 명시한 방사성폐기물관리법 제정을 추진하고 있다. 법 제정 원칙은 하향적(top-down)이나 상향적(bottom-up)방식인 아닌 협상을 통한 합의형성식(consensus-building)이 되어야 한다는 것이다. 우호적 또는 협력적 방법으로 결정과정을 진행시켜야 한다는 것이다. 이러한 합의형성식 의사결정과정을 정착시키기 위해서는 다음과 같은 명제가 요청된다. 명제 I : 정부 결정의 하향적 강요를 지양하고, 지역공동체는 자율성 또는 거부권을 가져야 한다. 명제 II : 정부는 지역공동체를 위해서(for)가 아니라 함께(with) 일해야 한다. 명제 III : 지역공동체는 악영향에 대해 보상을 받아야 한다. 명제 IV : 지역공동체는 주어진 여러 기술적 대안과 영향 관리조치 가운데서 그들이 수용할 수 있는 대안을 선택할 권리를 가져야 한다. 명제 V : 시설이 건강상 안전하고 환경적으로 건전하게 입지될 수 있는 것을 보여 줄 수 없다면 어떠한 지역공동체도 시설 수용을 거부할 수 있다. 지역공동체와 정부가 고준위방폐장 입지에 대하여 합의를 형성하기 위해서는 정부의 명령적 하향식이나 거의 억지적인 주민들의 상향식이 합의 형성에 아무런 도움이 되지 않았다는 것을 많이 보아 왔다. 따라서 앞에서 살펴본 여러 방법이나 그 중의 하나를 사용할 수밖에 없을 것이다. 다시 말해 발산적(divergent) 사고가 아닌 수렴적(convergent) 사고가 절대적으로 요청된다는 것이다. 여기서 본 연구자는 공론화는 수렴적 사고를 기반으로 해야 할 당위성을 주장하고자 한다. 수렴적 사고를 통해 공론화의 장에서 합의되어야 할, 즉 공론화에 의해 결정되어야 할 몇 가지 중요한 다음과 같은 사항을 제시하기로 한다. 1. 지역공동체와 협상할 것인가의 결정 2. 입지 선정 시 지역공동체의 역할 결정 3. 정부의 부지 선정 전략의 결정 4. 협상할 유인 창출 5. 협상 당사자 결정 6. 지역공동체의 대표자 결정 7. 협상 의제 선정 8. 협상 기본원칙 설정 9. 정보와 전문가에 대한 지역공동체의 접근성의 담보 10. 신뢰 구축 11. 조정자의 활용 이상의 내용을 담은 가칭 '환경갈등유발시설입지에 관한 절차법'의 제정이 필요할 것이다.

• 한국생약보
• /
• 262호
• /
• pp.3-3
• /
• 2005

오는 5월부터 '한약유통실명제' 시행(생산자$\cdot$수입자$\cdot$검사자표기 및 검사필증부착 의무화)

• 정보과학회지
• /
• 제22권5호
• /
• pp.24-28
• /
• 2004

대학과 기업 간의 상호협력은 기술 혁신이라는 대명제 하에 여러 가지 형태로 이루어지고 있으며, 이의 필요성 또한 여러 보고서에서 언급되었다[1,2,3,4]. 가장 보편화 되어 있는 산학협력으로는 대학이 기업의 프로젝트를 수주하여 수행하는 형태로써, 이를 기반으로 대학은 기업이 갖고 있는 상업화 감각을 배우고, 기업은 대학이 갖고 있는 최신 기술 동향을 얻을 수 있다.