期刊文献+

基于本体的分层抽象模型 被引量:4

Ontology-based Hierarchical Abstraction Model
下载PDF
导出
摘要 KRA表示模型给出了对物理世界W进行形式化建模的一般框架。在扩展后的广义KRA模型中引入本体概念,将抽象对象库扩展为本体类,在本体类中实现KRA模型框架中的感知层、语言层和理论层的知识共享和重用,简化了KRA模型的表示。分别定义了作用在物理世界W和本体类上的3种本体抽象算子(集):基本本体抽象算子、实体本体抽象算子集和连接本体抽象算子集,并给出了本体类之间的映射关系,通过这种映射关系能够实现模型抽象和模型还原。对本体类的抽象度进行形式化的定义,并给出了相关定理,指出在这样的框架中利用抽象映射可以自动构建物理世界W的抽象度不同的模型。 The KRA Model offers a generic framework to construct the model of the world W.In this paper,the ontologyof concept was introduced in the General KRA model and the Abstraction Object Database was extended to Ontology Class which makes the knowledge sharing and reuse possible in the Perception level,the Language level and the Theory level of the KRA model.The three kinds of ontology Abstraction operator(set) were also defined:fundamental operator,entity operator set and connection operator set,working on W and ontology class.Furthermore,the mapping between two different ontology classes was given to realize model Abstraction and model reverse-Abstraction.The Abstraction degree of ontology class was proposed to represent the degree of ontology class and it is as well pointed out that in such a framework,the models of W with different Abstraction degrees can be automatically constructed by using Abstraction mapping.
出处 《计算机科学》 CSCD 北大核心 2011年第2期184-186,213,共4页 Computer Science
基金 国家自然科学基金重大项目基金(60496320 60496321) 国家自然科学基金(60973089 60773097 60873148) 吉林省科技发展计划项目基金(20060532 20080107) 欧盟合作项目(155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12)资助。
关键词 KRA抽象模型 本体类 本体抽象算子 抽象度 分层抽象模型 KRA Abstraction model Ontology class Ontology Abstraction operator Abstraction degree Hierarchical Abstraction model
  • 相关文献

参考文献16

  • 1Sacerdoti E.Planning in a hierarchy of abstraction spaces[J].Artificial Intelligence,1974,5:115-135.
  • 2Lowry M.The abstraction/implementation model of problem reformulation[C] ∥Int.Joint Conf.on Artificial Intelligence.Milano,Italy,1987:1004-1010.
  • 3lBredeche N,Shi Z,Zucker J-D.Perceptual learning and abstraction in machine earning:an application to autonomous robotics[J].IEEE Transactions on Systems.Man,and Cybernetics,Part C:Applications and Reviews,2006,36(2):172-181.
  • 4Mozetic I.Hierarchical model-based diagnosis[J].Int.Journal of Man-Machine Studies,1991,35(3):329-362.
  • 5Chittaro L,Ranon R.Hierarchical model-based diagnosis based on structural abstraction[J].Art.Intell.,2004,155(1/2):147-182.
  • 6欧阳丹彤 欧阳继红 程晓春 等.分层的基于模型诊断方法.计算机科学,2004,31(10):254-277.
  • 7Saitta L,Zucker J.Semantic Abstraction for Concept Representation and [7] Saitta L,Zucker J.Semantic Abstraction for Concept Representation and Learning[C] ∥Proc.SARA.1998:103-120.
  • 8Saitta L,Zucker J-D.A Model of Abstraction in Visual Perception[J].Applied Artificial Intelligence,2001,15(8):761-776.
  • 9孙善武,王楠,欧阳丹彤.广义KRA抽象模型[J].吉林大学学报(理学版),2009,47(3):537-542. 被引量:8
  • 10Neches R,Fikes R,Finin T,et al.Enabling technology for knowledge sharing[J].AI Magazine,1991,12:36-56.

二级参考文献23

  • 1张长胜,孙吉贵,梁书斌,范玮.面向网络的实时飞行模拟系统模型[J].吉林大学学报(信息科学版),2006,24(3):309-315. 被引量:6
  • 2Saitta L,Torasso P,Torta G.Formalizing the Abstraction Process in Modelbased Diagnosis[M].Lecture Notes in Computer Science.Berlin:Springer,2007.
  • 3Sacerdoti E D.Planning in a Hierarchy of Abstraction Spaces[J].Artificial Intelligence,1974,5(2):115-135.
  • 4Plaisted D A.Theorem Proving with Abstraction[J].Artificial Intelligence,1981,16(1):47-108.
  • 5Giunchiglia F,Walsh T.A Theory of Abstraction[J].Artificial Intelligence,1992,57(2/3):323-389.
  • 6Ellman T.Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximatively Equivalent Objects[C]//Proceedings of the 10th International Conference on Machine Learning,Amherst,MA.Washington:Morgan Kaufmann,1993.
  • 7Holte R C,Mkadmi T,Zimmer R M,et al.Speeding up Problem Solving by Abstraction:a Graph Oriented Approach[J].Artificial Intelligence,1996,85(1/2):321-361.
  • 8Lowry M R.The Abstraction/Implementation Model of Problem Reformulation[C]//Int Joint Conf on Artificial Intelligence.Milano:[s.n.],1987:1004-1010.
  • 9Subramanian D.A Theory of Justified Reformulations[C]//Proceedings of the Sixth International Workshop on Machine Learning.Boston:Kluwer Academic Publishers,1990:434-438.
  • 10Bredeche N,SHI Zhong-zhi,Zucker J D.Perceptual Learning and Abstraction in Machine Earning:an Application to Autonomous Robotics[J].IEEE Transactions on Systems.Man,and Cybernetics,Part C:Applications and Reviews,2006,36(2):172-181.

共引文献8

同被引文献35

  • 1WfMC.Workflow Management Coalition Terminology&Glossary[R].Brussels:Workflow Management Coalition,1999.
  • 2Mukherjee S,Darulcu H,Kifer M,et al.Logic-Based Approaches to Workflow Modeling and Verification[C]//Logicsfor Emerging Applications of Databases.Berlin:Springer-Verlag,2004:167-202.
  • 3Eyal Oren,Armin Haller.Formal Frameworks for Workflow Modeling[R].Ireland:DERI,2005.
  • 4Aalst W M P,Van der.Making Work Flow:On the Application of Petri Nets to Business Process Management[C]//23rd International Conference on Applications and Theory of Petri Nets.Berlin:Springer-Verlag,2002:1-22.
  • 5Aalst W M P,Van der,ter Hofstede A H M,Kiepuszewski B,et al.Workflow Patterns[J].Distrib ParallelDatabases,2003,14(1):5-51.
  • 6Eshuis R.Semantics and Verification of UML Activity Diagrams for Workflow Modelling[D]:[Ph D Thesis].LeidenRankings:University of Twente,2002.
  • 7Eshuis R,Wieringa R.Verification Support for Workflow Design with UML Activity Graphs[C]//Proceedings of the24th International Conference on Software Engineering.New York:ACM Press,2002:166-176.
  • 8Davulcu H,Kifer M,Ramakrishnan C,et al.Logic Based Modeling and Analysis of Workflows[C]//ACM Symposiumon Principles of Database Systems.New York:ACM Press,1998:25-33.
  • 9Kifer M.Transaction Logic for the Busy Workflow Professional[EB/OL].[2009-11-23].ftp://ftp.cs.sunysb.edu/pub/techreports/kifer/trforwf.ps.
  • 10József Tick.Workflow Modeling Based on Process Graph[C]//5th Slovakian-Hungarian Joint Symposium on AppliedMachine Intelligence and Informatics January.Poprad:Slovakia,2007:25-26.

引证文献4

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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