• Korean Journal of Logic
• /
• v.9 no.2
• /
• pp.31-57
• /
• 2006

직설법적 조건문의 이론이 해결해야 할 문제 중 하나는 각자 옳을 것 같지만 모두 참일 수 없는 직설법적 조건문에 관한 세 원리들이 있다는 것이다. 먼저 직설법적 조건문을 진리 함수적으로 분석하는 것은 '주관적 확률'을 고려할 때 이 문제를 해결할 수 없다고 논증할 것이다. 필자는 여기서 직설법적 조건문에 관한 성향적 분석을 제시하고 이 이론이 세 원리들의 문제를 해결한다고 주장한다. 그리고 잘 알려져 있는 직설법적 조건문의 수용 조건 혹은 주장가능성 조건을 제시하는 아담스 논제는 조건부 확률이 두 절대적 확률의 비로 정의된 다면 옳지 않을 것이라고 주장한다. 조건부 확률을 성향적으로 정의할 경우에만 아담스 논제는 옳을 수 있다. 마지막으로 아담스 논제의 주장가능성 조건을 진리 조건으로 제시하는 이론도 논박될 것이다.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.05a
• /
• pp.178-185
• /
• 2000

청자를 직접 대면한 상황에서 1인칭 화자는 {X, Y, 말했다}의 인용구조를 갖추지 않은'[...]고'의 '유사인용문'을 사용하여 주관적 관점을 표현한다. '-다고'로 종결되는 유사인용문 형식이 인용문의 화법과 유사한 기저구조를 지니는 것으로 보고, 화법구조상에서 관점문과 보고문의 의미적 속성을 밝혀나가는 과정에서 유상인용문의 발화 효과와 화자의 발언의도를 설명한다. 화자가 취하는 관점의 선택에 따라 1인칭 화자인 [나] 이외에 다른 제 3 의 주체, 사회적 구속력 등이 화자의 배경지식에 자리잡는 것을 가능세계의 논리적 분할의 측면에서 구분하고 이것이 유사인용문 화자의 발언 동기에 반영되는 정도의 차이에 따라서 화자의 단언적 태도와 완곡의 태도가 각각 실현되는 것임을 보인다.

• Proceedings of the Korea Institute of Fire Science and Engineering Conference
• /
• 2010.04a
• /
• pp.351-353
• /
• 2010

건축물에서 방화, 방음, 기밀, 단열 등의 용도로 사용되어지는 방화문은 외관의 단순함과 재질의 제한성 때문에 선택의 폭이 넓지 않았으나 최근에는 외관의 미려함을 고려하면서도 친환경성을 부여한 방화문들이 등장하고 있다. 하지만 방화문으로서 갖추고 있어야 하는 화재발생 시에 일정시간이내로 내화성을 부여해야 하는 측면에서는 어려움이 있다고 하겠는데 특히 목재방화문의 경우에는 경량화되면서도 내화성을 지닐 수 있는 방화문이 더더욱 요구되어지고 있기 때문에 목재방화문에 관한 내화특성을 실험을 통해 측정하였으며 화재안전성을 평가해 보았다.

• Korean Journal of Logic
• /
• v.14 no.3
• /
• pp.85-100
• /
• 2011

Recently Byeong Deok Lee has denied the validity of the so-called uncontested principle, which says that the indicative conditional implies the material conditional. I show that his denial means that modus ponens is not valid and that the truth-conditions of indicative conditionals are weaker than that of material conditionals. It seems that what made him hold this view is related to some misunderstanding of indicative conditionals.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.763-766
• /
• 2005

정보검색 시스템에서 긴 문장으로 질의가 들어올 경우 질의문의 길이와 시스템이 정답이라고 판단한 문서에서 질의문을 분석하여 추출한 질의어들이 출현한 빈도수를 가중치로 준다면 좀더 정확한 결과를 보일 수 있을 것이라 가정하였다. 즉 벡터 모델을 이용하여 문서와 질의와의 유사도를 계산하고 여기에 질의문의 길이에 대한 가중치와 유사도를 이용하여 얻은 결과 문서에서 질의문을 분석하여 얻은 질의 용어들의 출현 빈도에 대한 가중치를 적용하는 방법을 제안하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.694-696
• /
• 2002

본 논문은 한국어 복합문에서의 영 대용어 해결을 위해 복합문 분해 알고리즘과 영 대용어 복원규칙을 제안하고, 해결 방법을 제시한다. 복합문 분해를 위해서는 복합문 구성에 관여하는 활용 어미들을 이용하고, 영 대용어 복원을 위해서는 생략될 때 적용된 통사규칙을 역으로 이용한다. 제안한 방법을 이용한 결과 전체 영 대용어 중 83.53%가 해결 가능하며 11.52%는 부분적으로 해결 가능하다.

• Proceedings of the KIEE Conference
• /
• 2000.07b
• /
• pp.1429-1432
• /
• 2000

본 논문은 Grafcet[1]을 이용하여 고속전철 승강문 제어를 실행하기 위한 운영 모드에 대해 논의한다. 고속전철에 사용하는 승강문 제어 관련 동작 상태의 정의 및 제어 조건[2]을 인용하여 승강문 제어를 위한 기본 사양 및 운영자 요구사양을 정의한 다음, 열차편성을 1개의 동력차와 4개의 객차로 가정한 후, 이에 대한 승강문 운영 모드 관련 순차 프로그램을 Grafcet 을 이용하여 구성하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.543-546
• /
• 2001

본 논문에서는 빠른 속도로 증가하고 있는 인터넷상의 정보와 서비스를 검색함에 있어서 기본적인 내용은 유지하면서 정보의 과부하(information overload)문제를 해결하기 위한 문서요약의 방법으로 통계적 접근 방법에서 Kupiec의 요약문이 가지는 특성을 이용하여 문서의 방법을 설계하였다. 요약문의 각 문장에 대하여 중요도에 따라 가중치를 부여 한 후, 주어진 임계값에 따라 가중치가 낮은 문장들을 제외한다. 제외 후 가중치 점수를 부여해서 요약문 문장의 개수를 조절하면서 중요문을 추출할 수 있다.

• Monthly Duck's Village
• /
• s.190
• /
• pp.13-15
• /
• 2019

올해로 39년을 축산에 몸담고 있는 문순금 대표는 현재도 사육부 총괄로서 직접 농가를 관리하고, 업의 뿌리인 사육의 중요성을 강조한다. 문순금 대표는 큰 사업을 이끄는 사람답지 않게 소탈한 면모로 지역과 오리산업에 대한 애정이 넘치는 사람으로 유명하다. 특히 오리산업의 여러 위기속에서도 끊임없이 사업체를 꾸려온 능력은 오리업계는 물론 축산업계에서도 인정하고 있다. 문순금 대표를 만나 오리산업에 대한 조망과 앞으로의 계획에 대해 들어본다.

• 건강소식
• /
• v.2 no.8 s.11
• /
• pp.50-50
• /
• 1974

독자 여러분의 많은 이용을 바랍니다. 기생충질환 예방 및 치료에 관한 문의 이외에도 일반질환에 대한 문의도 환영합니다. 의료계 권위자와 상담하여 지도해 드리겠습니다.