Steps Toward a Design Theory for Virtual Worlds

Virtual worlds, construed in a broad enough sense to include text-based systems, as well as video games, new media, and user interfaces of all kinds, are increasingly important in scientific research, entertainment, communication, and art. However, we lack scientific theories that can adequately support the design of such virtual worlds, even in simple cases. Semiotics would seem a natural source for such theories, but this field lacks the precision needed for engineering applications, and also fails to addresses interaction and social issues, both of which are crucial for applications to communication and collaboration. This paper suggests an approach called algebraic semiotics to help solve these and related problems, by providing precise application-oriented basic concepts such as sign, representation, and representation quality, and a calculus of representation that includes blending. This paper also includes some theory for narrative and metaphor, and case studies on information visualization, proof presentation, humor, and user interaction.

[1]  R. Gibbs,et al.  Blending and Metaphor , 1999 .

[2]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[3]  G. A. Miller THE PSYCHOLOGICAL REVIEW THE MAGICAL NUMBER SEVEN, PLUS OR MINUS TWO: SOME LIMITS ON OUR CAPACITY FOR PROCESSING INFORMATION 1 , 1956 .

[4]  Edward R. Tufte,et al.  The Visual Display of Quantitative Information , 1986 .

[5]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[6]  G. Lakoff,et al.  Metaphors We Live by , 1982 .

[7]  John M. Carroll,et al.  Learning, using and designing filenames and command paradigms† , 1982 .

[8]  Joseph A. GoguenDepartment Towards a Social, Ethical Theory of Information 1 , 1997 .

[9]  D. Gentner Structure‐Mapping: A Theoretical Framework for Analogy* , 1983 .

[10]  MorphismsJoseph A. GoguenDept Information Visualization and Semiotic Morphisms , 2000 .

[11]  R. Barthes Elements of Semiology , 1967 .

[12]  Joseph A. Goguen,et al.  Algebraic semantics of imperative programs , 1996, Foundations of computing series.

[13]  J. Goguen An introduction to algebraic semiotics, with application to user interface design , 1999 .

[14]  F. Saussure,et al.  Course in General Linguistics , 1960 .

[15]  Grigore Rosu,et al.  An Overview of the Tatami Project , 2000 .

[16]  Joseph A. Goguen Social and Semiotic Analyses for Theorem Prover User Interface Design 1 , 1999, Formal Aspects of Computing.

[17]  Joseph A. Goguen,et al.  Requirements engineering as the reconciliation of social and technical issues , 1994 .

[18]  T. Odlin Women, Fire, and Dangerous Things: What Categories Reveal about the Mind , 1988 .

[19]  Gilles Fauconnier,et al.  Conceptual Integration Networks , 1998, Cogn. Sci..

[20]  Gilles Fauconnier,et al.  Mental Spaces: Aspects of Meaning Construction in Natural Language , 1985 .

[21]  Benjamin C. Pierce,et al.  A taste of category theory for computer scientists , 1988 .