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

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

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

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

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2002년도 춘계학술대회 및 임시총회
• /
• pp.135-139
• /
• 2002

전문가 시스템은 여려 분야에서 활용되고 있으나 여러 가지 문제점을 발생시키고 있다. 그 문제점 중 하나로 전문가로부터 지식을 추출해 내는 과정에서 발생하는 어려움들이 있다. 즉, 전문가로부터의 지식들을 추출하여 그것들을 지식 베이스화하는 작업과 그 지식을 추론할 수 있도록 추론 망으로 구성하는 것이다. 비록 이런 문제점들을 해결한다고 하여도 규칙화 된 추론망을 구성하는 데는 시간적 요소와 전문적인 지식을 가진 인적 자원이 많이 소모되므로 전문가 시스템을 구성하는 것은 실질적으로 불가능하다. 본 논문에서는 전문가는 단순히 자신이 가진 단편적인 지식들의 특징들을 입력하고, 이 특징들로부터 지식을 추출하여 지식 베이스화하고, 이를 이용한 추론망 구성을 자동 추론망 생성 시스템이 대신하는 기법을 제시한다. 실제 구성된 추론망은 규칙 기반의 추론 망으로 구성하여 지식 베이스화 한다.

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

주어진 실시간 환경의 복잡성 때문에. 항상 최적의 행동을 수행하는 완벽하게 이성적인 에이전트 (rational agent) 의 구현은 실질적으로 가능하지 않다. 이러한 실시간 문제 해결기법에서의 전통적인 접근 방식은 미리 정의된 규약에 의존한 조건-행동 추론 방식이다. 이러한 조건-행동추론 방식은 문제 영역이 다양하거나 문제의 재설계가 필요한 경우에는 아무런 해법을 갖지 못한다. 따라서 이러한 문제점을 해결하기 위해 본 논문에서는 주어진 행동들의 유틸리티를 실시간에 계산하고, 긴급한 정도를 측정하여 상황이 긴급할 경우에는 더 이상의 계산을 중단하고 즉각적인 행동을 취하며. 반면에 상황이 긴급하지 않을 경우에는 최선의 의사결정을 위하여 추가적인 정보를 고려하여 더 바람직한 행동을 결정하는 방법론을 제안한다. 제안한 방법론의 평가를 위하여 시간 제약적인 환경에서 최선의 의사결정을 수행하는 실질적이며 유연한 에이전트를 구현 하고자 한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2015년도 제51차 동계학술대회논문집 23권1호
• /
• pp.247-250
• /
• 2015

과거 유비쿼터스 기술의 출현 이후로 사물에 간단한 인식 센서를 이용한 형태의 서비스가 널리 보급되었고, 스마트 기기의 발달로 인해 PC가 아닌 환경에서도 인터넷을 사용하기 용이한 환경이 정착되어, 이들을 이용한 사물 인터넷 (Internet of Things) 환경이 빠르게 확산중이다. 본 논문에서는 상황 인식 서비스와 추론 서비스를 사물 인터넷 환경에 적용 시킨 스마트 홈 상황인식 추론 프레임 워크의 설계 및 구현을 서술한다. 해당 프레임 워크는 실질적인 상황 정보를 제공하는 이기종의 사물 인터넷 기기 간 데이터 타입을 수용하기 위해 온톨로지 언어인 OWL 규격을 사용하여 상황 정보를 수용하고, 룰 입력 모듈을 통해 다양한 환경을 모델링 할 수 있는 XML 규격의 서비스 룰을 입력받는다. 이후, 상황 정보와 서비스 룰을 기반으로 추론엔진을 통해 상황을 추론하여, 단순히 조건 만족 시 실행 구조가 아닌 상황 기반의 추론에 의한 서비스를 제공하게 된다. 프레임 워크를 활용 방안을 설명하기 위해 예제 방범 시나리오를 통해 해당 프레임 워크의 특징 및 서비스의 흐름을 서술한다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제19권2호
• /
• pp.161-175
• /
• 2016

본 연구는 초등 수학영재와 일반학생을 대상으로 정의적 특성과 수학적 추론 능력에서 어떠한 차이가 있는가를 알아보고, 이를 바탕으로 초등 수학영재와 일반학생의 정의적 특성과 수학적 추론 능력과의 관계를 비교 분석하는 것이다. 연구대상은 5학년의 영재 97명과 일반학생 144명이다. 검사도구로는 정의적 특성 검사지와 추론능력 검사지를 사용하였다. 본 연구의 결론은 다음과 같다. 첫째, 수학영재는 일반학생보다 정의적 특성의 하위 요소인 학업적 자아개념, 태도, 흥미, 수학불안, 학습습관에서 모두 긍정적인 인식을 지녔고, 수학적 추론 능력에서도 일반학생보다 능력의 정도가 높았다. 또한 수학영재는 정의적 특성의 학업적 자아개념, 태도, 흥미, 학습습관은 추론 능력과 정적인 상관관계를 가지고 있었으며 수학불안은 부적인 상관관계를 가지고 있었다. 둘째, 수학영재는 정의적 특성의 하위 요소 중 수학불안이 수학적 추론 능력에 부정적인 영향을 미치는 것으로 나타났는데, 이를 통해 수학 영재들의 추론 능력을 향상시키기 위해서는 수학 불안을 줄이는 실질적인 여러 방안을 모색할 필요가 있음을 알 수 있다. 셋째, 일반학생들은 정의적 특성의 하위 요소 중 흥미가 수학적 추론 능력에 영향을 주는 것으로 나타났는데, 따라서 교실 수업에서 일반학생들의 수학교과에 대한 흥미를 높여주는 적절한 방법에 대한 교수 학습 구안 및 적용을 통해 수학적 추론 능력의 향상을 도모할 수 있다.

• 전자공학회논문지CI
• /
• 제38권6호
• /
• pp.57-69
• /
• 2001

전문가 시스템은 인공지능의 한 분야로서 인간의 사고방식을 모방함으로써 다양한 분야에서 야기되는 문제들을 해결해준다. 대부분의 전문가 시스템은 추론엔진과 지식베이스등과 같은 많은 요소들로 구성된다. 특히 전문가 시스템의 성능은 추론엔진의 효율성에 의해 좌우된다 이러한 추론 엔진은 지식베이스가 구축될 때, 가능한한 적은 제약성을 가져야 함은 물론, 다양한 추론 방법을 제공해야 한다는 특정을 갖고 있어야 한다. 이 논문에서는 도메인 지식 표현을 위한 지식스키마와, 추론을 위한 지식구현 기법, 그리고 블랙보드와 추론엔진을 혼합한 지식베이스 엔진을 제안한다. 그리고 제안한 기법들을 이용하여 구축한 중공업 장비 진단 전문가 시스템에 대해서 설명한다. 이 논문에서 연구한 고장진단 지식기반 시스템은 지식기반 시스템 연구분야의 실질적 기반이 될 수 있을 것이다.

• 대한수학교육학회지:학교수학
• /
• 제13권4호
• /
• pp.581-598
• /
• 2011

학교 교육과정의 초기 단계에서부터 대수를 가르쳐야 한다는 주장이 국제적인 공감을 얻으면서, 초등학교에서 적절한 대수 지도 방안을 찾는데 관심이 높아지고 있다. 그러나 초등학교에서 대수적 추론 능력을 향상시키기 위해 수학 수업이 어떻게 이루어져야 하는가에 관한 실제적인 연구는 여전히 부족한 상황이다. 본 연구는 초등학교에서의 효과적인 대수 교수-학습에 대한 구체적이고 실질적인 정보를 얻기 위해, 곱셈의 결합법칙 탐구를 강조한 4학년 수업 사례를 중심으로 탐구적 질적 사례 연구를 실시하였다. 체계적인 수업 분석을 통해 본 연구는, 구체적인 상황에서 수와 연산의 성질에 초점 맞추기, 충분한 사례 탐구를 통해 수와 연산의 성질 발견하기, 임의의 수 상황에서 연산의 성질 일반화하기의 세 단계에 따라 교사가 어떤 활동들을 구성할 수 있으며 학생들은 어느 정도의 대수적 추론을 발현할 수 있는지를 구체적인 사례를 통해 밝히고자 하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권9호
• /
• pp.1196-1203
• /
• 2004

자율적인 에이전트들은 이성적인 의사결정을 위하여 상당한 양의 계산자원을 필요로 하며, 실시간 환경에서 항상 최적의 행동을 수행하는 완벽하게 이성적인 에이전트(rational agent)의 구현은 실질적으로 가능하지 않다. 이러한 실시간 문제 해결기법에서의 전통적인 접근 방식은 미리 정의된 규약에 의존한 조건-행동 추론 방식이다. 조건-행동 추론 방식은 주어진 상황에 빠르게 반응하지만, 문제 영역이 다양하거나 문제의 재설계가 필요한 경우에는 아무런 해법을 갖지 못한다. 따라서 이러한 문제점을 해결하기 위해 본 논문에서는 주어진 행동들의 유틸리티를 실시간에 계산하고, 긴급한 정도(urgency)를 측정하여 상황이 긴급할 경우에는 더 이상의 계산을 중단하고 즉각적인 행동을 취하며, 반면에 상황이 긴급하지 않을 경우에는 최선의 의사결정을 위하여 추가적인 정보를 고려하여 더 바람직한 행동을 결정하는 방법론을 제안한다. 제안한 방법론의 평가를 위하여 시간 제약적인 환경에서 최선의 의사결정을 수행하는 실질적이며 유연한 에이전트를 구현하고자 한다.

• 한국가정과교육학회지
• /
• 제16권4호
• /
• pp.95-105
• /
• 2004

본 연구의 목적은 청소년들이 건전하고 합리적인 소비생활을 영위할 수 있도록 실생활에 활용할 수 있는 실질적이고 효율적인 학교 소비자 교육 프로그램을 개발하는데 있다. 청소년을 대상으로 개발한 "나 가정, 사회 그리고 소비생활" 프로그램은 가정인. 생활인으로서의 개인이 소비생활과 관련된 일상생활에서 부딪히는 실천적 문제를 해결하는데 주안점을 두었다. 본 프로그램의 내용은 "나와 소비생활", "나와 가정의 소비생활", "나와 사회의 소비생활"로 구성되었으며. 이를 통하여 청소년들은 소비생활에서 부딪히는 실천적 문제를 해결할 수 있는 실천적 추론 능력을 향상시킬 수 있고, 올바른 소비 가치관을 형성하여 미래의 현명한 소비자로서의 역할을 수행할 수 있을 것이다.