Reasoning about function and its applications to engineering

We provide an introduction to the field of functional representation and reasoning from an engineering point of view. Our main goals are to: (i) present and clarify the notion of function with the aim of unifying diverse perspectives, (ii) identify the various current approaches to represent function, and (iii) highlight the potential of functional reasoning for engineering applications.

[1]  Amruth N. Kumar.  Function based reasoning , 1994, Knowl. Eng. Rev..

[2]  L. Chittaro.  Functional diagnosis and prescription of measurements using effort and flow variables , 1995 .

[3]  Kevin W. Bowyer,et al.  Function-based generic recognition for multiple object categories , 1994 .

[4]  Louise Stark,et al.  Towards a domain-independent function-based recognition system , 1995 .

[5]  Tim Hill,et al.  Function-based modeling and troubleshooting , 1994, Appl. Artif. Intell..

[6]  Yasushi Umeda,et al.  A design methodology for a self-maintenance machine based on functional redundancy , 1992 .

[7]  Luca Bogoni,et al.  More than just shape: a representation for functionality , 1998, Artif. Intell. Eng..

[8]  Giovanni Guida,et al.  Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems: a case study in diagnosis , 1993, IEEE Trans. Syst. Man Cybern..

[9]  Jon Sticklen,et al.  Troubleshooting based on a functional device representation: diagnosing faults in the external active thermal control system of Space Station Freedom , 1993, Defense, Security, and Sensing.

[10]  Balakrishnan Chandrasekaran,et al.  Modularity of domain knowledge , 1987 .

[11]  Richard Fikes,et al.  Causal functional representation language with behavior-based semantics , 1995, Appl. Artif. Intell..

[12]  Jens Rasmussen,et al.  Information Processing and Human-Machine Interaction , 1986 .

[13]  Bob J. Wielinga,et al.  Functional models in perspective: their characteristics and integration in multiple model-based diagnosis , 1994, Appl. Artif. Intell..

[14]  Richard Fikes,et al.  CFRL: A Language for Specifying the Causal Functionality of Engineered Devices , 1993, AAAI.

[15]  D. J. Woollons,et al.  Failure modes and effects analysis of complex engineering systems using functional models , 1998, Artif. Intell. Eng..

[16]  Johan DEKleer.  Local Methods for Localizing Faults in Electronic Circuits. , 1976 .

[17]  Jens Rasmussen,et al.  Information Processing and Human-Machine Interaction: An Approach to Cognitive Engineering , 1986 .

[18]  Amruth N. Kumar,et al.  Component-ontological representation of function for reasoning about devices , 1998, Artif. Intell. Eng..

[19]  Amruth N. Kumar,et al.  Function-based candidate discrimination during model-based diagnosis , 1995, Appl. Artif. Intell..

[20]  Dean Allemang,et al.  Functional Representation And Program Debugging , 1991, Proceedings., 6th Annual Knowledge-Based Software Engineering Conference.

[21]  Jan Eric Larsson,et al.  Diagnosis Based on Explicit Means-End Models , 1996, Artif. Intell..

[22]  Dean Karnopp,et al.  Introduction to physical system dynamics , 1983 .

[23]  John E. Hunt,et al.  Failure mode effects analysis: A practical application of functional modeling , 1995, Appl. Artif. Intell..

[24]  Morten Lind,et al.  Modeling goals and functions of complex industrial plants , 1994, Appl. Artif. Intell..

[25]  Jack Hodges,et al.  Naive mechanics: a computational model of device use and function in design improvisation , 1992, IEEE Expert.

[26]  Ashok K. Goel,et al.  Functional representation as design rationale , 1993, Computer.

[27]  B. Chandrasekaran,et al.  Functional Representation and Causal Processes , 1994, Adv. Comput..

[28]  Luca Chittaro,et al.  Introducing deviations and multiple abstraction levels in the functional diagnosis of fluid transfer systems , 1998, Artif. Intell. Eng..

[29]  David W. Franke,et al.  Deriving and using descriptions of purpose , 1991, IEEE Expert.

[30]  S. J. Upadhyaya,et al.  Component ontological representation of function for diagnosis , 1994, Proceedings of the Tenth Conference on Artificial Intelligence for Applications.

[31]  Ashok K. Goel,et al.  Functional modeling for enabling adaptive design of devices for new environments , 1998, Artif. Intell. Eng..

[32]  Chris J. Price,et al.  Function-directed electrical design analysis , 1998, Artif. Intell. Eng..

[33]  Yasushi Umeda,et al.  A CAD for Functional Design , 1993 .