【正文】 D T, Torasso P. A theory of diagnosis for inplete causal models[A]. Proceedings of the 11th IJCAI[C]. San Francisco, CA: MorganKaufmann Publishers, 1989. 1311~1317.[8] 歐陽丹彤, 姜云飛. 基于一致性的最小正常診斷及其應(yīng)用[J]. 計算機學(xué)報, 1998，21(6):560～565.[9] 歐陽丹彤, 姜云飛. 刻畫基于模型的中心診斷[J]. 軟件學(xué)報, 1999, 10(1):74～77.[10] Nejdl W, Froehlich P, Schroeder M. A formal framework for representing diagnosis strategies in modelbased diagnosis systems[A]. Proceedings of the 14th IJCAI[C]. San Francisco, CA: MorganKaufmann Publishers, 1995. 17211727. [11] Konolige K. Abduciton versus closure in causal theories. AI. 1992,53(23):255～272.[11] McIraith S, Reiter R, On tests for hypothetical reasoning[A]. Hanmscher W, Console L, de Kleer J eds. Reading in Modelbased Diagnosis. San Matep, CA: MorganKaufmann Publishers, 1992. 89～96.[12] 歐陽丹彤, 姜云飛. 基于擴展的因果理論的鑒別診斷[J]. 軟件學(xué)報, 1999，10(7):719～723.[14] 歐陽丹彤,姜云飛. 廣義因果理論的基于模型的診斷[J]. 計算機研究與發(fā)展, 1999, 36(1):31～35.[15] 歐陽丹彤, 歐陽繼紅, 孫吉貴. 廣義因果理論上基于模型診斷過程的形式化[J]. 吉林大學(xué)自然科學(xué)學(xué)報, 2000(4):32～36.[16] 陳榮,姜云飛. 含約束的基于模型的診斷系統(tǒng)[J]. 計算機學(xué)報, 2001, 24(2):127～135.[17] 李占山, 姜云飛, 孫吉貴. 不確定因果理論的基于模型診斷[J]. 吉林大學(xué)自然科學(xué)學(xué)報, 2000(4):27～31.[18] 懷進(jìn)鵬，李未. 開放的缺省理論. 計算機學(xué)報[J], 1994(9):652－661.[19] Reifrank M, Dressler O, Brewka G. On the relation between truth maintenance and autoepistemic logic[A]. Proceedings of IJCAI89[C]. San Francisco, CA: MorganKaufmann Publishers, 1989. 12061212.[20] Rodi W, Pimentel S. A nonmonotonic assumptionbased TMS using stable bases[A]. Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning[C]. San Francisco, CA: MorganKaufmann Publishers, 1991. 485495.[21] Console L, Torasso P. A spectrum of logical definitions of modelbased diagnosis[J]. Computational Intelligence, 1991, 7(3): 133~141.[22] de Kleer assumptionbased tms[J]. Artificial Intelligence, 1986, 28(2): 127～162.[23] Dressler O, Struss P. The consistencybased approach to automated diagnosis of device[A]. Brewka Ged. Principles of Knowledge Representation[C]. California:CSLI Publications,.[24] ChurnJung Liau. Belief, information acquisition, and trust in multiagent systems[J]. Artificial Intelligence, 2003,149:31–60.[25] Stumptner M, Wotawa F. Diagnosing treestructured systems[J].Artificial Intelligence, 2001,127:1–29.[26] Kees de Koning, etc. Modelbased reasoning about learner behaviour[J]. Artificial Intelligence, 2000,117:173–229.[27] Michael C, Ashwin R. Introspective multistrategy learning: On the construction of learning strategies[J]. Artificial Intelligence, 1999,112:1– 55.[28] Peter . Lucas. Analysis of notions of diagnosis[J]. Artificial Intelligence, 1998,105:295–343.[29] Chittaro L, Ranon R. Hierarchical modelbased diagnosis based on structural abstraction[J]. Artificial Intelligence, 2004,155:147–182.[30] Franz Wotawa. On the relationship between modelbased debugging and program slicing[J]. Artificial Intelligence, 2002,135:125–143.[31] Friedrich G, Stumptner M, Wotawa F. Modelbased diagnosis of hardware designs [J]. Artificial Intelligence, 1999,111:3–39.[32] Baroni P. Diagnosis of large active systems[J]. Artificial Intelligence, 1999,110:135–183.[33] Console L, Picardi C, Ribaudo M. Process algebras for systems diagnosis[J]. Artificial Intelligence, 2002,142:19–51.[35] Felfernig A, etc. Consistencybased diagnosis of configuration knowledge bases[J]. Artificial Intelligence, 2004,152:213–234.[36] Craig Boutilier, Veronica Becher. Abduction as belief revision[J]. Artificial Intelligence, 1995,77:43–94.附 錄（這一部分可以是源程序清單、數(shù)據(jù)等）廈門大學(xué)軟件學(xué)院《畢業(yè)設(shè)計（論文）》開題報告學(xué)生姓名班級學(xué)號指導(dǎo)教師姓 名職稱所在單位畢業(yè)設(shè)計（論文）題 目畢業(yè)設(shè)計（論文）的目標(biāo)：（這一部分為3月份提交的開題報告，需注意論文題目與最終的題目要一致）實現(xiàn)方法：時間進(jìn)度安排：指導(dǎo)教師審核意見： 指導(dǎo)教師簽名： 2008年 月 日畢業(yè)論文任務(wù)書（以下由學(xué)生填寫）題 目：目標(biāo)要求：支持條件：指導(dǎo)教師（簽名） 職稱 學(xué)生（簽名） 分階段進(jìn)度安排階段起訖時間計劃完成內(nèi)容12008年2月26日 月 日22008年 月 日 月 日32008年 月 日 月 日42008年 月 日 月 日52008年 月 日 6月11日注：一般可分為資料文獻(xiàn)搜索、擬定方案（提綱）、試驗或初稿、定稿等階段教師分階段指導(dǎo)記錄第一階段：教師分階段指導(dǎo)記錄第二階段：第三階段：第四階段：第五階段：論文評語擬評成績 指導(dǎo)教師（簽名） 職稱 年 月 日論文評閱評閱成績 評閱教師（簽名） 職稱 年 月 日答辯記錄演示成績 答辯成績 答辯小組組長（簽名） 職務(wù)（稱） 年 月 日總評成績 學(xué)院負(fù)責(zé)人（簽蓋） 年 月 日畢業(yè)論文任務(wù)書（以下由學(xué)生填寫）題 目：目標(biāo)要求：（本頁為校外實習(xí)學(xué)生用，校內(nèi)不用）支持條件：校外指導(dǎo)教師（簽名） 職稱 單位 校內(nèi)指導(dǎo)教師（簽名） 職稱 學(xué)生（簽名） 分階段進(jìn)度安排階段起訖時間計劃完成內(nèi)容12008年2月13日 月 日22008年 月 日 月 日32008年 月 日 月 日42008年 月 日 月 日52008年 月 日 6月6日注：一般可分為資料文獻(xiàn)搜索、擬定方案（提綱）、試驗或初稿、定稿等階段教師分階段指導(dǎo)記錄第一階段：（本頁為校外實習(xí)學(xué)生用，校內(nèi)不用）教師分階段指導(dǎo)記錄第二階段：第三階段：第四階段：（本頁為校外實習(xí)學(xué)生用，校內(nèi)不用）論文評語（本頁為校外實習(xí)學(xué)生用，校內(nèi)不用）擬評成績 校外指導(dǎo)教師（簽名） 職稱 單位 校內(nèi)指導(dǎo)教師（簽名） 職稱 年 月 日論文評閱評閱成績 評閱教師（簽名） 職稱 年 月 日答辯記錄演示成績 答辯成績 答辯小組組長（簽名） 職務(wù)（稱） 年 月 日總評成績 學(xué)院負(fù)責(zé)人（簽蓋） 年 月 日。 我知道我需要感謝的人實在太多而無法一一列舉，但是請相信，我已將大家對我的無私關(guān)心和熱情幫助銘記在心。然后我還要感謝我的同學(xué)和朋友，郭一晶常和我一起討論，李蕓和譚昌明是我最重要