• 제목/요약/키워드: logical reasoning

검색결과 136건 처리시간 0.031초

An expert system for hazard identification in chemical processes

  • Chae, Heeyeop;Yoon, Yeo-Hong;Yoon, En-Sup
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 19-21 Oct. 1992
    • /
    • pp.430-435
    • /
    • 1992
  • Hazard identification is one of the most important task in process design and operation. This work has focused on the development of a knowledge-based expert system for HAZOP (Hazard and Operability) studies which are regarded as one of the most systematic and logical qualitative hazard identification methodologies but which require a multidisciplinary team and demand much time-consuming, repetitious work. The developed system enables design engineers to implement existing checklists and past experiences for safe design. It will increase efficiency of hazard identification and be suitable for educational purposes. This system has a frame-based knowledge structure for equipment failures/process material properties and rule networks for consequence reasoning which uses both forward and backward chaining. To include wide process knowledge, it is open-ended and modular for future expansion. An application to LPG storage and fractionation system shows the efficiency and reliability of the developed system.

  • PDF

IPTV서비스 수용의 영향요인에 관한 실증적 연구 (An Empirical Study on the Influencing Factors of IPTV Service Adoption)

  • 이왕록
    • 디지털산업정보학회논문지
    • /
    • 제5권4호
    • /
    • pp.199-211
    • /
    • 2009
  • The purpose of this study is to elicit influential factors on accepting IPTV services and define the casual relationship between the factors, and "user satisfaction", "re-use intention", "stranger recommendation intention", in an attempt to provide useful guidelines to IPTV carriers, contents providers and equipment makers for their forming IPTV service models and marketing strategies. For this end, the theoretical background of this study has been brought from relevant literature, and theoretical study models have been established by logical reasoning of the interrelation among diverse components. Then, the established models have been analyzed by using statistical packages "SPSS(12.0), LISREL(8.72)". Finally theoretical and practical significance and future study direction have been suggested. To make sure of effective validity of IPTV service adoption models above, empirical studies should be made continuously. And then vertical and horizontal studies at a specific point would show ever-changing causal relationship, helping to promote financial outcome of relevant companies and organizations.

Reasoning about Multiple Access Control Configurations

  • Dangprasert, Supakit;Permpoontanalarp,Yongyuth
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2002년도 ITC-CSCC -3
    • /
    • pp.2047-2050
    • /
    • 2002
  • At present, many applications independently provide access control for their own resources, for example Web, Databases and Operating Systems, etc. Such independent access control systems result in multiple access control configurations each of which deals with the access control in its own application context. Since those multiple configurations are operated in isolation, and maintained by possibly different administrators, they are likely to be incoherent. In this paper, we propose a logical specification to reason about multiple access control configurations. Our specification can be used to detect the incoherence in multiple configurations. Furthermore, it of offers many kinds of policies for multiple configurations that can capture several kinds of requirements for multiple access control systems.

  • PDF

센서 기반 스크래치 프로그래밍 중심의 STEAM 교육 프로그램 개발 및 적용 (Development and Application of the STEAM Education Program Focused on the Sensor-Based Scratch Programming)

  • 김태훈;김병수;김종훈
    • 정보교육학회논문지
    • /
    • 제18권1호
    • /
    • pp.65-74
    • /
    • 2014
  • 과학기술에 대한 국가의 경쟁력을 위한 STEAM 교육과 정보교육의 중요성이 높아지고 있다. 본 연구의 목적은 정보교육, 특히 프로그래밍 교육 중심의 STEAM 교육을 개발하는 것이다. 프로그래밍과 다른 교과요소를 연결하면서 학생들의 흥미를 유발할 수 있는 장치로 센서를 활용한 프로그래밍 활동을 진행하였다. 개발한 교육 프로그램을 초등학교 4~5학년 대상으로 적용하였고, 창의력, 논리적 사고력, 과학의 정의적 영역에 대한 검사를 사전 사후에 실시하여 교육 프로그램의 효과를 비교, 분석하였다. 분석 결과 개발한 STEAM 교육 프로그램이 학생들의 창의력의 유창성, 독창성, 창의력 지수와 논리적 사고력, 과학적 태도의 향상에 긍정적인 영향을 준 것으로 나타났다.

Logo를 이용한 정보과학적 사고 기반의 알고리즘 학습이 예비 초등교사에게 미치는 영향 (The Effects of Computational Thinking of Algorithm Learning using Logo for Primary Pre-service Teachers)

  • 김태훈;김병수;김종훈
    • 정보교육학회논문지
    • /
    • 제16권4호
    • /
    • pp.463-474
    • /
    • 2012
  • 정보과학기술의 발달로 급변하는 사회에서 정보교육의 필요성에 대한 목소리가 높아지고 있다. 하지만 초등학교의 대부분의 교사들은 정보교육의 필요성을 체감하지 못하고 핵심원리인 정보과학적 사고에 대하여 인지하지 못하고 있는 실정이다. 본 연구에서는 예비 초등교사들이 정보교육의 필요성을 체감하고 정보과학적 사고를 올바로 인지할 수 있도록 Logo를 이용한 정보과학적 사고 기반의 알고리즘 학습 프로그램을 설계하고 시행하였다. 사전, 사후검사를 분석한 결과 예비교사의 논리적 사고력 중 상관논리, 조합논리와 논리적 사고력 합계의 평균이 유의미하게 상승하였다. 또한 정보교육과 정보과학적 사고에 대한 예비교사들의 인식이 긍정적으로 변화한 것으로 나타났다.

  • PDF

시민참여형 GIS를 위한 온톨로지 설계 및 구현 (A Design and Implementation on Ontology for Public Participation GIS)

  • 박지만
    • 대한지리학회지
    • /
    • 제44권3호
    • /
    • pp.372-394
    • /
    • 2009
  • 본 연구는 온톨로지 기반 시민참여형 GIS를 연구하였다. 최근에 온톨로지 기반 GIS는 의미적 의사소통을 위한 지리적 변수의 폭넓은 활용성과 유용한 지리적 지식을 추천하기 위한 수요에 따라 주목받고 있다. 그래서 이 연구는 시민참여형 GIS를 위한 실험적 시스템의 설계와 구현에 초점을 맞추었다. 실험적 시스템의 적용 가능성은 경기도 구리시의 역사관광을 대상으로 실험을 통해 확인하였다. 방법론 측면에서 지역상황과 사용자 인식에 연관된 생명주기모형은 공리를 통해 지리적 지식발견을 추천하고, 이는 주요한 사전절차단계(명세화, 개념화, 정규화, 통합과 구현)를 통해 가능하다. 이 연구의 온톨로지는 실용적 측면에서 추론을 통한 지리적 지식을 추천하였다. 더불어, 이 연구의 온톨로지 기반 시민참여형 GIS는 인식론적 접근과 존재론적 접근의 통합을 보여주고, 의미론적 의사소통과 연계된 지표를 제공하였다는 것에 의미가 있다. 실험적 시스템의 결과는 연구지역에서 시나리오의 형태로 적용하고, 이 모델은 인간 활동의 의미에서 논리적인 제약요소의 공리를 활용하였다.

협동학습 전략의 교수 효과: 중학교 물상 수업에 LT 모델의 적용 (The Instructional Influences of Cooperative Learning Strategies : Applying the LT Model to Middle School Physical Science Course)

  • 노태희;임희준;차정호;노석구;권은주
    • 한국과학교육학회지
    • /
    • 제17권2호
    • /
    • pp.139-148
    • /
    • 1997
  • This study investigated the influences of the cooperative learning strategies upon students' achievement and their perceptions of learning environments in a middle school physical science course. Prior to instruction, the Group Assessment of Logical Thinking was administered, and its score was used as a blocking variable. Mid-term examination score was used as a covariate. For the treatment group with heterogeneous grouping, cooperative learning instruction (the Learning Together model) was used, which emphasized group reward, individual accountability, and role division. For the control group, traditional instruction was used. After instruction, an achievement test consisting of three subtests (knowledge, understanding, and application), and the perception questionnaire of classroom and laboratory environments, were administered. ANCOVA results revealed that there was a significant interaction between instruction and the level of logical reasoning ability although there were no significant differences in all three subtest scores of the achievement test. For the concrete operational reasoners, the treatment group performed better in the subtests of understanding and application than the control group. For students at the formal and transition levels, however, the treatment group scored lower than the control group. Significant interactions were also found in the perceptions of classroom environment and laboratory environment. For the concrete operational reasoners, the treatment group showed more positive perception than the control group. For the students at the formal and transition levels, the control group had positive perception than the treatment group. Educational implications are discussed.

  • PDF

네덜란드의 초등학교 기하 교육과정에 대한 개관 -현실적 수학교육을 중심으로- (Reflections on the Elementary School Geometry Curriculum in the Netherlands -Based on the Realistic Mathematics Education-)

  • 정영옥
    • 대한수학교육학회지:학교수학
    • /
    • 제9권2호
    • /
    • pp.197-222
    • /
    • 2007
  • 본 연구는 최근 기하 교육 동향과 전미수학교사협의회에서 2000년대의 수학교육의 방향과 관련해서 제시한 기하 교육의 규준에 비추어 현실적 수학교육에 기초한 네덜란드의 초등학교 기하 교육과정에 대해 알아보고, 우리나라의 초등학교 도형 영역 지도를 위한 시사점을 제시하는 데 그 목적이 있다. 이런 목적을 달성하기 위해 네덜란드의 초등학교 기하 교육의 역사를 살펴보고, 네덜란드의 초등학교 기하 교육과정에 중요한 영향을 미치는 요소인 일반 목표와 기하 영역의 핵심 목표, RME에 기초한 네덜란드의 초등학교 수학 교과서의 지도 내용과 지도 방법의 특징을 살펴보았다. 그 결과 우리나라 도형 영역의 교육과정과 교과서 개발을 위해 논의할 문제로 지도 내용의 측면에서 공간 방향의 도입, 공간 시각화와 공간 추론의 강화, 지도방법의 측면에서 공간적 접근과 도형적 접근의 균형, 직관적 접근의 중시, 통합적 접근의 고려 등을 제안하였다.

  • PDF

과학 학습 언어의 문법적 특성을 고려한 초등학생의 과학적 의사소통 능력 고찰 (Investigation of Elementary Students' Scientific Communication Competence Considering Grammatical Features of Language in Science Learning)

  • 맹승호;이관희
    • 한국초등과학교육학회지:초등과학교육
    • /
    • 제41권1호
    • /
    • pp.30-43
    • /
    • 2022
  • 이 연구는 초등학생의 과학 수업 대화 및 글쓰기에 구현된 언어 표현의 국어 문법적 특성에 근거하여 그들의 과학적 의사소통 능력의 양상을 조사하였다. Brown et al. (2010)의 증거에 기반한 추론 프레임웍을 순환학습모형에 접목하여 작성한 수업안을 초등학교 5학년을 대상으로 "날씨와 우리 생활" 단원에 적용하였다. 수업 대화에 활발히 참여한 학생 8명의 대화 전사본과 그 학생들의 과학 글쓰기 문장을 연구 자료로 활용하였으며, 텍스트의 내용 및 논리 관계 분석 방법을 적용하여 문법적 특성을 조사하였다. 연구에 참여한 초등학생들은 데이터 분석, 증거 해석, 규칙 적용, 설명 구성 등의 맥락에서 사용되는 과학 언어의 문법적 구조와 일치하지 않는 언어 사용의 양상을 보였다. 그러나 부분적으로 명사화 방식의 문법적 은유를 사용하거나, 적절한 인과 관계의 문법 구조를 사용한 글쓰기 사례도 제시되었다. 교사의 교수법적 안내 발화나 교과서 텍스트의 문법 구조를 통해 학생들이 과학의 문화에서 사용되는 언어 활동의 양태를 경험하면 초등학생도 유사한 과학적 말하기와 글쓰기를 나타낼 수 있었다. 학생들이 증거에 기반한 추론에 근거한 과학지식 구성의 맥락에 적절한 언어 사용 이해와 이에 대한 문식 기능을 습득할 수 있게 하려면, 과학 학습에 관한 언어 사용 모델을 접할 기회를 충분히 제공해 주는 것이 필요함을 논의하였다.

'생각하는 과학' 프로그램의 변인활동이 초등학생의 변인통제 능력에 미치는 효과 (Effects of the Variable Activities in the 'Thinking Science' Program on the Ability of Variable-Controlling of Elementary School Students)

  • 한효순;최병순;강순민;박종윤
    • 한국과학교육학회지
    • /
    • 제22권3호
    • /
    • pp.571-585
    • /
    • 2002
  • 형식적인 사고를 가능하게 하는 논리적 사고력의 형성 가능성에 대한 기초적인 연구 활동의 하나로, '생각하는 과학' 프로그램에 있는 변인통제 활동의 학습효과를 조사하였다. 초등학교 5학년 306명의 학생들이 연구에 참가하였으며, 같은 분량의 사간에 실험반에서는 교육과정에 따른 과학 교과 수업과 변인통제 활동을 병행하였고, 통제반에서는 과학교과 수업만을 수행하였다. 연구 초기에 논리적 사고력 검사와 변인통제 검사를 이용하여 사전 상태를 비교하고, 한 학기 동안 변인통제 활동 6개를 12차시에 걸쳐 진행하면서, 처치별, 성별, 인지수준별 학습효과를 알아보았다. 처치활동은 초등학교 5학년 학생들의 변인통제능력 신장에 매우 효과적인 것으로 나타났다. 변인통제능력의 하위요소별로 분석한 결과, 특별히 실험조건 통제, 변인측정과 결과변인 학습에 매우 효과적인 것으로 나타났고, 원인변인 학습효과도 다소 있는 것으로 나타났다. 남 여학생들의 사전 변인통제능력을 비교한 결과 여학생들이 월등히 높은 점수를 보였다. 변인통제 학습 후 남 여학생들 모두에게 거의 같은 정도로 우수한 학습효과가 나타났으며, 통제반에서 차이가 더 벌어진 반면, 실험반에서는 그 격차가 좁혀졌다. 학생들의 인지수준에 따란 변인통제 학습효과를 분석한 결과, 모든 인지수준에서 실험반 학생들의 변인 통제능력이 상당히 향상되었다. 특히 전기 구체적 조작기, 중기 구체적 조작기와 후기 구체적 조작기에 있는 학생들의 변인통제능력은 크게 향상되었다. 변인판별 능력은 전기 구체적 조작기, 중기 구체적 조작기와 후기 구체적 조작기에 있는 학생들이 거의 같은 정도의 우수한 발전을 보여주었으며, 실험설계 능력은 모든 수준에서 상당히 향상되었다. '생각하는 과학'의 변인통제 활동과 같은 형태의 학습내용을 현행 학교 과학교육에 적극적으로 도입해볼 필요가 있다.