ON CHARACTERIZING AND ASSESSING THE VALIDITY OF BEHAVIORAL MODELS AND THEIR PREDICTIONS

We present a conceptual framework for the validation of behavioral models and the prediction information derived from them. The setting for this work is a modern product development environment in which design is performed by teams of specialists who exchange information and knowledge. This setting makes validation responsibilities ambiguous and separates users from knowledge relevant to validation. To alleviate these problems, we identify three complementary validation responsibilities—validity characterization, compatibility assessment and adequacy assessment—that together solve the validation problem. We define the responsibilities in terms of formal descriptions of models and predictions that provide accuracy assurances within a welldefined context. Because behavioral models are similar to scientific theories and are a form of knowledge, it is possible to draw upon the philosophy literature to gain insight into validation. We review the relevant epistemology and the philosophy of science literature and identify several conclusions that apply to validation. These conclusions provide perspective on the limitations of the described framework. Although the framework is not a complete solution to the validation problem, it serves as is a conceptual roadmap to understanding and solving the problem. As such, this work raises many fundamental questions about validation and represents a starting point for future investigation.

[1]  I. A. Chaikovsky,et al.  Terminology for model credibility , 1979 .

[2]  Louis G. Birta,et al.  A knowledge-based approach for the validation of simulation models: the foundation , 1996, TOMC.

[3]  Varol Akman,et al.  Steps Toward Formalizing Context , 1996, AI Mag..

[4]  Scott Ferson,et al.  Probability Bounds Analysis Solves the Problem of Incomplete Specification in Probabilistic Risk and Safety Assessments , 2001 .

[5]  Eugene P. Paulo,et al.  Case study in modeling and simulation validation methodology , 2001, Proceeding of the 2001 Winter Simulation Conference (Cat. No.01CH37304).

[6]  Michael C. Fu,et al.  Guest editorial , 2003, TOMC.

[7]  George A. Hazelrigg,et al.  Thoughts on Model Validation for Engineering Design , 2003 .

[8]  Erik K. Antonsson,et al.  Imprecision in Engineering Design , 1995 .

[9]  Michael Tiller,et al.  Introduction to Physical Modeling with Modelica , 2001 .

[10]  Douglas B. Lenat,et al.  Language, representation and contexts , 1992 .

[11]  R. Millikan,et al.  Modern Physics , 1926, Nature.

[12]  Gary James Jason,et al.  The Logic of Scientific Discovery , 1988 .

[13]  Sundar Krishnamurty,et al.  Bayesian Evaluation of Engineering Models , 2002, DAC 2002.

[14]  Paul Herskovitz A Theoretical Framework For Simulation Validation: Popper’S Falsifications , 1991 .

[15]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[16]  R. J. Yang,et al.  Computer Model Validation in Vehicle Crash Safety Design , 2003, DAC 2003.

[17]  Osman Balci Principles and techniques of simulation validation, verification, and testing , 1995, WSC '95.

[18]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[19]  Osman Balci,et al.  Principles of simulation model validation, verification, and testing , 1997 .

[20]  David Miller,et al.  Critical Rationalism: A Restatement and Defence , 1998 .

[21]  Farrokh Mistree,et al.  VALIDATING DESIGN METHODS & RESEARCH: THE VALIDATION SQUARE , 2000 .

[22]  Yaman Barlas,et al.  Philosophical roots of model validation: Two paradigms , 1990 .

[23]  J. Kacprzyk,et al.  Advances in the Dempster-Shafer theory of evidence , 1994 .

[24]  Hilding Elmqvist,et al.  Physical system modeling with Modelica , 1998 .

[25]  Karl Raimund Sir Popper,et al.  Realism and the aim of science , 1983 .

[26]  Yakov Ben-Haim,et al.  Information-gap decision theory , 2001 .

[27]  Robert G. Sargent,et al.  Some approaches and paradigms for verifying and validating simulation models , 2001, Proceeding of the 2001 Winter Simulation Conference (Cat. No.01CH37304).

[28]  Uma Jayaram,et al.  Validation of Virtual Crane Behavior Through Comparison With a Real Crane , 2002 .

[29]  Gareth W. Parry,et al.  The characterization of uncertainty in probabilistic risk assessments of complex systems , 1996 .

[30]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[31]  S. Ferson,et al.  Different methods are needed to propagate ignorance and variability , 1996 .

[32]  Ernst Christen,et al.  Vhdl-ams---a hardware description language for analog and mixed-signal applications , 1999 .

[33]  Wei Chen,et al.  Model Validation via Uncertainty Propagation Using Response Surface Models , 2002, Volume 2: 28th Design Automation Conference.

[34]  Kathleen V. Diegert,et al.  Error and uncertainty in modeling and simulation , 2002, Reliab. Eng. Syst. Saf..

[35]  Timothy G. Trucano,et al.  Verification and Validation in Computational Fluid Dynamics , 2002 .

[36]  Ram D. Sriram,et al.  The NIST Design Repository Project , 1999 .

[37]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[38]  Gunnar Abrahamson,et al.  Terminology for model credibility , 1980 .

[39]  David Hume A Treatise of Human Nature: Being an Attempt to introduce the experimental Method of Reasoning into Moral Subjects , 1972 .

[40]  Thomas H. Naylor,et al.  Verification of Computer Simulation Models , 1967 .

[41]  Osman Balci,et al.  A methodology for certification of modeling and simulation applications , 2001, TOMC.

[42]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[43]  Hans-Ludwig Hausen,et al.  Software evaluation for certification - principles, practice, and legal liability , 1995, International software quality assurance series.

[44]  Varol Akman,et al.  The Use of Situation Theory in Context Modeling , 1997, Comput. Intell..

[45]  Ram D. Sriram,et al.  Design Repositories: Engineering Design's New Knowledge Base , 2000, IEEE Intell. Syst..

[46]  Ramanathan V. Guha,et al.  Varieties of Contexts , 2003, CONTEXT.

[47]  Russell S. Peak,et al.  A KNOWLEDGE REPOSITORY FOR BEHAVIORAL MODELS IN ENGINEERING DESIGN , 2004 .

[48]  Ute St. Clair,et al.  Fuzzy Set Theory: Foundations and Applications , 1997 .

[49]  Ram Geneshan,et al.  The philosophy of science and validation in simulation , 1993, WSC '93.

[50]  Timothy G. Trucano,et al.  Verification and Validation , 2005, Computational Fluid Dynamics.