• 논리연구
• /
• 제15권2호
• /
• pp.251-272
• /
• 2012

이병덕 교수는 최근 셀라스-브랜덤의 추론주의에 의거한 직설법적 조건문에 대한 분석을 제시하였다. 본 논문에서 필자는 직설법적 조건문에 대한 이병덕 교수의 분석에 대해 세 가지 의문점을 제기하였다. 첫 번째는 이병덕 교수가 분석적으로 타당한 논증만을 실질적으로 타당한 추론이라고 보고 있다는 점에서 셀라스-브랜덤에 대하여 잘못된 이해를 하고 있다는 것이고, 두번째는 셀라스-브랜덤이 가정법적 조건문을 포함한 온갖 종류의 조건문 일반의 공통점에 대해 이야기 하고 있는데 반해 이병덕 교수는 이를 직설법적 조건문의 분석으로 이해하고 있다는 점에서 셀라스-브랜덤에 대하여 잘못된 이해를 하고 있다는 것이다. 세 번째는 이병덕 교수의 분석이 셀라스-브랜덤의 추론주의와 양립가능하지 않거나 지나치게 일반적인 수준의 이야기에 불과하게 될 수 있다는 것이다.

• 논리연구
• /
• 제15권3호
• /
• pp.347-375
• /
• 2012

필자는 2008년 논문에서 직설법적 조건문에 대한 추론주의적 분석을 제안했다. 이에 대해 김세화 교수는 최근 논문에서 세 가지 비판을 제기하였다. 첫째, 필자는 개념구성적 추론만을 실질적으로 타당한 추론으로 본다는 점에서 셀라스와 브랜덤의 견해를 잘못 이해하고 있다. 둘째, 셀라스와 브랜덤은 반사실적 조건문을 포함한 온갖 종류의 조건문 일반의 공통점에 대해 이야기하고 있는데 반해 필자는 이를 직설법적 조건문에 한정하여 이해하는 잘못을 범하고 있다. 셋째, 필자의 분석은 셀라스-브랜덤 추론주의와 양립하지 않거나 지나치게 일반적인 수준의 이야기에 불과하다. 이 논문에서 필자는 김세화 교수의 비판들이 셀라스와 브랜덤의 견해에 대한 불충분한 이해에서 비롯된 잘못된 비판들임을 주장한다. 첫째, 개념구성적 추론들만을 실질적으로 타당한 추론들로 간주하는 것은 셀라스의 견해이다. 둘째, 셀라스와 브랜덤은 직설법적 조건문에 관해 구체적인 이론을 제시하지 않았다. 그들이 주장하는 것은 조건언의 표현적 역할이다. 필자가 셀라스와 브랜덤으로부터 받아들이는 것은 이와 같은 조건언의 표현적 역할이고, 이것의 함축을 직설법적 조건문의 분석과 관련하여 주장하는 것은 필자 자신의 제안이다. 셋째, 조건문들 사이의 기능상의 차이는 추론주의와 직접적인 관련이 없다. 또한 '-이면 ${\cdots}$이다'라는 조건언의 의미와 역할에 관해서 필자가 제시한 이상의 설명이 요구되지 않는다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.588-590
• /
• 1998

현대 웹 기반의 시스템에 대한 개발이 활발하게 이루어지고 있으나 아직까지 등식 추론을 위한 시스템은 개발되어 있지 않다. 본 논문에서는 웹에서 동작하는 조건 등식 추론 시스템 구현에 대해서 기술하였다. 개발된 시스템은 조건 등식 추론이 가능하며, 완료 프로시저, 다양한 개서 전략, 다양한 순서와 방법등을 지원한다.

• 한국학교수학회논문집
• /
• 제12권3호
• /
• pp.307-317
• /
• 2009

가정이 거짓인 조건명제가 참임을 설명하는 단서조항의 유무에 따라 조건명제와 조건추론에 대한 학생들의 바른 판정에는 유의미한 차이가 있고 실생활과 관련된 조건 명제와 형식적인 조건명제에 대한 중학생들의 진위판정에도 유의미한 차이가 있었지만 대학생들의 경우에는 유의미한 차이가 없는 것으로 조사되었다. 또한 형식적인 조건명제와 조건추론에 대한 학생들의 바른 판정 간에는 비교적 높은 상관관계가 있는 것으로 분석 되었다.

• 논리연구
• /
• 제16권1호
• /
• pp.87-115
• /
• 2013

필자는 최근 논문 "논란 없는 원리와 최원배 교수의 반론"에서 이른바 '논란 없는 원리'가 논란의 여지가 있다는 주장과 (연역추론으로서의) 전건 긍정식의 타당성이 양립함을 주장했다. 이러한 주장에 대해 최원배 교수는 그의 최근 논문 "논란 없는 원리와 전건 긍정식"에서 세 가지 비판을 제시한다. 첫째, 필자는 'A이면 (아마도) C이다. A이다. 따라서 C이다.' 형식의 추론이 전건 긍정식의 사례임을 부정하지만, 이와 같은 추론은 전건 긍정식의 사례로 간주될 수 있다. 둘째, 연역추론에 기반을 둔 직설법적 조건문과 귀납추론에 기반을 둔 직설법적 조건문을 구분해주는 문법상의 표식이 없기 때문에 이러한 조건문들을 전제로 하는 전건 긍정식들을 형식상 다른 종류의 추론들이라고 보기 어렵다. 셋째, 직설법적 조건문이 귀납추론에 의해 정당화되는 경우를 허용하면 논리개념이 지켜야 하는 조화의 원리를 어기게 된다. 이 논문에서 필자는 이 비판들이 모두 설득력이 없음을 주장한다.

• 대한교통학회지
• /
• 제22권1호
• /
• pp.73-82
• /
• 2004

신호 교차로에서 포화차두시간에 영향을 미치는 영향인자는 도로조건, 교통조건, 환경조건으로 분류된다. 이러한 요인들의 복합적인 관계가 포화차두시간에 영향을 미친다. 현재 포화교통류율은 이상적인 조건일 때의 포화차두시간을 산출하고, 이를 이용해서 기본 포화교통류율을 구하고, 여기에 좌 우회전, 차로폭, 경사, 중차량 보정계수을 고려함으로써 특정 차로군의 포화교통류율을 산정하고 있다. 포화차두시간에 영향을 미치는 인자들 중에서 정량적으로 나타내기 어려운 인자 즉, 퍼지적 성격을 가진 인자들은 고려하지 않고 있다. 따라서 본 연구에서는 퍼지 근사추론 방법을 이용하여 정성적 인자의 영향을 고려한 모형을 구축하였다. 모형의 입력자료는 강우조건과 주변밝기의 정도, 중차량 구성비의 언어적 표현를 사용하였다. 이러한 변수들에 대하여 설문조사를 통해서 퍼지집합의 멤버쉽함수를 설정하였으며. 이에 기초하여 교차로에서 각 조건별로 포화차두시간을 관측하였다. 이러한 현장 관측치를 바탕으로 퍼지 제어규칙을 설정하고 모형을 구축하였다. 모형의 평가는 추론치와 실측치를 비교함으로써 이루어 졌으며, 결정계수인 $R^2$와 평균절대오차(MAE)와 평균제곱오차(MSE)를 사용하여 분석한 결과 본 모형의 설명력이 높은 것으로 평가되었다. 본 연구의 과정에서 강우에 의한 교통용량 감소는 중차량 구성비가 클수록 주변밝기의 정도가 나쁠수록 더욱 큰 것으로 나타났으며 그 감소율은 5.3%에서 21.8%에 이르는 넓은 범위의 값을 보였고. 주변밝기 정도에 따른 교통용량 감소는 4.7$\sim$7.5% 수준으로 나타났다.

• 논리연구
• /
• 제17권1호
• /
• pp.197-217
• /
• 2014

필자는 이전의 여러 논문들에서 이른바 '논란 없는 원리'가 귀납 추론에 토대한 직설법적 조건문과 관련하여 성립하지 않음을 주장했다. 왜냐하면 귀납추론에 토대한 직설법적 조건문 '$A{\rightarrow}_iC$'가 질료적 조건문 '$A{\supset}C$'를 논리적으로 함축함을 받아들이면, 'A'라는 가정 하에서 'C'를 단언적으로 주장하는 경우와 단지 'C'가 참일 개연성이 높음을 주장하는 경우를 구분할 수 없게 되는 부조리한 결과가 발생하기 때문이다. 그러나 양은석 교수는 그의 최근 논문 "논란 없는 원리와 귀납논증"에서 논란 없는 원리에 관한 필자의 주장이 성공적이지 않다고 비판한다. 이 논문에서 필자는 양 교수의 비판이 필자의 논점과 무관함을 주장한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 A
• /
• pp.359-361
• /
• 1998

본 연구에서는 시스템의 대규모 SCADA 시스템들에 효과적으로 적용될 수 있는 전문가 시스템을 설계한다. 전문가 시스템의 추론기관은 직관적 추론 기능과 논리적 추론기능이 연동되도록 설계한다. 직관적 추론기능은 패턴인식구조로, 논리적 추론기능은 휴리스틱에 근거한 심층추론을 통해 시스템 이벤트별로 다양한 시간제야조건을 만족하는 시스템 제어전략을 결정함과 동시에, 지식 생성자의 역할을 할 수 있도록 다중 추론구조로 설계한다.

• 한국지능시스템학회논문지
• /
• 제5권4호
• /
• pp.18-32
• /
• 1995

퍼지 정보 검색 기법을 이용한 가중치 선정 전락은,주어진 입력 문제로 부터 가중치의 패턴과 가중치를 자동적으로 선정함으로써, 추론 시간과 공간을 줄인다. 퍼지 가중치 선정 전략은 퍼지 삼각 관계곱 및 퍼지 신속관계 알고리즘을 사용하기 때문에 선택하는 퍼지 조건연산자와 $-cut에 따라서 결론을 추출하는 시간과 추론 단계의 수가 틀린다. 본 논문에서는, 퍼지 정보 검색을 이용한 추론 전략의 조절 방법에 대하여 개괄적으로 보이고, 잘 알려진 블럭 문제에 적용하여 주어진 영역에서 가장 적합한 퍼지 조건연산자와 $-cut을 선정한다.

• 한국컴퓨터정보학회논문지
• /
• 제16권1호
• /
• pp.71-80
• /
• 2011

본 논문에서는 퍼지추론을 기반으로 얼굴검출 알고리즘을 지능적으로 선택함으로써 개발자들이 전문적인 지식이 없이 얼굴검출 기능을 손쉽게 사용할 수 있는 새로운 기법을 제안한다. 본 논문의 목적은 퍼지추론 기반의 고차원 얼굴검출 시스템을 제시함으로써 사용자들이 컴퓨터비전 이론이나 개별 알고리즘들에 대한 전문적인 지식이 없어도 손쉽게 얼굴검출 기능을 포함하는 시스템을 개발할 수 있도록 지원하는데 있다. 얼굴검출의 방대한 문제영역을 분류하기 위해서 가장 먼저 얼굴검출을 위한 주요한 조건들을 고려하고 정리하였다. 이렇게 정리된 조건들은 개발자들이 주어진 문제를 표현하는데 사용할 수 있도록 정의되었다. 정의된 조건들과 사용 가능한 얼굴검출 알고리즘들은 퍼지추론 규칙을 이용하여 규칙화 되고 퍼지추론 해석기를 구성한다. 개발자들에 의해서 개별 문제의 조건들이 정리되면, 제안된 퍼지해석기가 퍼지추론을 통해 이에 대응되는 문제를 해결하기 위한 최적을 알고리즘들을 찾아내고 구성한다. 제안된 방법의 개념검증을 위해 기존의 알고리즘들과 성능을 비교하였으며 이를 분석하고 우수성과 실용성을 보여준다.