Extraction of problem description from sample program for knowledge-based programming tutoring지식기반형 프로그램 교사시스템을 위한 예시 프로그램으로부터의 문제정의 추출

In building program tutoring system, problem description about program task is inevitable to analyze students`` buggy programs. Problem descripiton is provided an instructor to the system and should include enough information to deal with various students`` programs. However, it is very hard for an instructor to write a problem description in system understandable form. The simplest way for an instructor to describe a problem may be to write a sample program of given problem, which cannot provide enough information to analyze various programs. In this dissertation, implemented is GOES(Goal Extraction System) which analyzes sample programs and generates problem descriptions. When analyzing sample programs, GOES proposes "Label-based Plan Recognition" to recognize programs more efficiently and control the search space which grows explosively as the size of the program and the knowledge base become larger. GOES is a bottom-up program understanding system which analyzes sample programs with no advanced information about the programs, and generates high-level descriptions. There are two issues in bottom-up program understanding. First issue is how to represent programming plans which are the basic semantic blocks in programming understanding. In GOES, plans are represented as code-base form which provides the understandability and extensibility of knowledge base. The drawback of code-based representation is that it has difficulty in coping with syntactic variability. GEOS solves this problem by removing syntactic variations during parsing and preprocessing. Second issue is how to control the explosively growing search space efficiently. GOES uses the "Label" which denotes the functionality of each program statement as a beacon of plan extraction. The label is used to check the necessary condition of a plan to a program line, and the sufficient condition of a plan to the program. Variables of each program statement is used to group the noncontiguous plan fragments....
Advisors
Kim, Jin-Hyung(김진형)researcher
Publisher
한국과학기술원
Issue Date
1997
Identifier
114154/325007 / 000875462
Language
eng
Description

학위논문(박사) - 한국과학기술원 : 전산학과, 1997.2, [ vii, 119 p. ]

Keywords

Intelligent tutoring system; Program understanding; Reverse engineering; 리버스 엔지니어링; 지능형 교수 시스템; 프로그램 인식

URI
http://hdl.handle.net/10203/33074
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=114154&flag=t
Appears in Collection
CS-Theses_Ph.D.(박사논문)
Files in This Item
There are no files associated with this item.
  • Hit : 69
  • Download : 0
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0