FUNCTIONAL REPRESENTATION AND REASONING FOR REFLECTIVE SYSTEMS

REFERENCES

• Abu-Hanna , A. , Benjamins , V. R. , and Jansweijer , W. N. H. 1991 . Device understanding and modeling for diagnosis . IEEE Expert 6 ( 2 ) 26 – 32 .
   Google Scholar
• Allemang , D. 1990 . Understandingprograms as devices . Ph.D. thesis , The Ohio State University .
   Google Scholar
• Baker , L. , and Brown , A. L. 1984 . Metacognitive skills of reading . In D. Pearson (ed.) , A handbook of reading research , ed. D. Pearson , pp. 353 – 394 . New York Longman .
   Google Scholar
• Carbonell , J. G. , Knoblock , C. A. , and Mintom , S. 1989 . Prodigy An integrated architecture for planning and learning . In Architectures for intelligence . Hillsdale , NJ Lawrence Erlbaum .
   Google Scholar
• Chandrasekaran , B. 1987 . Towards a functiconal architecture for intelligence based on generic information processing tasks . Proceedings of the tenth international joint conference on artificial intelligence , pp. 1183 – 1192 , Milan. San Mateo , CA Morgan Kaufmann .
   Google Scholar
• Chandrasekaran , B. 1989 . Task structures, knowledge acquisition and machine learning . Machine Learning 4 341 – 347 .
   Google Scholar
• Clancey , W. J. 1985 . Heuristic classification . Artificial Intelligence 27 ( 3 ) 289 – 350 .
   Web of Science ®Google Scholar
• Davis , R. 1977 . Interactive transfer of expertise Acquisition of new inference rules . Artificial Intelligence 12 121 – 157 .
   Google Scholar
• Davis , R. 1980 . Meta-rules Reasoning about control . Artificial Intelligence 15 179 – 222 .
   Web of Science ®Google Scholar
• Flavell , J. H. 1971 . First discussant's comments What is memory development the development of? Human Development 14 272 – 278 .
   Web of Science ®Google Scholar
• Forbus , K. 1993 . Qualitative reasoning about function A progress report . Working notes of reasoning aboutfunction workshop, AAAI 93 , Washington , DC , pp. 31 – 36 .
   Google Scholar
• Franke , D. W. 1991 . Deriving and using descriptions of purpose . IEEE Expert 6 ( 2 ) 41 – 47 .
   Google Scholar
• Freed , M. , Krulwich , B. , Birnbaum , L. , and Collins , G. 1992 . Reasoning about performance intentions . Proceedings of the fourteenth annual conference of the Cognitive Science Society , pp. 7 – 12 . Hillsdale , NJ Lawrence Erlbaum .
   Google Scholar
• Gero , J. S. , Lee , H. S. , and Tham , K. W. 1991 . Behaviour A llnk between function and structure in design , Proceedings of the IFIP WG5.2 working conference on intelligent CAD , pp. 201 – 230 .
   Google Scholar
• Goel , A. 1989 . Integration of case-based reasoning and model-based reasoning for adaptive design problem solving . Ph.D. thesis , The Ohio State University .
   Google Scholar
• Goel , A. 1991 . A model-based approach to case adaptation . In Proceedings of the thirteenth annual conference of the Cognitive Science Society , Chicago , August 7-10, 1991 , pp. 143 – 148 . Hillsdale , NJ Lawrence Erlbaum .
   Google Scholar
• Goel , A. , and Callantine , T. 1992 . An experience-based approach to navigational path planning . In Proceedings of the IEEE/RSJ international conference on Robotics and Systems , Vol. 11 , Raleigh, North Carolina, July 7-10,1992 , pp. 705 – 710 . Piscataway , NJ IEEE Press .
   Google Scholar
• Goel , A. , Gomez , A. , Callantine , T. , Donnellan , M. , and Santamaria , J. 1993 . From models to cases Where do cases come from and what happens when a case is not available? Proceedings of thefifteenth annual conference of the Cognitive Science Society , Boulder , Colorado , 1993 , pp. 474 – 480 . Hillsdale, NJ Lawrence Erlbaum .
   Google Scholar
• Hunt , J. E. , Price , C. J. , and Lee , M. H. 1993 . Automating the FMEA process . Intelligent Systems Engineering 2 ( 2 ) 119 – 132 .
   Google Scholar
• Johnson , K. 1993 . Exploiting a functional model of problem solving for error detection in tutoring . Ph.D. thesis , The Ohio State University .
   Google Scholar
• Kluwe , R. H. 1982 . Cognitive knowledge and executive control Metacognition . In Animal mind-human mind , ed. D. R. Griffin , pp. 201 – 224 . Berlin Springer-Verlag .
   Google Scholar
• Kumar , A. , and Upadhyaya , S. 1992 . Framework for function-based diagnosis . Technical report 92-19 . State University of New York at Buffalo .
   Google Scholar
• Kuokka , D. R. 1990 . The deliberative integration of planning, execution, and learning. Carnegie Mellon, Computer Science , Technical report CMU-CS-90-135 .
   Google Scholar
• Marr , D. 1982 . Vision A computational investigation into the human representation and processing of visual information . San Francisco W. H. Freeman .
   Google Scholar
• McDermott , J. 1988 . Preliminary steps toward,a taxonomy of problem-solving methods . In Automating knowledge acquisition for expert systems , ed. S. Marcus , pp. 225 – 266 . Dordrecht Kluwer Academic Publishers .
   Google Scholar
• Mitchell , T. , Allen , J. , Chalasani , P. , Cheng , J. , Etzioni , O. , Ringuette , M. , and Schlimmer , J. 1989 . Theo A framework for self-improving systems . 11n Architectures for Intelligence . Hillsdale , NJ Lawrence Erlbaum .
   Google Scholar
• Newell , A. 1982 . The knowledge level . AI Journal 19 ( 2 ) 87 – 127 .
   Google Scholar
• Piaget , J. 1971 . Biology and knowledge . Chicago University of Chicago Press .
   Google Scholar
• Ram , A. , and Cox , M. T. 1994 . I ntrospective reasoning using meta-explanations for multistrategy learning . In Machine 1earningA multistrategy approczch IV , eds. R. S. Michalski and G. Tecuci , pp. 349 – 377 . San Mateo , CA Morgan Kaufmann .
   Google Scholar
• Sembugamoorthy , V. , and Chandrasekaran , B. 1986 . Functional representation of devices and compilation of diagnosticproblem-solving systems . InExperience, memoryandreasoning , eds.J.Kolodner andC. Riesbeck ,pp. 47 – 73 . Hillsdale , NJ Lawrence Erlbaum .
   Google Scholar
• Steels , L. 1990 . Components of expertise . AI Magazine 11 ( 2 ) 30 – 49 .
   Google Scholar
• Sticklen , L. andChandrasekaran , B. 1989 . Integrating classification-based compiled level reasoning withfunctionbased deep level reasoning . In Causal AI models Steps toward applications , ed. W. Hom , pp. 191 – 220 . Washington , DC Hemisphere .
   Google Scholar
• Stroulia , E. , andGael , A. 1992 . An architecture fOT incremental self-adaptation . Proceedings of machine learning workshop on computational architectures for supporting machine learning and knowledge acquisition , ML92 , Aberdeen , Scotland .
   Google Scholar
• Stroulia , E. , Shankar , M. , Goel , A. , and Penberthy , L. 1992 . A model-based approach to blame assignment in design . Proceedings ofthe second international conference on AI in design , ed. J. S. Gero , pp. 519 – 537 . Dordrecht Kluwer .
   Google Scholar
• Umeda , Y. , Takeda , H. , Tomiyama , T. , and Yoshikawa , H. 1990 . Function, behaviour, and slructure . In Applications ofartificial intelligence in engineering. Vol. I . Design. Proceedings of the fifth international conference , ed.J. Gero , pp. 177 – 193 . Berlin Springer-Verlag .
   Google Scholar
• Weintraub , M. 1991 . An explanation-based approach to assigning credit . Ph.D. thesis , The Ohio State University .
   Google Scholar
• Wielinga , B. J. , Schreiber, A. Th., and Breuker , J. A. 1992 . KADS A modelling approach to knowledge engineering.Special issue “The KADS approach to knowledge engineering.” Knowledge Acquisition 4 ( 1 ) 5 – 53 .
   Google Scholar