Functional Reasoning , Explanation and Analysis : A Collective View and A Proposal

The goals of this research are (1) giving a collective view of the functional reasoning (FR) research through identifying common core, formalizing underlying assumptions and deening problems to be tackled; (2) developing methods for deriving and explaining function of devices from a description of their structure and behavior using FR techniques; and (3) applying FR techniques to real world engineering problems such as design and diagnosis. First, a survey of FR theories and techniques is presented, common assumptions and basic problems are identiied. Second, Qualitative Function Formation (QFF) technique is introduced. In QFF, a function concept is deened as an interpretation of a persistence or an order in the sequence of qualitative states, using trace of qualitative state vector derived by simulation on a qualitative model of a device. Finally, application and implementation of QFF in an experimental design system is demonstrated.

[1]  D. Bobrow.  Qualitative Reasoning about Physical Systems , 1985 .

[2]  Johan de Kleer,et al.  How Circuits Work , 1984, Artif. Intell..

[3]  Richard M. Young,et al.  Evaluating design using knowledge of purpose and knowledge of structure , 1991, IEEE Expert.

[4]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

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

[6]  Anne M. Keuneke,et al.  Device representation-the significance of functional knowledge , 1991, IEEE Expert.

[7]  Leon D. Segal,et al.  Functions , 1995 .

[8]  Hugh Lehman.  Functional Explanation in Biology , 1965, Philosophy of Science.

[9]  Jack Hodges.  A Computational Model of Device Use and Fundon in Design Improvisation , 1992 .

[10]  Bruce D'Ambrosio,et al.  Extending the mathematics in qualitative process theory , 1987, Int. J. Intell. Syst..

[11]  B. Far.  Learning Function of Devices Using Qualitative Function Formation Technique , 1992 .

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

[13]  Takashi Kiriyama,et al.  Qualitative reasoning in conceptual design with physical features , 1993 .

[14]  Behrouz Homayoun Far,et al.  Qualitative fault diagnosis in systems with nonintermittent concurrent faults: a subjective approach , 1993, IEEE Trans. Syst. Man Cybern..

[15]  B. Kuipers.  Qualitative Simulation , 1986, Artif. Intell..

[16]  B.H.Far.  A Research on applications of qualitative reasoning techniques in Human Acts Simulation Program , 1992 .

[17]  R. Firth.  Function , 1955, Yearbook of Anthropology.

[18]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artificial Intelligence.

[19]  Behrouz Homayoun Far.  Functional Reasoning, Explanation and Analysis: Qualitative Function Formation Technique , 1992 .

[20]  Leo Joskowicz.  Shape and Function in Mechanical Devices , 1987, AAAI.

[21]  Olivier Raiman,et al.  Assembling a device , 1988, AAAI 1988.

[22]  Allen Newell,et al.  A Model for Functional Reasoning in Design , 1971, IJCAI.

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

[24]  Warren P. Seering,et al.  Function Sharing in Mechanical Design , 1988, AAAI.

[25]  Boi Faltings,et al.  Qualitative Kinematics: A Framework , 1987, IJCAI.

[26]  中園 薫.  A Qualitative Physics Based on Confluences , 1986 .

[27]  Daniel S. Weld.  Combining Discrete and Continuous Process Models , 1985, IJCAI.

[28]  B. Chandrasekaran,et al.  Design Verification through Function- and Behavior-Oriented Representations , 1992 .

[29]  D. Maurice Allan.  Towards a Natural Teleology , 1952 .

[30]  Michael Ruse,et al.  Functional Statements in Biology , 1971, Philosophy of Science.

[31]  M. Matthen.  Biological Functions and Perceptual Content , 1988 .

[32]  Francisco J. Ayala,et al.  Teleological Explanations in Evolutionary Biology , 1970, Philosophy of Science.

[33]  P. Le Guernic,et al.  Hybrid dynamical systems theory and the Signal language , 1990 .

[34]  Boi Faltings,et al.  Qualitative Kinematics in Mechanisms , 1987, IJCAI.