Formalizing the Modeling Process of Physical Systems in MBD

Authors:
Nan Wang;Dantong Ouyang;Shanwu Sun;Chengli Zhao
Affiliations:
Department of Computer Sciences and Technology, Jilin University, Changchun 130012 and Department of Information, Changchun Taxation College, Changchun 130117;Department of Computer Sciences and Technology, Jilin University, Changchun 130012 and Key Laboratory of Symbol Computation and Knowledge Engineering of the Ministry of Education, Changchun 130012;Department of Information, Changchun Taxation College, Changchun 130117;Department of Computer Sciences and Technology, Jilin University, Changchun 130012 and Department of Information, Changchun Taxation College, Changchun 130117
Venue:
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
Year:
2009

Citing 7
Cited 1

Diagnostic reasoning based on structure and behavior

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems

Readings in qualitative reasoning about physical systems
Hierarchical model-based diagnosis

International Journal of Man-Machine Studies
Speeding up problem solving by abstraction: a graph oriented approach

Artificial Intelligence - Special volume on empirical methods
Functional Reasoning and Functional Modelling

IEEE Expert: Intelligent Systems and Their Applications
Hierarchical model-based diagnosis based on structural abstraction

Artificial Intelligence
Formalizing the abstraction process in model-based diagnosis

SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation

Formalizing ontology-based hierarchical modeling process of physical world

AICI'10 Proceedings of the 2010 international conference on Artificial intelligence and computational intelligence: Part I

Quantified Score

Hi-index	0.01

Visualization

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.