• 대한수학교육학회지:수학교육학연구
• /
• 제16권2호
• /
• pp.95-113
• /
• 2006

본 연구는 학교 수학에서 추론 지도의 수준을 보다 상세히 구분해 보고자 한 것이다. 수학의 특징으로부터, 대상에서 분리된 순수한 형식적 관점은 새로운 지식의 창안에서 한계를 지닌다는 점을 알 수 있으며, 수학교육에서도 이를 반영할 필요가 있다고 본다. 이런 점에서 귀납 추론과 형식적 연역 추론의 매개 단계로서 구체적 조작이나 감각 경험과 관련된 직관적 증명의 수준을 설정하는 것이 적절할 것으로 생각되며, 이 수준의 핵심적인 활동은 경험으로부터 일반성을 통찰하는 것이다. 이 수준은 낮은 수준의 귀납 추론보다는 대상과 분리되며 보다 형식적인 논리의 개입을 필요로 하는 과정에 있다. 이와 같이 보다 점진적으로 대상으로부터 분리되고 형식적 논리를 학습할 수 있도록 추론 지도 수준을 구분하고, 이에 따라 수학적 추론을 지도하는 것이 필요할 것이다.

• 한국언어정보학회지:언어와정보
• /
• 제9권2호
• /
• pp.1-22
• /
• 2005

In this paper I propose the semantics of two modality markers in Korean, keyss and (u)1 kes. I compare the two modality markers with respect to some properties. First, keyss is used to express logical necessity while (u)1 kes can be used to express a simple prediction as well. Second, keyss expresses some logical conclusion from the speaker's own information state without claiming it is true. On the other hand, (u)1 kes expresses the claim that the speaker's prediction will be true. Third, the prediction of keyss is non-monotonic: it can be reversed without being inconsistent. However, that of (u)1 kes cannot. Fourth, (u)1 kes can be used freely in epistemic conditionals, but keyss cannot. Finally, when keyss is used, the prediction cannot be repeated. The prediction from the use of (u)1 kes can be repeated. To account for these differences, I propose that keyss is used when the speaker makes a purely logical presumption based on his/her own information state, and that (u)1 kes is used to make a prediction which is asserted to be true. This proposal accounts for all the differences of the two modality markers.

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

대부분의 웹 문서들은 HTML이나 XML로 표현된 웹의 정보들은 Syntactic 구조를 기반으로 표현되기 때문에, 소프트웨어가 정보를 처리하는데 한계가 있다. HTML은 문서의 display안을 위한 tag기반의 문서 표현 방식이고, XML은 문서의 구조를 사람이 이해하기 쉽도록 제안된 표현 방식이기 때문이다. 따라서, HTML 및 XML로 표현된 정보들을 가지고 서비스를 제공하는 웹 에이전트들은 사용자들에게 의미있는 서비스를 제공하기 위해 오프라인 상에서 많은 수작업을 수행해야만 했다. 이와 같은 문제점을 극복하기 위해서 미국과 유럽에서는 시멘틱 웹에 대한 연구를 활발히 진행하고 있다. 시멘틱 웹은 기존의 웹과는 달리 소프트웨어가 이해하고 처리 할 수 있는 형태(machine processable)로 정보를 표현하기 때문에 오프라인 상에서 수행되던 많은 작업들을 에이전트가 이해하고 처리할 수 있게 되었다. 그러나. 온톨로지를 구축하는 과정에서도 필연적으로 정보의 31(Incorrect, incomplete, Inconsistence)가 나타나고, 서비스의 결과 또한 온톨로지에 의해 좌우된다는 단점이 있다. 본 논문에서 제안하는 후방향 추론기법을 이용한 추론엔진은 다음과 같은 시스템을 제안한다. 첫째. 시멘틱 웹을 이용함으로써 소프트웨어 에이전트의 자동화 시스템을 제안한다. 둘째 은톨로지 정보의 한계성을 극복하기 위해 규칙기반의 후방향 추론 기법을 사용하는 시멘틱 추론엔진을 제안한다. 본 논문에서 제안하는 후방향 추론기법을 이용한 시멘틱 추론시스템은 사용자의 질의를 입력받아. 온톨로지와 시멘틱 웹 문서의 정보를 이용하여 후방향 추론을 수행함으로써 웹 정보의 불완전성을 완화하고, 온톨로지의 영향력를 감소시킴으로써 웹 서비스의 질을 향상시키는데 목적이 있다.RED에 비해 향상된 성능을 보여주었다.웍스 네트워크상의 다양한 디바이스들간의 네트워크 다양화와 분산화 기능을 얻을 수 있었고, 기존의 고가의 해외 솔루션인 Echelon사의 LonMaker 소프트웨어를 사용하지 않고도 국내의 순수 솔루션인 리눅스 기반의 LonWare 3.0 다중 바인딩 기능을 통해 저 비용으로 홈 네트워크 구성 관리 서버 시스템 개발에 대한 비용을 줄일 수 있다. 기대된다.e 함량이 대체로 높게 나타났다. 점미가 수가용성분에서 goucose대비 용출함량이 고르게 나타나는 경향을 보였고 흑미는 알칼리가용분에서 glucose가 상당량(0.68%) 포함되고 있음을 보여주었고 arabinose(0.68%), xylose(0.05%)도 다른 종류에 비해서 다량 함유한 것으로 나타났다. 흑미는 총식이섬유 함량이 높고 pectic substances, hemicellulose, uronic acid 함량이 높아서 콜레스테롤 저하 등의 효과가 기대되며 고섬유식품으로서 조리 특성 연구가 필요한 것으로 사료된다.리하였다. 얻어진 소견(所見)은 다음과 같았다. 1. 모년령(母年齡), 임신회수(姙娠回數), 임신기간(姙娠其間), 출산시체중등(出産時體重等)의 제요인(諸要因)은 주산기사망(周産基死亡)에 대(對)하여 통계적(統計的)으로 유의(有意)한 영향을 미치고 있어 $25{\sim}29$세(歲)의 연령군에서, 2번째 임신과 2번째의 출산에서 그리고 만삭의 임신 기간에, 출산시체중(出産時體重) $3.50{\sim}3.99kg$사이의 아이에서 그 주산기사망률(周産基死亡率)이 각각 가장 낮았다. 2. 사산(死産)과 초생아사망(初生兒死亡)을 구분(區分)하여 고려해 볼때 사산(死産)은 모성(母性)의 임신력(姙娠歷)과 매우 밀접한 관련이 있는 것으

• 논리연구
• /
• 제21권1호
• /
• pp.59-96
• /
• 2018

순수하게 형식적인 견지에서 직관주의 논리는 거짓말쟁이 유형의 역설을 다루는데 어떠한 이점도 없다고 여겨진다. 이 글에서 우리는 표준 직관주의 자연연역체계가 거짓말쟁이 유형의 역설에 취약함을 논할 것이다. 다시 말해, 거짓말쟁이 유형의 문장을 수용함이 모순(${\perp}$)을 도출하는 추론을 야기한다는 것이다. 이러한 결과는 이중부정 제거규칙(DNE)에 대한 제약이 ${\perp}$을 도출하는 추론을 막지 못한다는 것을 보여준다. 하지만 이는 거짓말쟁이 유형의 역설에 대한 직관주의적 접근법이 잘못된 것이 아니라 표준 자연연역 체계의 표현력이 부족한 문제라고 할 수 있다. 우리는 주어진 체계 S에 대한 메타-레벨 부정 연산자 ⊬$_s$와 메타-레벨 모순 연산자 ⋏를 직관주의 체계에 도입할 것이다. 그리고 체계의 완전성에 대한 가정 없이는 이 체계에서 ${\perp}$에 대한 추론을 얻을 수 없음을 보일 것이다. 또한 우리는 이중 메타-레벨 부정 제거규칙(DMNE)을 고려할 것이다. 이 규칙은 체계의 완전성을 암묵적으로 가정하며 DMNE에 대한 제약은 ${\perp}$의 추론을 막을 수 있을 것이다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2001년도 제13회 한글 및 한국어 정보처리 학술대회
• /
• pp.247-251
• /
• 2001

명사 의미 부류 체계는 언어 처리의 다양한 분야에서 그 필요성이 부각되고 있다. 예를 들어, 기계 번역에 있어서의 단어 의미의 중의성 해소(word sense disambiguation), 정보검색 시스템에서도 재현율과 정확률의 향상, 추론 시스템 등을 위하여 명사 의미 부류는 중요한 역할을 한다. 명사 의미 부류 체계의 이러한 중요성 때문에 여러 온톨로지(ontology)가 기존에 구축되어 있다. 그런데 이러한 온톨로지들은 대개 순수한 개념적 기준에 입각한 것이며 단어의 통사적 특성을 별로 고려하고 있지 않다. 정보검색 시스템이나 추론 시스템의 경우에는 통사적 고려가 별로 중요하지 않을 수 있으나 기계번역의 경우 통사적 특성에 대한 고려가 매우 중요하다. 이러한 점에 주목하여 21세기 세종계획 전자사전 분과에서는 개념적 기준과 통사적 기준을 모두 고려하여 명사 의미 부류 체계를 구축하고 있다. 즉, 해당 부류에 속하는 명사들이 결합할 수 있는 술어(적정 술어) 등의 통사적 요인을 중요시하여 명사들을 분류하고 있는 것이다. 이에 따라 세종 체언 사전의 모든 명사들에 대해 의미부류 정보가 주어지고, 용언 사전의 용언의 각 논항에 대한 선택제약 정보도 이 명사 의미부류 체계를 이용하여 제시되고 있다. 이러한 정보들은 한국어 처리에 중요한 자료로 이용될 것이다.

• 한국진공학회지
• /
• 제3권2호
• /
• pp.207-211
• /
• 1994

전체 압력을 변화시키면서 다이아몬드박막을 n형 Si(100) 기판 위에 마이크로 웨이브 화학기상 증착법으로 증착하였다. 높은 압력으로 (225 torr)증착된 박막은 낮은 압력(60 torr)의 박막보다 다이아몬 드 순수도가 향상되었으며 표면도 매끈한 {100}형상이 우세하였다. 다이아몬드 박막의 성장양식을 알아 보기 위하여 낮은 압력(600torr)과 높은 압력(225 torr)에서 증착된 박막의 미세구조를 투과전자현미경으 로 각각 분석하였다. 전체압력이 낮은 경우 박막과 기판의계면에는 a-SiC의 중간층이 형성되어 있는 것 을 확인하였으며 전체압력이 높은 경우의 박막은 evolutionary selection rule에 따라 성장하는 것으로 추론되었다.

• 한국지능시스템학회논문지
• /
• 제19권1호
• /
• pp.13-18
• /
• 2009

인간의 감성은 애매하고 외부로 부터의 자극에 따라 다양하게 변화한다. Plutchik은 기본적인 패턴을 8가지 행동 패턴으로 분류한 감성 모델을 제시하고, 또 순수감성의 조합으로부터 혼합 감성을 추론하였다. 본 논문에서는 다치 논리함수의 차분 성질을 이용한 다치 논리 오토마타 모델을 이용하여 Plutchik의 감성 모델을 처리할 수 있는 방법을 제안한다. 여기서 제안된 감성처리 모델은 감성 데이터 해석과 처리에 널리 활용될 수 있을 것이다.

• Restorative Dentistry and Endodontics
• /
• 제27권5호
• /
• pp.473-478
• /
• 2002

근관내 spirochetes의 존재유무가 명확하게 밝혀져 있지 않았으나 최근 PCR을 사용한 연구에서 Treponema denticola균주가 감염근관의 50% 이상의 경우에서 발견됨에 따라 이 세균이 치수 및 치근단 질환에 관여하는지에 대한 관심 이 높아졌다. 하지만 그 정확한 기전은 아직 밝혀져 있지 않다. 이와 관련하여 Shenker등이 T. denticola의 sonicated extract에서 순수분리된 단백질 (SIP)이 임파구 proliferation을 방해함을 보고한바 있다. 따라서 본 연구의 목적은 면역억제단백질 SIP이 어떤 기전에 의해서 임파구증식을 억제하는지를 밝히는 데 있다. 건강한 혈액 공여자로부터 추출해낸 T세포에 PHA (phytohemagglutinin)로 증식자극을 주게되는데 이 과정에서 SIP을 처리하거나 처리하지 않은 경우를 비교하여 세포주기 진행과정을 유세포분석기 (Becton-Dickinson FACS$^{tarplus}$) 를 통하여 평가하였다. 실험결과 세단계의 chromatography과정을 통해 순수정제된 SIP은 50kDa와 56kDa의 두가지 polypeptide로 구성되어 있고 0.25$\mu\textrm{g}$으로 처리된 T 임파구는 42.5%의 [$^3$H]thymidine incorporation 억제가 그리고, 0.5$\mu\textrm{g}$으로 처리한 경우는 75.1%의 억제가 일어나 dose-dependent한 양상이 나타났다. Propidium iodide와 유세포 분석기를 사용하여 세포주기를 분석한 결과 medium으로만 처리한 경우 97%이상의 임파구는 G$_0$/G$_1$ phase에 머물러 있었으나 PHA자극을 받은 경우 G$_0$/G$_1$ phase에서 58%, S phase에서 34.6%, G$_2$/M phase에서 7.4%로 분포되어 나타났다. SIP으로 전처리한 경우 세포 증식이 감소하여 0.25$\mu\textrm{g}$을 첨가한 경우 75.1%가 G$_0$/G$_1$ phase에 머물러 있었고 더 강한 농도의 0.5$\mu\textrm{g}$을 첨가한 경우는 87.7%가 G$_0$/G$_1$ phase에서 S phase로 진행되지 않고 머물러있었다. 따라서 SIP으로 전처리된 T 임파구는 그 증식이 G$_0$/G$_1$ phase에서 차단된 것으로 보인다. 이러한 면역억제현상이 in vitro 상태뿐 아니라 in vivo에서도 진행된다면 spirochete가 치수 및 치근단 질환의 병인론에 연관된 면역반응저하기전에 중요한 역할을 하는 것으로 추론할 수 있다.

• 재무관리논총
• /
• 제9권1호
• /
• pp.119-144
• /
• 2003

본 연구에서는 1997년부터 2001년 기간 동안 증권거래소와 KOSDAQ 시장에서 액면분할을 실시한 기업을 대상으로 액면분할의 이사회 공시일을 사건일로 하여 사건일 전후 30일간의 주가, 유동성 지표, 기업수익성 지표 등을 이용하여 액면분할 공시에 따른 시장의 반응을 분석하고, 아울러 액면분할의 신호효과와 유동성 효과를 검증하였다. 본 연구에 이용된 자료는 검증기간 동안 다른 정보의 유입이 없는 순수자료를 이용하여 거래소 상장기업 72개와 KOSDAQ 100개 기업이 최종적으로 표본에 선정되었다. 본 연구에서 액면분할을 실시한 기업들은 두 시장 모두에서 대체로 양의 초과수익률을 나타내었고, 분할비율이 높을수록 양의 초과수익률이 상대적으로 더 강하게 지속되었다. 이런 결과는 미래 기업수익이 호전된다는 신호를 보내기 위하여 액면분할을 실시한다는 신호효과로 인한 것이 아니며, 동시에 고주가의 주식이 액면분할로 투자자금에 제약이 있는 투자자가 투자 가능한 저주가로 전환됨으로써 유동성의 증대를 가져온 결과라고 보기에도 무리가 있다. 액면분할이라는 그 자체가 논리적 근거도 없이 투자자에게 호재로 받아들여져 거래량의 증가를 가져왔다고 판단된다. 이런 현상은 KOSDAQ 시장에서 더욱 확연하게 나타났는데, 1997년부터 2001년까지의 분석기간 중에 KOSDAQ 시장의 무분별한 투기적 열풍이 이런 현상의 원인을 제공한 것이라고 추론된다. 액면분할이 한국시장의 투자자에게 호재로 받아들여진 것에는 액면분할 이후 대체로 주가가 양의 초과수익률을 나타내는 경우가 있었다는 과거의 경험적 사례가 작용한 것으로 아니가 예상된다.

• 철학연구
• /
• 제147권
• /
• pp.215-237
• /
• 2018

이 논문은 칸트가 "순수이성비판" 제2판 "경험의 유추들" 중 제2유추"에서 개진한 인과율 증명에 대한 연구이다. 본 논문은 이 증명과 관련된 칸트의 진술을 길잡이로 삼아 제2유추"의 인과율 증명을 단 하나의 통일적이고 타당한 선험적 증명임을 드러내고자 한다. 논문의 내용은 해당 텍스트의 분석을 통해 다음의 주장들을 정당화하는 것이다. 1. 제2유추"의 증명 대상은 보편 인과원리로서의 인과율이다. 다시 말해 여기서 증명되는 것은 모든 변화는 어떤 원인을 갖는다는 것만 말해 줄 뿐, 그 원인이 무엇인지는 말해 주지 않는 인과율이다. 2. 증명의 목표는 인과율에 따른 객관적인 시간적 잇따름의 가능성이다. 달리 말해 인과율 없이는 모든 변화의 시간 순서에 대한 객관적 규정이 불가능함을 보여주는 것이다. 3. 증명은 크게 보아 두 단계로 이루어진 하나의 논증 구조를 갖고 있다. 첫 단계는 분석적 증명으로서 객관적 변화에 대한 지각의 분석을 통해 인과율이 이 지각된 변화의 객관성을 위한 필요조건임을 증명한다. 이때 객관적 변화와 그것에 대한 지각의 가능성은 전제되어 있다. 이 전제는 둘째 단계에서 정당화된다. 둘째 단계는 종합적 증명으로서 객관적 변화와 그것의 경험적 인식 가능성을 이 가능성의 아프리오리한 조건들인 시간의 형식적 성질과 지성의 필연적인 종합 규칙(인과율)로부터 도출한다. 4. 칸트는 스트로슨의 비판과는 달리 지각 잇따름의 필연적인 규정성으로부터 상태 잇따름의 객관적(인과적) 규정성을 직접적으로 추론하는 것이 아니라, 부가적인 전제(지각 잇따름의 규정성은 지성의 아프리오리한 종합 규칙에 근거한다는 전제) 아래서 그렇게 한다. 따라서 칸트의 증명은 스트로슨이 비판한 '불합리한 추론'에 근거하고 있지 않다.