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 .