1 Design Histories as an Aid to Redesign in Mechanical Engineering —

This report describes of current research in Artificial Intelligence at Oregon State University. The five areas of active research are (a) intelligent aids for mechanical engineering design, (b) active experimentation as a method in machine learning, (c) techniques for combining logic programming and assumption-based truth maintenance, (d) methods for combining symbolic and numeric approachs to reasoning under uncertainty, and (e) problem-solving strategies for working with multiple qualitative models. 1 Design Histories as an Aid to Redesign in Mechanical Engineering— Thomas G. Dietterich and David G. Ullman

[1]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[2]  Dov M. Gabbay,et al.  What Is Negation as Failure? , 2012, Logic Programs, Norms and Action.

[3]  A Method for Managing Evidential Reasoning in a Hierarchical Hypothesis Space , 2008, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[4]  Douglas B. Lenat,et al.  EtmlSI O : A Program That Learns New Heuristics and Domain Concepts The Nature of Heuristics III : Program Design and Results , 2005 .

[5]  Rocky Ross,et al.  Mental models , 2004, SIGA.

[6]  Tom M. Mitchell,et al.  Explanation-Based Generalization: A Unifying View , 1986, Machine Learning.

[7]  J. Ross Quinlan,et al.  Induction of Decision Trees , 1986, Machine Learning.

[8]  R. Mooney,et al.  Explanation-Based Learning: An Alternative View , 1986, Machine Learning.

[9]  Thomas G. Dietterich.  Learning at the knowledge level , 2004, Machine Learning.

[10]  Tom M. Mitchell,et al.  Learning by experimentation: acquiring and refining problem-solving heuristics , 1993 .

[11]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[12]  Ehud Shapiro,et al.  Inductive Inference of Theories from Facts , 1991, Computational Logic - Essays in Honor of Alan Robinson.

[13]  B. D'Ambrosio,et al.  Qualitative Process Theory Using Linguistic Variables , 1989, Symbolic Computation.

[14]  S. Amarel.  Problem solving , 1988 .

[15]  Thomas G. Dietterich,et al.  Forward Chaining Logic Programming with the ATMS , 1987, AAAI.

[16]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[17]  Thomas G. Dietterich,et al.  FORLOG : A Logic-based Architecture for Design , 1987 .

[18]  John D. Lowrance,et al.  A Framework for Evidential-Reasoning Systems , 1990, AAAI.

[19]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[20]  Daniel R. Corpron.  Disjunctions in forward chaining logic programming , 1986 .

[21]  Gerald Liu,et al.  Causal and Plausible Reasoning in Expert Systems , 1986, AAAI.

[22]  Brian C. Williams,et al.  Back to Backtracking: Controlling the ATMS , 1986, AAAI.

[23]  Judea Pearl,et al.  On the Logic of Probabilistic Dependencies , 1986, AAAI.

[24]  Thomas G. Dietterich,et al.  Selecting Appropriate Representations for Learning from Examples , 1986, AAAI.

[25]  Robert Balzer,et al.  Report on a knowledge-based software assistant , 1986 .

[26]  J. Baldwin.  Support Logic Programming , 1986 .

[27]  Nicholas S. Flann.  Learning functional descriptions from examples , 1986 .

[28]  Shankar Anandsubramaniam Rajamoney,et al.  Automated Design of Experiments for Refining Theories , 1986 .

[29]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[30]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

[31]  Thomas G. Dietterich.  The Test Incorporation Hypothesis and the Weak Methods , 1986 .

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

[33]  Thomas G. Dietterich,et al.  The Test Incorporation Theory of Problem Solving , 1986 .

[34]  Stephen Fickas,et al.  Automating the Transformational Development of Software , 1985, IEEE Transactions on Software Engineering.

[35]  Peter C. Cheeseman,et al.  In Defense of Probability , 1985, IJCAI.

[36]  Gerald DeJong,et al.  Towards a Model of Conceptual Knowledge Acquisition Through Directed Experimentation , 1985, IJCAI.

[37]  Thomas G. Dietterich,et al.  Discovering Patterns in Sequences of Events , 1985, Artif. Intell..

[38]  Johanna D. Moore,et al.  Enhanced Maintenance and Explanation of Expert Systems Through Explicit Models of Their Development , 1984, IEEE Transactions on Software Engineering.

[39]  Bruce G. Buchanan,et al.  The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .

[40]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

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

[42]  Paul E. Utgoff,et al.  Shift of bias for inductive concept learning , 1984 .

[43]  Paul R. Cohen,et al.  Heuristic reasoning about uncertainty: an artificial intelligence approach , 1984 .

[44]  David S. Wile,et al.  Program developments: formal explanations of implementations , 1983, CACM.

[45]  Ralf Steinbrüggen,et al.  Program Transformation Systems , 1983, CSUR.

[46]  Bruce W. Porter,et al.  Perturbation: A Means for Guiding Generalization , 1983, IJCAI.

[47]  Ryszard S. Michalski,et al.  A Theory and Methodology of Inductive Learning , 1983, Artificial Intelligence.

[48]  Tom M. Mitchell,et al.  Generalization as Search , 2002 .

[49]  Jeffrey A. Barnett,et al.  Computational Methods for a Mathematical Theory of Evidence , 1981, IJCAI.

[50]  Richard O. Duda,et al.  Subjective bayesian methods for rule-based inference systems , 1976, AFIPS '76.

[51]  David A. McAllester.  An Outlook on Truth Maintenance. , 1980 .

[52]  K. A. Ericsson,et al.  Verbal reports as data. , 1980 .

[53]  Greg Nelson,et al.  Fast Decision Procedures Based on Congruence Closure , 1980, JACM.

[54]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[55]  Lotfi A. Zadeh,et al.  A Theory of Approximate Reasoning , 1979 .

[56]  Peter Szolovits,et al.  Categorical and Probabilistic Reasoning in Medical Diagnosis , 1990, Artif. Intell..

[57]  Casimir A. Kulikowski,et al.  A Model-Based Method for Computer-Aided Medical Decision-Making , 1978, Artif. Intell..

[58]  Douglas B. Lenat,et al.  AM, an artificial intelligence approach to discovery in mathematics as heuristic search , 1976 .

[59]  Thomas G. Dietterich,et al.  A Summary of Machine Learning Papers From IJCAI-85 , .