THE CHALLENGE OF DEEP MODELS, INFERENCE STRUCTURES, AND ABSTRACT TASKS

References

• Bralko , I. , Mozetic , I. , Lavrac , N. 1989 . Kardio–A Study in Deep and Qualitative Knowledge for Expert Systems . Cambridge , Mass . MIT Press .
   Google Scholar
• Breuker , J. A. , van Someren , M. W. , de Hoog , R. , Schreiber , G. , de Greef , P. , Bredeweg , B. , Wielemaker , J. , Billault, J.–P, Davoodi , M. , and Hayward , S. A. 1987 . Model–Driven Knowledge Acquisition Interpretation Models . University of Amsterdam and STL Ltd ., Esprit Project P1098, Memo 87 .
   Google Scholar
• Brown, D. C, and Chandrasekaran , B. 1988 . Design Problem Solving Knowledge Structures and Control Strategies . Los Altos , Calif . Morgan Kaufmann .
   Google Scholar
• Bylander , T. 1987 . Some Causal Models are Deeper than Others. In Proc. Ninth Annual Conf. of the Cognitive Science Society . Seattle , Wash ., pp. 916 – 921 “ revised version Artificial Intelligence in Medicine 2“3” 123–128, 1990 ”.
   Google Scholar
• Bylander , T. , Mittal , S. , and Chandrasekaran , B. 1983 . CSRL A Language for Expert Systems for Diagnosis. In Proc. of the 8th Int. Joint Conf. on Artificial Intelligence. Los Altos , Calif . Morgan Kaufmann .
   Google Scholar
• Chandrasekaran , B. 1986 . Generic Tasks in Knowledge–Based Reasoning High-Level Building Blocks for Expert System Design . IEEE Expert , Fall , pp. 23 – 30 .
   Google Scholar
• Chandrasekaran , B. 1987 . Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks. In Proc. of the 10th Int. Joint Conf. on Artificial Intelligence “IJCAI–87”. Los Altos , Calif . Morgan Kaufmann .
   Google Scholar
• Chandrasekaran , B. 1988 . Generic Tasks as Building Blocks for Knowledge-Based Systems The Diagnosis and Routine Design Examples . The Knowledge Engineering Review 3 “ 3 ” 183 – 210 .
   Google Scholar
• Chandrasekaran , B. , Smith , J. , and Sticklen , J. 1987 . “Deep” Models and Their Relation to Diagnosis . OSU–CIS-LA1R Technical Report ; Ohio State University , Columbus .
   Google Scholar
• Clancey , W. J. 1985 . Heuristic Classification . Artif. Intell . 27 “ 3 ” 289 – 350 .
   Web of Science ®Google Scholar
• Davis , R. 1983 . Diagnosis Via Causal Reasoning Paths of Interaction and the Locality Principle. In Proc. of the Third Natl. Conf. on Artificial Intelligence “AAAI–83”, pp. 88 – 94 . Los Altos , Calif . Morgan Kaufmann .
   Google Scholar
• Davis , R. 1984 . Diagnostic Reasoning Based on Structure and Behavior “Special Volume on Qualitative Reasoning about Physical Systems” Artif. Intell . 24 “ l–3 ” 347 – 410 .
   Google Scholar
• de Kleer , J. ,Williams. B. C. 1987 . Diagnosing Multiple Faults . Artif. Intell . 32 “ 1 ” 97 – 130 .
   Web of Science ®Google Scholar
• de Kleer , J. , Mackworth , A. K. , and Reiter , R. 1990 . Characterizing Diagnosis “Working Notes” . First Int. Workshop on Principles of Diagnosis , Stanford University , Calif. , July 23–25 , pp. 1 – 7 .
   Google Scholar
• Glowinski , A. , O. Neil , M. , and Fox , J. 1989 . Design of a Generic Information System and Its Application to Primary Care. In J. Hunter et al., eds., Proc. of the Second European Conf. on Artificial Intelligence in Medicine “AIME 89”, pp. 221 – 233 . Berlin Springer .
   Google Scholar
• Haag , A. 1988 . Deriving a Model of an Electrical Transformer for Qualitative Simulation with QSIM . In Technische Expertensysteme Wissensreprasentation und Schlupfolgerungsverfahren , eds. H. W. Früch-tenicht et al. , pp. 117 – 134 . München Oldenbourg .
   Google Scholar
• Hart , P. E. 1982 . Directions for Al in the Eighties . SIGART Newsletter 79 , 11 – 16 .
   Google Scholar
• Hayward , S. A. , Wielinga , B. J. , and Breuker , J. A. 1987 . Structured Analysis of Knowledge . Int. J. of Man-Machine Studies 26 487 – 498 .
   Google Scholar
• Horn , W. 1989 . MESICAR-A Medical Expert System Integrating Causal and Associative Reasoning “Special Issue on Causal Modeling” Applied Artif. Intell . 3 “ 2–3 ” 305 – 336 .
   Google Scholar
• Hunter , J. , Gotts , N. M. , Hamlet , I. , and Kirby , I. 1989 . Qualitative Spatial and Temporal Reasoning in Cardiac Electrophysiology. In Proc. of the Second European Conf. on Artificial Intelligence in Medicine “AIME 89”, eds. J. Hunter et al., pp. 157 – 166 . Berlin Springer .
   Google Scholar
• Ironi , L. , Lanzola , G. , and Stefanelli , M. 1989 . A Qualitative Model of Iron Metabolism . In Proc. of the Second European Conf. on Artificial Intelligence in Medicine “AIME 89” , eds. J. Hunter et al. , pp. 147 – 156 . Berlin Springer .
   Google Scholar
• Keravnou , E. T. , and Washbrook , J. 1989 . What Is a Deep Expert System? An Analysis of the Architectural Requirements of Second–Generation Expert Systems . The Knowledge Engineering Review 4 “ 3 ” 205 – 233 .
   Google Scholar
• Klein , D. , and Finin , T. 1987 . What's in a Deep Model? A Characterization of Knowledge Depth in Intelligent Safety Systems. In Proc. of the 10th Int. Joint Conf. on Artificial Intelligence “IJCAI–87”, pp. 559 – 562 . Los Altos , Calif . Morgan Kaufmann .
   Google Scholar
• Kuipers , B. J. 1986 . Qualitative Simulation . Artif. Intell . 29 “ 3 ” 289 – 338 .
   Web of Science ®Google Scholar
• Kunz , J. C. 1983 . Analysis of Physiological Behavior Using a Causal Model Based on First Principles. In Proc. of the Third Natl. Conf on Artificial Intelligence “AAAI–83”, pp. 225 – 228 . Los Altos , Calif . Morgan Kaufmann .
   Google Scholar
• Marcus , S. , ed. 1988 . Automating Knowledge Acquisition for Expert Systems . Boston Kluwer .
   Google Scholar
• McDermott , J. , 1988 . A Taxonomy of Problem–Solving Methods . In Automating Knowledge Acquisition for Expert Systems , ed. S. Marcus . Boston : Kluwer ,
   Google Scholar
• Michie , D. 1981 . High-Road and Low–Road Programs . Al Mag. 3 “ l ” 21 – 22 .
   Google Scholar
• Mozetic , I. 1990 . Reduction of Diagnostic Complexity through Model Abstractions. “Working Notes” . First Int. Hbrkshop on Principles of Diagnosis , Stanford University , Calif. , July 23–25, pp. 102 – 111 .
   Google Scholar
• Musen , M. A. 1989 . Automated Generation of Model–based Knowledge–Acquisition Tools . London Pitman .
   Google Scholar
• Newell , A. 1982 . The Knowledge Level . Artif. Intell. 18 “ 1 ” 87 – 127 .
   Web of Science ®Google Scholar
• Patil , R. S. , Szolovits , P. , and Schwartz , W. B. 1981 . Causal Understanding of Patient Illness in Medical Diagnosis. In Proc. of the 7th Int. Joint Conf. on Artificial Intelligence, University of British Columbia , Vancouver , Canada , pp. 893 – 899 .
   Google Scholar
• Patil , R. S. , Szolovits , P. , Schwartz , W. B. 1982 Modeling Knowledge of the Patient in Acid-Base and Electrolyte Disorders . In Artificial Intelligence in Medicine , ed. P. Szolovits. Boulder , Colo. Westview Press .
   Google Scholar
• Pople , H. E. , 1982 . Heuristic Method for Imposing Structure in Ill-Structured Problems The Structuring of Medical Diagnostics . In Artificial Intelligence in Medicine , ed. P. Szolovits. Boulder , Colo. Westview Press .
   Google Scholar
• Reiter , R. 1987 . A Theory of Diagnosis from First Principles . Artif. Intell. 32 “ l ” 57 – 96 .
   Google Scholar
• Schreiber , G. , Breuker , J. , Bredeweg , B. , Wielinga , B. J. 1988 . Modelling in KBS Development. In Proc. of the European Knowledge Acquisition Wyrkshop “EKAW'88” , eds. J. H. Boose et al. GMD-Studien Nr. 143, St. Augustin, FRG .
   Google Scholar
• Senyk , O. , Patil , R. S. , Sonnenberg , F. A. 1989 . Systematic Knowledge Base Design for Medical Diagnosis “Special Issue on Causal Modeling” Applied Artif. Intell. 3 “ 2–3 ” 249 – 274 .
   Google Scholar
• Shadbolt , N. R. , and Wielinga , B. 1990 . Knowledge-Based Knowledge Acquisition The Next Generation of Support Tools . In Current Trends in Knowledge Acquisition “Proc. EKAW9G” , eds. B. Wielinga et al., pp. 313 – 338 . Amsterdam IOS .
   Google Scholar
• Steels , L. 1985 . Second Generation Expert Systems . Future Generations Comp. Sys. 1 “ 4 ” 213 – 221 .
   Google Scholar
• Steels , L. 1988 . The Deepening of Expert Systems . In Proc. of the I2th IMACS World Congress , eds. R. Vichnevetsky et al. , Paris , France , Vol. 4 , pp. 323 – 326 .
   Google Scholar
• Steels , L. 1989 . Diagnosis with a Function-Fault Model “Special Issue on Causal Modeling” Applied Artif. Intell . 3 “ 2–3 ” 213 – 238 .
   Google Scholar
• Steels , L. 1990 . Components of Expertise . AI Mag. ll “ 2 ” 28 – 49 .
   Google Scholar
• Sticklen , J. 1983 . Manual for IDABLE, OSU-CIS-LAIR Technical Report , Ohio State University , Columbus .
   Google Scholar
• Sticklen , J. , and Chandrasekaran , B. 1989 . Integrating Classification-Based Compiled Level Reasoning with Function–Based Deep Level Reasoning “Special Issue on Causal Modeling” Applied Artif. Intell. 3 “ 2–3 ” 275 – 304 .
   Google Scholar
• Sticklen, J,,Chandrasekaran B., and Bond , W E. 1989 . Applying a Functional Approach for Model Based Reasoning . In Proc. of the 1JCAI-89 Workshop on Model-Based Reasoning , Detroit , Michigan , pp. 165 – 176 .
   Google Scholar
• Tenenberg , J. 1986 . Planning with Abstraction. In Proc. of Ihe Fifth Natl. Conf. on Artificial Intelligence “AAAI–86”. Los Altos , Calif. Morgan Kaufmann .
   Google Scholar
• Washbrook , J. , and Keravnou , E. T. 1990 . Making Deepness Explicit . Artificial Intelligence in Medicine 2 “ 3 ” 129 – 134 .
   Google Scholar
• Weiss , S. M. , Kulikowski , C. A. , and Amarel , S. 1978 . A Model-Based Method for Computer-Aided Medical Decision-Making . Artif. Intell . 11 145 – 172 .
   Web of Science ®Google Scholar