Model-based explanation of plant knowledge

[1]  Luc Steels,et al.  Components of Expertise , 1990, AI Mag..

[2]  John G. Hughes,et al.  Object-oriented databases , 1991, Prentice Hall International series in computer science.

[3]  Gunnar Johannsen.  Towards a New Quality of Automation in Complex Man-machine Systems , 1990 .

[4]  Dianne C. Berry.  Guest editor's preface: Explanation: The way forward , 1995 .

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

[6]  Jintae Lee,et al.  What's in design rationale? , 1991 .

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

[8]  Oscar N. Garcia,et al.  Knowledge-based systems : fundamentals and tools , 1991 .

[9]  R. W. Lewis,et al.  Programming Industrial Control Systems Using IEC 1131-3 , 1995 .

[10]  Marc Rettig,et al.  Cooperative software , 1993, CACM.

[11]  Tibor Vámos,et al.  Adapting automation to man, culture and society , 1983, Autom..

[12]  G. Medvedev.  The Truth About Chernobyl , 1991 .

[13]  Michael J. Bending,et al.  Hitest: A Knowledge-Based Test Generation System , 1984, IEEE Design & Test of Computers.

[14]  R. Mould.  Chernobyl--the real story , 1988 .

[15]  Thomas R. Gruber,et al.  Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering , 1993, AAAI.

[16]  Richard Marlon Stein,et al.  Browsing through terabytes , 1991 .

[17]  Thomas B. Sheridan.  Task Allocation and Supervisory Control , 1988 .

[18]  Robert K. Brayton,et al.  MIS: A Multiple-Level Logic Optimization System , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[19]  Nicholas Negroponte,et al.  Being Digital , 1995 .

[20]  C Arnault.  Object Oriented Systems in High Energy Physics , 1992 .

[21]  Karl-Erik Årzén,et al.  Knowledge Based Applications in the Process Industry: Current State and Future Directions , 1991 .

[22]  R. Brayton.  Factoring logic functions , 1987 .

[23]  Vibhu O. Mittal,et al.  Generating explanations in context: The system perspective , 1995 .

[24]  Ben Shneiderman,et al.  Designing the User Interface: Strategies for Effective Human-Computer Interaction , 1998 .

[25]  Balakrishnan Chandrasekaran,et al.  Explanation: the role of control strategies and deep models , 1987 .

[26]  D. Broadbent,et al.  Implicit and explicit knowledge in the control of complex systems , 1986 .

[27]  Leslie Buck.  Human operators and real‐time expert systems , 1989 .

[28]  Joan M. Smith,et al.  SGML and related standards: document description and processing languages , 1992 .

[29]  Henk G. Stassen,et al.  Internal representation, internal model, human performance model and mental workload , 1988, Autom..

[30]  Johanna D. Moore,et al.  Explanations in knowledge systems: design for explainable expert systems , 1991, IEEE Expert.

[31]  T. Landauer,et al.  Handbook of Human-Computer Interaction , 1997 .

[32]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[33]  Lotfi A. Zadeh,et al.  MAKING COMPUTERS THINK LIKE PEOPLE , 1984 .

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

[35]  Harry G. Barrow,et al.  VERIFY: A Program for Proving Correctness of Digital Hardware Designs , 1984, Artif. Intell..

[36]  I. Moon.  Modeling programmable logic controllers for logic verification , 1994, IEEE Control Systems.

[37]  William A. Wulf,et al.  Capturing design rationale in concurrent engineering teams , 1993 .

[38]  Walter Hamscher,et al.  Modeling Digital Circuits for Troubleshooting , 1991, Artif. Intell..

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

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

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

[42]  B. Chandrasekaran,et al.  Explaining control strategies in problem solving , 1989, IEEE Expert.

[43]  J.-P. Krivine,et al.  Designing knowledge-based systems within functional architecture: the DIVA experiment , 1989, [1989] Proceedings. The Fifth Conference on Artificial Intelligence Applications.

[44]  Rudolph E. Seviora,et al.  Object Oriented Framework for Generating Machine Understanding of a Digital System Design , 1992, IEA/AIE.

[45]  Robert K. Brayton,et al.  Multilevel logic synthesis , 1990, Proc. IEEE.

[46]  Magdy Abadir,et al.  A Knowledge-Based System for Designing Testable VLSI Chips , 1985, IEEE Design & Test of Computers.

[47]  R. Sarrate,et al.  Relay ladder logic diagnosis , 1994 .

[48]  H. P Nii,et al.  Blackboard Systems , 1986 .

[49]  JINTAE LEE.  Design Rationale Management Research , 1992, Knowl. Eng. Rev..

[50]  E. Jeffrey Conklin,et al.  A process-oriented approach to design rationale , 1991 .

[51]  Kim J. Vicente,et al.  Making the abstraction hierarchy concrete , 1994, Int. J. Hum. Comput. Stud..

[52]  Orson Scott Card.  Speaker for the Dead , 1986 .

[53]  Johanna D. Moore,et al.  Pointing: A Way Toward Explanation Dialogue , 1990, AAAI.

[54]  Elwyn Edwards,et al.  The Human Operator in Process Control , 1974 .

[55]  W.A. Woods,et al.  Important issues in knowledge representation , 1986, Proceedings of the IEEE.

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

[57]  D. Norman.  The psychology of everyday things , 1990 .

[58]  Elpida T. Keravnou,et al.  Competent Expert Systems: A Case Study in Fault Diagnosis , 1986 .

[59]  Kathleen McKeown,et al.  Tailoring Explanations for the User , 1985, IJCAI.

[60]  Jakob Nielsen,et al.  The art of navigating through hypertext , 1990, CACM.

[61]  Michael R. Genesereth,et al.  The Use of Design Descriptions in Automated Diagnosis , 1984, Artif. Intell..

[62]  James L. Alty,et al.  Knowledge engineering for industrial expert systems , 1991, Autom..

[63]  William J. Clancey,et al.  The Epistemology of a Rule-Based Expert System - A Framework for Explanation , 1981, Artif. Intell..

[64]  G. L. Stephens.  Advanced process management : a vision for the not too distant future , 1992 .

[65]  D. A. Rowan,et al.  On-line expert systems in process industries , 1989 .

[66]  Roy Leitch,et al.  Task classification for knowledge-based systems in industrial automation , 1992, IEEE Trans. Syst. Man Cybern..

[67]  B. Chandrasekaran,et al.  Explanations in knowledge systems: the role of explicit representation of design knowledge , 1991, IEEE Expert.

[68]  Clara Gaspar,et al.  The DELPHI experiment control , 1992 .

[69]  K. Zinser,et al.  Multimedia's push into power , 1994, IEEE Spectrum.

[70]  James R. Slagle,et al.  An explanation facility for today's expert systems , 1989, IEEE Expert.

[71]  Johanna D. Moore,et al.  Explaining quantitative systems to uninitiated users , 1995 .

[72]  Jonathan Grudin,et al.  The computer reaches out: the historical continuity of interface design , 1989, CHI '90.

[73]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design , 1986, IEEE Expert.

[74]  Richard L. Wexelblat,et al.  On Interface Requirements for Expert Systems , 1989, AI Mag..

[75]  Kari Kaarela,et al.  An Information Model as a Basis for Hypermedia-Based Plant Documentation , 1995, Comput. Networks ISDN Syst..

[76]  B.H. Krogh,et al.  Design recovery for relay ladder logic , 1993, IEEE Control Systems.

[77]  Cecile Paris.  User modelling in text generation , 1993 .

[78]  John Durkin.  Expert Systems: A View of the Field , 1996, IEEE Expert.

[79]  Elaine Rich,et al.  Stereotypes and User Modeling , 1989 .

[80]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[81]  Edmund M. Clarke,et al.  Automatic verification of sequential control systems using temporal logic , 1992 .

[82]  Christophe Kolski,et al.  Knowledge Specification and Representation for an "Intelligent" Interface Devoted to Process Monitoring and Supervision , 1992 .

[83]  Joseba Quevedo,et al.  TIGER: Knowledge Based Gas Turbine Condition Monitoring , 1996, AI Commun..

[84]  John M. Carroll,et al.  Mental Models in Human-Computer Interaction , 1988 .

[85]  George Stephanopoulos,et al.  Artificial intelligence in process engineering—current state and future trends , 1990 .

[86]  William R. Swartout,et al.  XPLAIN: A System for Creating and Explaining Expert Consulting Programs , 1983, Artif. Intell..

[87]  Gary D. Hachtel,et al.  BOLD: The Boulder Optimal Logic Design system , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume 1: Architecture Track.

[88]  Richard Fikes,et al.  The role of frame-based representation in reasoning , 1985, CACM.

[89]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

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

[91]  P. A. Sachs,et al.  Escort — an expert system for complex operations in real time , 1986 .

[92]  Andrew Kusiak.  Knowledge-Based Systems in Manufacturing , 1989 .

[93]  Michael R. Genesereth.  From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group , 1993, Artif. Intell..

[94]  V. S. Thatcher,et al.  The new Webster encyclopedic dictionary of the English language , 1967 .

[95]  Raymond McCall,et al.  Making argumentation serve design , 1991 .

[96]  Tim Berners-Lee,et al.  The World-Wide Web , 1994, CACM.

[97]  K. Maile,et al.  ESR—A large knowledge-based system project of european power generation industry , 1992 .

[98]  Gerald Estrin,et al.  A reactive approach to explanation in expert and advice-giving systems , 1989 .

[99]  Narinder Singh,et al.  An Artificial Intelligence Approach to Test Generation , 1987 .

[100]  Allan Kowalski,et al.  A Diagnostic Aid To Pulp Production , 1989, Defense, Security, and Sensing.

[101]  Hermann Kaindl,et al.  Knowledge acquisition using hypertext , 1992 .

[102]  Jean-Michel Hoc,et al.  Strategies in Controlling a Continuous Process with Long Response Latencies: Needs for Computer Support to Diagnosis , 1989, Int. J. Man Mach. Stud..

[103]  Lisanne Bainbridge,et al.  Ironies of automation , 1982, Autom..

[104]  Harold S. Blackman,et al.  The User-Computer Interface in Process Control: A Human Factors Engineering Handbook , 1989 .

[105]  Kathleen F. McCoy.  Highlighting a User Model to Respond to Misconceptions , 1989 .

[106]  Donald A. Norman,et al.  Some observations on mental models , 1987 .

[107]  Seiyang Yang,et al.  Optimum and suboptimum algorithms for input encoding and its relationship to logic minimization , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[108]  Jan Eric Larsson.  Knowledge-Based Methods for Control Systems , 1992 .

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

[110]  Jeff Conklin,et al.  Hypertext: An Introduction and Survey , 1987, Computer.

[111]  D. R. Myers,et al.  Beamline operation using an industrial control system and distributed object-oriented hardware access , 1994 .

[112]  Daniel L. Ostapko,et al.  MINI: A Heuristic Approach for Logic Minimization , 1974, IBM J. Res. Dev..

[113]  D. Navin Chandra,et al.  Innovative design Systems, where are we and where do we go from here? Part I: Design by association , 1992 .

[114]  Nripendra N. Biswas.  Computer Aided Minimization Procedure for Boolean Functions , 1984, 21st Design Automation Conference Proceedings.

[115]  Andrew P. Sage,et al.  Human system interface concerns in support system design , 1983, Autom..

[116]  Cécile Paris,et al.  Combining Discourse Strategies to Generate Descriptions to Users Along a Naive/Expert Spectrum , 1987, IJCAI.

[117]  Won Kim,et al.  Object-Oriented Databases: Definition and Research Directions , 1990, IEEE Trans. Knowl. Data Eng..

[118]  G. Halasz Frank,et al.  Reflections on NoteCards: seven issues for the next generation of hypermedia systems , 1987, CACM.

[119]  Saburo Muroga,et al.  Absolute Minimization of Completely Specified Switching Functions , 1991, IEEE Trans. Computers.

[120]  Jens Rasmussen,et al.  The role of hierarchical knowledge representation in decisionmaking and system management , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[121]  Steven K. Feiner,et al.  Automating the generation of coordinated multimedia explanations , 1991, Computer.

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

[123]  Thomas R. Gruber,et al.  Machine-generated Explanations of Engineering Models: A Compositional Modeling Approach , 1993, IJCAI.

[124]  Robert Rubinoff,et al.  Explaining Concepts in Expert Systems: The CLEAR System , 1985, CAIA.

[125]  William J. Clancey,et al.  Strategic Explanations for a Diagnostic Consultation System , 1983, Int. J. Man Mach. Stud..

[126]  Alison Cawsey,et al.  Explanation and interaction - the computer generation of explanatory dialogues , 1992, ACL-MIT press series in natural language processing.

[127]  Michel Manago,et al.  CBR for Diagnosis and Decision Support , 1996, AI Commun..

[128]  Ben Shneiderman,et al.  Navigating in hyperspace: designing a structure-based toolbox , 1994, CACM.

[129]  Matti Katajamaki.  Knowledge-Based CAD , 1991 .

[130]  Flavio Bonfatti,et al.  Re-usable software design for programmable logic controllers , 1995 .