Skip to main content
SpringerLink
Log in

Formalizing the Modeling Process of Physical Systems in MBD

  • Conference paper
Artificial Intelligence and Computational Intelligence (AICI 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5855))

Abstract

Many researchers have proposed several theories to capture the essence of abstraction. The G-KRA model(Genera KRA model), based on the GRA model which offers a framework R to represent the world W where a set of generic abstraction operators allows abstraction to be automated, can represent the world from different abstraction granularity. This paper shows how to model a physical system in model-based diagnosis within the G-KRA model framework using various kinds of knowledge. It investigates, with the generic theory of abstraction, how to automatically generate different knowledge models of the same system. The present work formalizes the process of constructing an abstract model of the considered system (e.g., using functional knowledge) based on the fundamental model and abstract objects database and expects that formalizing the modeling process of physical systems in MBD within the G-KRA framework will open the way to explore richer and better founded kinds of abstraction to apply to the MBD task.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Holte, R., Mkadmi, T., Zimmer, R., MacDonald, A.: Speeding up problem-solving by abstraction: A graph-oriented approach. J. Art. Intelligence 85, 321–361 (1996)

    Article  Google Scholar 

  2. Knoblock, C., Tenenberg, J., Qiang, Y.: A spectrum of abstraction hierarchies for planning. In: Proc. AAAI WS on AGAA, pp. 24–35 (1990)

    Google Scholar 

  3. Mozetic, I.: Hierarchical model-based diagnosis. J. Int. Journal of Man-Machine Studies 35(3), 329–362 (1991)

    Article  Google Scholar 

  4. Subramanian, D.: Automation of abstractions and approximations: Some challenges. In: Proc. AAAI WS on AGAA, pp. 76–77 (1990)

    Google Scholar 

  5. Saitta, L., Zucker, J.: Semantic abstraction for concept representation and learning. In: Proc. SARA, pp. 103–120 (1998)

    Google Scholar 

  6. Shan-wu, S., Nan, W., Dan-tong, O.Y.: General KRA Abstraction Model. J. Journal of Jilin University (Science Edition) 47(3), 537–542 (2009)

    Google Scholar 

  7. Weld, D., De Kleer, J.: Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo (1990)

    Google Scholar 

  8. Bobrow, D.G. (ed.): Special Volume on Qualitative Reasoning about Physical Systems. J. Artificial Intell. 24 (1984)

    Google Scholar 

  9. Davis, R.: Diagnostic reasoning based on structure and behavior. J. Artificial Intelligence 24, 347–410 (1984)

    Article  Google Scholar 

  10. Sticklen, J., Bond, E.: Functional reasoning and functional modeling. IEEE Expert 6(2), 20–21 (1991)

    Article  Google Scholar 

  11. Chittaro, L., Guida, G., Tasso, C., Toppano, E.: Functional and teleological knowledge in the multimodeling approach for reasoning about physical system:a case study in diagnosis. IEEE Trans. Syst. Man, Cybern. 23(6), 1718–1751 (1993)

    Article  Google Scholar 

  12. Chittaro, L., Ranon, R.: Hierarchical model-based diagnosis based on structural abstraction. Art. Intell. 155(1-2), 147–182 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  13. Saitta, L., Torasso, P., Torta, G.: Formalizing the abstraction process in model-based diagnosis. In: Tr cs, vol. 34, Univ. of Torino, Italy (2006)

    Google Scholar 

  14. Chittaro, L., Ranon, R.: Diagnosis of multiple faults with flow-based functional models:the functional diagnosis with efforts and flows approach. Reliability Engineering and System Safety 64, 137–150 (1999)

    Article  Google Scholar 

  15. Torta, G., Torasso, P.: A Symbolic Approach for Component Abstraction in Model-Based Diagnosis. In: Proceedings of the Model-Based Diagnosis International Workshop (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Sciences and Technology, Jilin University, Jilin, Changchun, 130012

    Nan Wang, Dantong OuYang & Chengli Zhao

  2. Department of Information, Changchun Taxation College, Jilin, Changchun, 130117

    Nan Wang, Shanwu Sun & Chengli Zhao

  3. Key Laboratory of Symbol Computation and Knowledge Engineering of the Ministry of Education, Jilin, Changchun, 130012

    Dantong OuYang

Authors
  1. Nan Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dantong OuYang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Shanwu Sun
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Chengli Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Business Information Technology, RMIT University, City Campus, 124 La Trobe Street, 3000, Melbourne, Victoria, Australia

    Hepu Deng

  2. College of Metrological Technology and Engineering, China Jiliang University, 310018, Hangzhou, Zhejiang Province, China

    Lanzhou Wang

  3. Department of Computer Science, City University of Hong Kong, 83 Tat Chee Avenue, Kowloon Tong, Hong Kong, China

    Fu Lee Wang

  4. College of Information Science and Technology, Hainan University, 570228, Haikou, China

    Jingsheng Lei

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wang, N., OuYang, D., Sun, S., Zhao, C. (2009). Formalizing the Modeling Process of Physical Systems in MBD. In: Deng, H., Wang, L., Wang, F.L., Lei, J. (eds) Artificial Intelligence and Computational Intelligence. AICI 2009. Lecture Notes in Computer Science(), vol 5855. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05253-8_75

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-05253-8_75

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-05252-1

  • Online ISBN: 978-3-642-05253-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation