A Syntactical Approach to Diagnosing Multiple Bugs in an Intelligent Tutoring System

概要

論文の詳細を見る
The BUGGY MODEL of Brown and Burton as well as DEBUGGY of Burton has represented students'internal faulty arithmetic procedures as bugs,diagnosing bugs on a trial and error basis. Tokuda and Fukuda has presented a more systematic evidential reasoning method based on Dempster and Shafer's probabilistic inference approach. But the analysis is strictly applicable only to the case of a single bug with the additional restriction of hierarchical structure required of all the bugs involved. The capability of multiple faults diagnosis is essential to many practical Al applications such as intelligent tutoring systems, complicated mechanical systems or electrical circuits (De Kleer [3]).As an alternative to ATMS of De Kleer, we present a syntactical approach to multiple bug diagnosis. We seek a scheme of representing unobservable behavior that is capable of(a)representing an arbitrary combination of 'primitive' bugs and (b)representing control knowledge which allows an efficient problem solving strategy in diagnosis of multiple bugs in a reduced search space.
一般社団法人情報処理学会の論文
1994-09-20