Deriving and using descriptions of purpose

A language called Ted for representing teleological descriptions and a design method in which these descriptions can be captured and subsequently used for design reuse are described. The language is independent of any particular structure or behavior description language, but it builds on generalizations of such languages. Ted expresses the purpose of a component or activity in terms of behaviors prevented, guaranteed, or introduced by the component or activity. Given representation and acquisition schemes, system builders call use descriptions of purpose in explanation, diagnostic, and design systems. They can also use these descriptions to reuse designs and to diagnose the designed artifact in the future.<<ETX>>

[1]  Benjamin Kuipers,et al.  Commonsense Reasoning about Causality: Deriving Behavior from Structure , 1984, Artif. Intell..

[2]  Randall Davis,et al.  Model-based reasoning: troubleshooting , 1988 .

[3]  B. Chandrasekaran,et al.  Reasoning about structure, behavior and function , 1985, SGAR.

[4]  Kenneth D. Forbus.  Chapter 7 – Qualitative Physics: Past, Present, and Future , 1988 .

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

[6]  Jack Mostow,et al.  Toward Better Models of the Design Process , 1985, AI Mag..

[7]  Jack Mostow,et al.  Automated reuse of design plans , 1989, Artif. Intell. Eng..

[8]  Kenneth D. Forbus.  Qualitative physics: past present and future , 1988 .

[9]  B. Chandrasekaran,et al.  Design Problem Solving: A Task Analysis , 1990, AI Mag..

[10]  Richard J. Doyle,et al.  Constructing and Refining Causal Explanations from an Inconsistent Domain Theory , 1986, AAAI.

[11]  M. R. Herbert,et al.  An initial evaluation of the detection and diagnosis of power plant faults using a deep knowledge representation of physical behaviour , 1987 .

[12]  Tom M. Mitchell,et al.  A Knowledge Based Approach to VLSI CAD the Redesign System , 1984, 21st Design Automation Conference Proceedings.

[13]  Gerald J. Sussman,et al.  Intelligence in scientific computing , 1989, CACM.

[14]  Ashok K. Goel,et al.  Functional Representation of Designs and Redesign Problem Solving , 1989, IJCAI.

[15]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

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

[17]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[18]  Benjamin Kuipers,et al.  Qualitative Simulation as Causal Explanation , 1987, IEEE Transactions on Systems, Man, and Cybernetics.