Diagrams as Physical Models1

نویسندگان

  • B. Chandrasekaran
  • Neil Tennant
چکیده

We discuss a variety of roles for diagrams in helping with reasoning, focusing in particular on their role as physical models of states of affairs, much like an architectural model of a building or a 3-D molecular model of a chemical compound. We discuss the concept of a physical model for a logical sentence, and the role played by the causal structure of the physical medium in making the given sentence as well as a set of implied sentences true. This role of a diagram is consistent with a widely-held intuition that diagrams exploit the fact that 2-D space is an analog of the domain of discourse. One line of research in diagrammatic reasoning is that diagrams, rather then being models, are formal representations with specialized rules of inference that generate new diagrams. We reconcile these contrasting views by relating the usefulness of diagrammatic systems as formal representations to the fact that their rewrite rules take advantage of the diagrams’ model-like character. When the physical model is prototypical, it supports the inference of certain other sentences for which it provides a model as well. We also informally discuss a proposal that diagrams and similar physical models help to explicate a certain sense of relevance in inference, an intuition that so-called Relevance Logics attempt to capture. Roles of Diagrams in Reasoning Diagrams give many different types of assistance during problem solving. We identify five roles here: helping extend short term memory, helping organize problem solving by spatial organization of related information, as sentences in a 2-D language with specialized rules of inference, providing a model of the premises so that 1 This paper was prepared through participation in the Advanced Decision Architectures Collaborative Technology Alliance sponsored by the U.S. Army Research Laboratory under Cooperative Agreement DAAD19-01-2-0009, and by federal flow-through by the Department of Defense under contract FA8652-03-3-0005 (as a subcontract from Wright State University and Wright Brothers Institute). I am indebted to Peter Schroeder-Heister and Gerard Allwein for significant assistance in thinking about these ideas, to Neil Tennant and Stewart Shapiro for useful discussions, and to one of the reviewers who made useful suggestions for improvement.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Diagrams as Physical Models

We discuss a variety of roles for diagrams in helping with reasoning, focusing in particular on their role as physical models of states of affairs, much like an architectural model of a building or a 3-D molecular model of a chemical compound. We discuss the concept of a physical model for a logical sentence, and the role played by the causal structure of the physical medium in making the given...

متن کامل

Distributed computing for spatio-temporal hierarchical models1

This work focuses on spatio-temporal hierarchical models and on the parallelization of the related computing intensive procedures using R statistical computing language.

متن کامل

Adaptation of physical and non-physical dimensions with the components of Wall Painting in the urban space of Isfahan

     Physical texture in urban space has features such as space decoration, harmony, unity, continuity and spatial consistency in its constituent elements, which are among the most important factors in forming a favorable urban landscape.Wall painting, as one of the urban elements, has a direct relationship with the physical and non-physical dimensions and follows certain requirements in the de...

متن کامل

Diagrams as Physical Models to Assist in Reasoning

Diagrams serve a variety of roles in applied reasoning. At times, they are best viewed as “sentences” in a 2-D language, with specialized rules of inference that provide new diagrams. Other times, however, they are best understood as providing a physical model, much like an architectural model of a building or a 3-D molecular model of a chemical compound, for a state of affairs. In this paper, ...

متن کامل

Implementing the Dynamic Behavior Represented as Multiple State Diagrams and Activity Diagrams

A system is introduced which automatically generates implementation code from the object and dynamic models of an application. We found that the behavior of active objects can well be represented by activity diagrams rather than state diagrams. The paper first explains our approach to convert state diagrams as well as activity diagrams into implementation code. The paper then describes our syst...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006