{"type":"ScholarlyArticle","title":"Qualitative Structural Analysis Using Diagrammatic Reasoning","authors":[{"name":"Shirley Tessler","slug":"shirley-tessler","given":"Shirley","family":"Tessler","affiliation":"Computer Industry Project Stanford University Stanford , CA 94305"},{"name":"Yumi Iwasaki","slug":"yumi-iwasaki","given":"Yumi","family":"Iwasaki","affiliation":"Knowledge Systems Lab. Kincho Law Dept. of Civil Engineering Stanford University Stanford , CA 94305; Stanford University 701 Welch Road Palo Alto , CA 94304"},{"name":"Kincho H. Law","slug":"kincho-h-law","given":"Kincho H.","family":"Law","affiliation":""}],"abstract":"Diagrammatic reasoning is a type of reasoning in which the primary means of inference is direct manipulation and inspection of a diagram. Diagrammatic reasoning is prevalent in human problem solving behavior, especially for problems involving spatial relations among physical objects. Our research examines the relationship between diagrammatic and symbolic reasoning in a computational framework . We have built a system, called REDRAW, that emulates the human capability for reasoning with pictures in civil engineering. The class of structural analysis problems chosen provides a realistic domain whose solution process requires domain-specific knowledge as well as pictorial reasoning skills. We hypothesize that diagrammatic representations provide an environment where inferences about the physical results of proposed structural configurations can take place in a more intuitive manner than that possible through purely symbolic representations.","doi":null,"url":"https://ijcai.org/proceedings/1995/115","pdf":"https://ijcai.org/proceedings/1995/0115.pdf","markdown":"https://ijcai.org/proceedings/1995/115.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/115","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":115,"pages":{"first":885,"last":892},"keywords":[],"videos":[],"references":[{"position":1,"raw":"[Allen, 1978] R. Allen . Elementary deflected structural theory. Department of Civil Engineering, Stanford University, 1978.","title":"Elementary deflected structural theory","authors":"R Allen","year":"1978","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Borning, 1979] Allan H. Borning. Thing/ab -a Constraint-Oriented Simulation Laboratory. PhD the- sis, Department of Computer Science, Stanford Uni- versity, Stanford, CA, 1979.","title":"Thing/ab -a Constraint-Oriented Simulation Laboratory","authors":"Allan H Borning","year":"1979","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Brohn, 1984] David Brohn. Understanding Structural Analysis. Oxford, BSP Professional Books, Oxford, UK, 1984.","title":"Understanding Structural Analysis","authors":"David Brohn","year":"1984","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Chandrasekaran and Narayanan, 1990] B. Chan- drasekaran and Hari Narayanan. Towards a theory of commonsense visual reasoning. In Foundations of software, technology and theoretical computer science. Springer-Verlag, 1990.","title":"Towards a theory of commonsense visual reasoning","authors":"B Chandrasekaran, Hari Narayanan","year":"1990","venue":"Foundations of software, technology and theoretical computer science","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Chandrasekaran and Narayanan, 1992] B. Chandrasekaran and Hari Narayanan. Perceptual representation and reasoning. In AAAI Symposium on Reasoning with Diagrammatic Representations, 1992.","title":"Perceptual representation and reasoning","authors":"B Chandrasekaran, Hari Narayanan","year":"1992","venue":"AAAI Symposium on Reasoning with Diagrammatic Representations","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Chandrasekaran et a/., 1993] B. Chandrasekaran, Hari Narayanan, and Yumi Iwasaki. Reasoning with di- agrammatic representations: A report on the AAAI spring symposium . AI Magazine, 14:49-56, 1993.","title":"Reasoning with diagrammatic representations: A report on the AAAI spring symposium","authors":"B Chandrasekaran, Hari Narayanan, Yumi Iwasaki","year":"1993","venue":"AI Magazine","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Decuyper eta/., 1995] J. Decuyper, D. Keymeulen, and L. Steels. A hybrid architecture based on a fine grained simulation as a model of liquids. In Janice Glas- gow, Hari Narayanan, and B. Chandrasekaran, ed- itors, Diagrammatic Reasoning: Computational and Cognitive Perspectives on Problem Solving with Dia- grams. AAAI Press, Menlo Park, CA, 1995. Forbus et a/., 1991]","title":"A hybrid architecture based on a fine grained simulation as a model of liquids","authors":"J Decuyper, D Keymeulen, L Steels","year":"1991","venue":"Diagrammatic Reasoning: Computational and Cognitive Perspectives on Problem Solving with Diagrams","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Kenneth D. Forbus, Paul Nielsen , and Boi Faltings . Qualitative spatial reasoning: The clock project . A rtificia/ Intelligence , 51 ( 1-3) :417-471, 1991.","title":"Qualitative spatial reasoning: The clock project","authors":"Kenneth D Forbus, Paul Nielsen, Boi Faltings","year":"1991","venue":"A rtificia/ Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Forbus, 1980] Kenneth D. Forbus. Spatial and qualita- tive aspects of reasoning about motion. In Proceedmgs of the First N ationa/ Conference on Artificial Intelli- gence, 1980.","title":"Spatial and qualitative aspects of reasoning about motion","authors":"D Kenneth, Forbus","year":"1980","venue":"Proceedmgs of the First N ationa/ Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Fruchter et a/., 1991] Renate Fruchter , Kincho H. Law , and Yumi Iwasaki. Qstruc: an approach for qual- itative structural analysis. In the Second Interna- tional Conference on the Application of Artificial In- telligence to Civil and Structural Engineering. Civil- Camp Press, 1991.","title":"Qstruc: an approach for qualitative structural analysis","authors":"Renate Fruchter, H Kincho, Yumi Law, Iwasaki","year":"1991","venue":"the Second International Conference on the Application of Artificial Intelligence to Civil and Structural Engineering","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Gardin and Meltzer, 1989] Francesco Gardin and Bernard Meltzer. Analogical representation of naive physics. Artificial Intelligen ce, 38(2) :139-159, 1989.","title":"Analogical representation of naive physics","authors":"Francesco Gardin, Bernard Meltzer","year":"1989","venue":"Artificial Intelligen ce","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Koedinger and Anderson , 1990] Kenneth Koedinger and John R. Anderson. Abstract planning and per- ceptual chunks: Elements of expertise in geometry. Cognitive Science, 14:5 11-550, 1990.","title":"Abstract planning and perceptual chunks: Elements of expertise in geometry","authors":"Kenneth Koedinger, John R Anderson","year":"1990","venue":"Cognitive Science","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Koendinger, 1992] K. Koendinger. Diagrammatic rea- soning by simulation . In AAAI Symposium on Rea- soning with Diagrammatic Representations, 1992.","title":"Diagrammatic reasoning by simulation","authors":"K Koendinger","year":"1992","venue":"AAAI Symposium on Reasoning with Diagrammatic Representations","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Kosslyn, 1980] Steven M. Kosslyn . Image and Mind . Harvard University Press, Cambridge, MA, 1980.","title":"Image and Mind","authors":"M Steven, Kosslyn","year":"1980","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Larkin and Simon, 1987] Jill H. Larkin and Herbert A. Simon. Why a diagram is (sometimes) worth ten thou- sand words . Cognitive Science, 11 , 1987 .","title":"Why a diagram is (sometimes) worth ten thousand words","authors":"Jill H Larkin, Herbert A Simon","year":"1987","venue":"Cognitive Science","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Lindsay, 1992] Robert K. Lindsay. Diagrammatic rea- soning by simulation. In AAAI Symposium on Rea- soning with Diagrammatic Representations , 1992. (McDougal , 1995]","title":"Diagrammatic reasoning by simulation","authors":"Robert K Lindsay","year":"1992","venue":"AAAI Symposium on Reasoning with Diagrammatic Representations","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"Thomas F. McDougal. Using di- agrammatic features to index plans for geometry theorem-proving. In Janice Glasgow, Hari Narayanan, and B. Chandrasekaran, editors, Diagrammatic Rea- soning: Computational and Cognitive Perspectives on Problem Solving with Diagrams. AAAI Press , Menlo Park , CA, 1995.","title":"Using diagrammatic features to index plans for geometry theorem-proving","authors":"F Thomas, Mcdougal","year":"1995","venue":"Diagrammatic Reasoning: Computational and Cognitive Perspectives on Problem Solving with Diagrams","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Novak and Bulko, 1992] Gordon S. Novak and William C. Bulko . Uses of diagrams in solving physics problems. In AAA I Symposium on Reasoning with Diagrammatic Representations , 1992.","title":"Uses of diagrams in solving physics problems","authors":"Gordon S Novak, William C Bulko","year":"1992","venue":"AAA I Symposium on Reasoning with Diagrammatic Representations","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Novak, 1977] Gordon S. Novak. Representation of knowledge in a program for solving physics problems. In Proceedings of the Fifth International Joint Confer- ence on Artificial Int elligence, pages 286-291, 1977 .","title":"Representation of knowledge in a program for solving physics problems","authors":"Gordon S Novak","year":"1977","venue":"Proceedings of the Fifth International Joint Conference on Artificial Int elligence","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}