计算机科学 ›› 2017, Vol. 44 ›› Issue (7): 251-256.doi: 10.11896/j.issn.1002-137X.2017.07.044
余泉,常亮
YU Quan and CHANG Liang
摘要： 解释诊断是基于模型诊断研究领域的一个重要分支。针对认知解释诊断的可判定的片段,给出了认知解释诊断类的定义,并给出了一个求解唯一认知解释诊断类的算法。
| [1] MCLLRAITH S A.Towards a theory of diagnosis,testing and repair[C]∥Proc.of the 5th International Workshop on Principles of Diagnosis(DX).1994:185-192. [2] MCLLRAITH S A.Explanatory diagnosis.Conjecturing actions to explain observations[C]∥Proc.of the 6th International Conference of Knowledge Representation and Reasoning (KR).1998:167-179. [3] SOHRABI S,BAIER J A,MCLLRAITH S A.Diagnosis asPlanning Revisited[C]∥Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR).2010:26-36. [4] SOHRABI S,BAIER J A,MCLLRAITH S A.Preferred Explanations:Theory and Generation via Planning[C]∥Proceedings of the 25th Conference on Artificial Intelligence (AAAI-11).San Francisco,USA,2011:261-267. [5] GERLOWAN.History-based diagnosis templates in the framework of the situation calculus[J].AI Commun.,2002,15(1):31-45. [6] GSPANDL S,PILL I,REIP M,et al.Alexander Ferrein:Belief Management for High-Level Robot Programs[C]∥ IJCAI.2011:900-905. [7] VAN DITMARSCH H,VAN DER HOEK W,KOOI B.Dyna-mic Epistemic Logic[M].Springer,2007. [8] BALTAG A,MOSS L.Logics for epistemic programs[J].Synthese,2004,139(2):165-224. [9] BALTAG A,MOSS L,SOLECKI S.The logic of public an-nouncements,common knowledge,and private suspicions[C]∥ Proceedings of the Conference on Theoretical Aspects of Rationa-lity and Knowledge (TARK-98).1998. [10] VAN BENTHEM J,VAN EIJCK J,KOOI B.Logics of communication and change[J].Information and Computation,2006,204(11):1620-1662. [11] LWE B,PACUIT E,WITZEL A.DEL Planning and SomeTractable Cases[C]∥LORI.2011:179-192. [12] BOLANDER T,ANDERSEN M B.Epistemic planning for single-and multi-agent systems[J].Journal of Applied Non-Classical Logics,2011,1:9-34. [13] VAN EIJCK J.DEMO-A Demo of Epistemic Modelling[M]∥ Prceedings of the 7th Augustus de Morgan Workshop.Amsterdam.2007:305-363. [14] YU Q,WEN X M,LIU Y M.Multi-agent epistemic explanatory diagnosis via reasoning about actions [C]∥Proceedings of the Twenty-Third International Joint Conference on Articial Intelligence (IJCAI-13).2013 [15] AUCHER G,BOLANDER T.Undecidability in Epistemic Planning [C]∥ Proceedings of the Twenty-Third International Joint Conference on Articial Intelligence (IJCAI-13).2013 [16] BOLANDER T,JENSEN M H,SCHWARZENTRUBER F.Com-plexity Results in Epistemic Planning [C]∥Proceedings of the 24rd International Joint Conference on Artificial Intelligence(IJCAI-15).Buenos Aires,Argentina,2015:3-9. [17] MUISE C J,BELLE V,FELLI P.et al.Planning Over Multi-Agent Epistemic States:A Classical Planning Approach [C]∥Proceedings of the Twenty-Ninth Conference on Artificial Intelligence(AAAI-15).Austin,Texas,USA,2015:3327-3334. [18] YANG R ,WAN H ,FANG L,et al.A Complete EpistemicPlanner without Epistemic Closed World Assumption [C]∥Proceedings of the 24rd International Joint Conference on Artificial Intelligence(IJCAI-15).Buenos Aires,Argentina,2015:3-9. |
| No related articles found! |
|
||
首页