期刊文献+

基于ALCQ(D)的CBR事例修正算法研究

Research on CBR Case Adaptation Based on ALCQ(D)
下载PDF
导出
摘要 CBR(基于事例推理)是人工智能领域的一个分支,它克服了知识获取的瓶颈问题,事例修正是CBR的关键步骤。以ALC为代表的描述逻辑已被充分应用到CBR中,但目前在基于描述逻辑的CBR中还没有比较有效的算法来判断检索到的相似事例是否需要修正和如何进行修正。ALCQ(D)是在ALC的基础上引入定性数量约束Q和有型域D得到的。提出的算法用ALCQ(D)概念来描述CBR源事例和目标事例,先假定检索到的相似事例能够解决目标问题,即假定目标事例和相似事例同时满足知识库,但这样可能会与知识库产生冲突;接着使用冲突检测机制来查找相似事例概念描述中导致冲突的概念;最后使用概念替换规则在TBox本体库中检索该概念的最相似概念去替换它自己。研究表明,该算法具有界限性、可靠性和完备性。通过一个实例对其进行检验,结果表明,该算法可以准确修正检索到的相似事例,解决目标问题。 CBR(Case-based Reasoning)is a branch of artificial intelligence,which overcomes the bottleneck of knowledge acquisition.Case adaptation is a key step in CBR.Description logic ALC has been fully applied to the CBR,but now no alogirhtm is more effective to determine whether a retrieved similar case needs to be modified and how to fix based on description logic.ALC becomes ALCQ(D)as it introduces a qualitative quantity Q and a type constraint domain D.The algorithm in this paper uses ALCQ(D)concept to represent the source case and target case.Firstly,it presupposes that the retrieved source example can solve the problem of target,which means the target and source case examples both satisfy KB(knowledge base),but this may lead to inconsistent with KB.Then according to the conflict detection in the algorithm,it finds the concepts which lead to inconsistent in source concept instances and finally uses concept of replacement rules defined in this article to retrieve the most similar concepts to the inconsistent concept in ontology repository for replacing itself.Studies show that this algorithm has boundaries,reliability and completeness.This paper used an example to illustrate this algorithm.The results show that it can revise the similar case to solve the target problem.
出处 《计算机科学》 CSCD 北大核心 2014年第11期239-246,共8页 Computer Science
基金 国家自然科学基金(61100025 61363030) 桂林电子科技大学研究生教育创新计划资助项目(XJYC2012016)资助
关键词 基于事例推理 描述逻辑 事例修正 定性数量约束 有型域 Case-based reasoning Description logic Case adaptation Qualified number restrictions Concrete domain
  • 相关文献

参考文献26

  • 1Djebbar A, Merouani H F. Applying BN in CBR Adaptation- Guided Retrieval for Medical Diagnosis[J]. International Journal of Hybrid Information Technology, 2012,5 (2) : 41-56.
  • 2Schmidt-Scha@ M, Smolka G. Attributive concept descriptions with complements[J]. Artificial intelligence, 1991,48 ( 1 ) : 1-26 9.
  • 3Horrocks h Gough G. Description logics with transitive roles [ C ] //Proceedings of the International Workshop on Description Lo- gics(DL97). 1997 : 1-4.
  • 4Baader F. The description logic handbook., theory, implementa tion, and applications[M]. Cambridge: Cambridge University Press, 2003.
  • 5D'Aquin M, Badra F, Lafrogne S, et al. Adaptation knowledge discovery from a case base[OL], http://www, fadi. lautre, net/ publis/ecaiob, pdf.
  • 6Horrocks I, Sattler U,Tobies S. Practical reasoning for expres- sive description logics[C]//Logic for Programming and Auto- mated Reasoning. Springer Berlin Heidelberg, 1999 : 161-180.
  • 7De Mdntaras, R L,Plaza E. Case-based reasoning: An overview [J]. AI communications, 1997,10( 1 ) : 21 -29.
  • 8Kolodner J L. Reconstructive memory: A computer model[J]. Cognitive Science, 1983,7(4): 281-328.
  • 9Hustadt U, Motik B, Sattler U. Reasoning in description logics with a concrete domain in the framework of resolution[C]// [CAI. 2004,16 : 353.
  • 10Sattler U. A concept language extended with different kinds of transitive roles[M]ffKI-96: Advances in Artificial Intelligence. Springer Berlin Heidelberg, 1996 : 333-345.

二级参考文献36

  • 1Available at: http://www.w3.org/2000/Talks/1206.xml2k-tbl/slide10-0.htmlwq
  • 2Horrocks I. Using an expressive description logic: FaCT or fiction? In: Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning(KR'98),2001. 199~204
  • 3Haarslev V,Mol1er R. RACER system description. In:Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR'2001), volume 2083 of Lecture Notes in Artificial Intelligence ,Spinger, 2001. 701~705
  • 4Savitch W J. Relationships between nondeterministic and deterministic tape complexities. Journal of Computer and System Sciences,1970,4(2) :177~192
  • 5Grosof B N,Horrocks I,Volz R,Decker S. Description logic programs: Combining logic programs with description logic. In:Proc.of the Twelfth International World Wide Web Conference (WWW 2003) ,ACM, 2003. 48~57
  • 6Baader F, Nutt W. Handbook of Description Logic, the second chapter. Cambridge University Press, Jan. 2003
  • 7Schmidt-Schauβ M, Smolka G. Attributive concept descriptions with complements. Artificial Intelligence, 1991,48(1): 1~26
  • 8Sattler U. A concept language extended with different kinds of transitive roles. In 20. Deutsche Jahrestagung fur KI,LNAI 1137.Springer-Verlag, 1996
  • 9Horrocks I,Gough G. Description logics with transitive roles. In:M.-C. Rousset, R. Brachmann, F. Donini, E. Franconi, I. Horrocks, and A. Levy,eds, Proc. of DL'97,1997.25~28
  • 10Schild K. A correspondence theory for terminological logic:Preliminary report. In:Proc. of IJCAI'91 ,Sydney,1991. 466~471

共引文献56

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部